62   struct Bits bits;  in testBitfields()  local
64   if (foo() && bits.b) // expected-warning {{garbage}}  in testBitfields()
66   if (foo() && bits.inner.e) // expected-warning {{garbage}}  in testBitfields()
69   bits.c = 1;  in testBitfields()
70   clang_analyzer_eval(bits.c == 1); // expected-warning {{TRUE}}  in testBitfields()
72   if (foo() && bits.b) // expected-warning {{garbage}}  in testBitfields()
74   if (foo() && bits.x) // expected-warning {{garbage}}  in testBitfields()
77   bits.x = true;  in testBitfields()
78   clang_analyzer_eval(bits.x == true); // expected-warning{{TRUE}}  in testBitfields()
79   bits.b = 2;  in testBitfields()
80   clang_analyzer_eval(bits.x == true); // expected-warning{{TRUE}}  in testBitfields()
81   if (foo() && bits.c) // no-warning  in testBitfields()
84   bits.inner.e = 50;  in testBitfields()
85   if (foo() && bits.inner.e) // no-warning  in testBitfields()
87   if (foo() && bits.inner.y) // expected-warning {{garbage}}  in testBitfields()
89   if (foo() && bits.inner.f) // expected-warning {{garbage}}  in testBitfields()
93   bits.inner = getInner();  in testBitfields()
95   if (foo() && bits.inner.e) // no-warning  in testBitfields()
97   if (foo() && bits.inner.y) // no-warning  in testBitfields()
99   if (foo() && bits.inner.f) // no-warning  in testBitfields()
102   bits.inner.f = 1;  in testBitfields()
104   if (foo() && bits.inner.e) // no-warning  in testBitfields()
106   if (foo() && bits.inner.y) // no-warning  in testBitfields()
108   if (foo() && bits.inner.f) // no-warning  in testBitfields()
111   if (foo() && bits.a) // expected-warning {{garbage}}  in testBitfields()
121   struct Bits bits;  in testTruncation()  local
122   bits.c = 0x11; // expected-warning{{implicit truncation}}  in testTruncation()
124   clang_analyzer_eval(bits.c == 1); // expected-warning {{FALSE}}  in testTruncation()