fields.c revision 565e465c6d0093f1bf8414b2cabdc842022385a9
1// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem %s -analyzer-store=basic -verify 2// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem %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 12struct s { 13 int n; 14}; 15 16void f() { 17 struct s a; 18 int *p = &(a.n) + 1; 19} 20