fields.c revision 5bf3287765d14b5c6666bd00d0a141b0a6c97a20
1// RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=basic -verify && 2// RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=region -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