1 // RUN: %clang_cc1 -Wno-pointer-bool-conversion -analyze -analyzer-checker=core,debug.ExprInspection -verify %s
2 
3 void clang_analyzer_eval(int);
4 
5 void testAnd(int i, int *p) {
6   int *nullP = 0;
7   int *knownP = &i;
8   clang_analyzer_eval((knownP && knownP) == 1); // expected-warning{{TRUE}}
9   clang_analyzer_eval((knownP && nullP) == 0); // expected-warning{{TRUE}}
10   clang_analyzer_eval((knownP && p) == 1); // expected-warning{{UNKNOWN}}
11 }
12 
13 void testOr(int i, int *p) {
14   int *nullP = 0;
15   int *knownP = &i;
16   clang_analyzer_eval((nullP || knownP) == 1); // expected-warning{{TRUE}}
17   clang_analyzer_eval((nullP || nullP) == 0); // expected-warning{{TRUE}}
18   clang_analyzer_eval((nullP || p) == 1); // expected-warning{{UNKNOWN}}
19 }
20 
21 
22 // PR13461
23 int testTypeIsInt(int i, void *p) {
24   if (i | (p && p))
25     return 1;
26   return 0;
27 }
28 
29 // These crashed the analyzer at some point.
30 int between(char *x) {
31   extern char start[];
32   extern char end[];
33   return x >= start && x < end;
34 }
35 
36 int undef(void) {} // expected-warning{{control reaches end of non-void function}}
37 void useUndef(void) { 0 || undef(); }
38 
39 void testPointer(void) { (void) (1 && testPointer && 0); }
40