Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Bits

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