| // RUN: %clang_analyze_cc1 -Wno-pointer-bool-conversion -analyzer-checker=core,debug.ExprInspection -verify -analyzer-config eagerly-assume=false %s |
| void clang_analyzer_eval(int); |
| void testAnd(int i, int *p) { |
| clang_analyzer_eval((knownP && knownP) == 1); // expected-warning{{TRUE}} |
| clang_analyzer_eval((knownP && nullP) == 0); // expected-warning{{TRUE}} |
| clang_analyzer_eval((knownP && p) == 1); // expected-warning{{UNKNOWN}} |
| void testOr(int i, int *p) { |
| clang_analyzer_eval((nullP || knownP) == 1); // expected-warning{{TRUE}} |
| clang_analyzer_eval((nullP || nullP) == 0); // expected-warning{{TRUE}} |
| clang_analyzer_eval((nullP || p) == 1); // expected-warning{{UNKNOWN}} |
| int testTypeIsInt(int i, void *p) { |
| // These crashed the analyzer at some point. |
| return x >= start && x < end; |
| int undef(void) {} // expected-warning{{control reaches end of non-void function}} |
| void useUndef(void) { 0 || undef(); } |
| void testPointer(void) { (void) (1 && testPointer && 0); } |