fields.c revision d427023c334fe03105d9359711a3df4d6f23b344
1// RUN: clang -analyze -checker-cfref %s -verify &&
2// RUN: clang -analyze -checker-simple %s -verify
3
4unsigned foo();
5typedef struct bf { unsigned x:2; } bf;
6void bar() {
7 bf y;
8 *(unsigned*)&y = foo();
9 y.x = 1;
10}
11