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