1 2 3 4 5 6 7 8 9 10
// RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=basic -verify && // RUN: clang-cc -analyze -checker-cfref %s --analyzer-store=region -verify unsigned foo(); typedef struct bf { unsigned x:2; } bf; void bar() { bf y; *(unsigned*)&y = foo(); y.x = 1; }