1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -verify -std=c99 -Dbool=_Bool -Dt…
2 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -verify -std=c11 -Dbool=_Bool -Dt…
7     bool b = true;  in test__Bool_value()  local
8     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_value()
12     bool b = false;  in test__Bool_value()  local
13     clang_analyzer_eval(b == 0); // expected-warning{{TRUE}}  in test__Bool_value()
17     bool b = -10;  in test__Bool_value()  local
18     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_value()
22     bool b = 10;  in test__Bool_value()  local
23     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_value()
27     bool b = 10;  in test__Bool_value()  local
28     b++;  in test__Bool_value()
29     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_value()
33     bool b = 0;  in test__Bool_value()  local
34     b++;  in test__Bool_value()
35     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_value()
41     bool b = true;  in test__Bool_increment()  local
42     b++;  in test__Bool_increment()
43     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
47     bool b = false;  in test__Bool_increment()  local
48     b++;  in test__Bool_increment()
49     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
53     bool b = true;  in test__Bool_increment()  local
54     ++b;  in test__Bool_increment()
55     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
59     bool b = false;  in test__Bool_increment()  local
60     ++b;  in test__Bool_increment()
61     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
65     bool b = 0;  in test__Bool_increment()  local
66     ++b;  in test__Bool_increment()
67     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
71     bool b = 10;  in test__Bool_increment()  local
72     ++b;  in test__Bool_increment()
73     ++b;  in test__Bool_increment()
74     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
78     bool b = -10;  in test__Bool_increment()  local
79     ++b;  in test__Bool_increment()
80     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
84     bool b = -1;  in test__Bool_increment()  local
85     ++b;  in test__Bool_increment()
86     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_increment()
92     bool b = true;  in test__Bool_decrement()  local
93     b--;  in test__Bool_decrement()
94     clang_analyzer_eval(b == 0); // expected-warning{{TRUE}}  in test__Bool_decrement()
98     bool b = false;  in test__Bool_decrement()  local
99     b--;  in test__Bool_decrement()
100     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_decrement()
104     bool b = true;  in test__Bool_decrement()  local
105     --b;  in test__Bool_decrement()
106     clang_analyzer_eval(b == 0); // expected-warning{{TRUE}}  in test__Bool_decrement()
110     bool b = false;  in test__Bool_decrement()  local
111     --b;  in test__Bool_decrement()
112     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_decrement()
116     bool b = 0;  in test__Bool_decrement()  local
117     --b;  in test__Bool_decrement()
118     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_decrement()
122     bool b = 10;  in test__Bool_decrement()  local
123     --b;  in test__Bool_decrement()
124     clang_analyzer_eval(b == 0); // expected-warning{{TRUE}}  in test__Bool_decrement()
125     --b;  in test__Bool_decrement()
126     clang_analyzer_eval(b == 1); // expected-warning{{TRUE}}  in test__Bool_decrement()
130     bool b = -10;  in test__Bool_decrement()  local
131     --b;  in test__Bool_decrement()
132     clang_analyzer_eval(b == 0); // expected-warning{{TRUE}}  in test__Bool_decrement()
136     bool b = 1;  in test__Bool_decrement()  local
137     --b;  in test__Bool_decrement()
138     clang_analyzer_eval(b == 0); // expected-warning{{TRUE}}  in test__Bool_decrement()