forked from OSchip/llvm-project
28 lines
800 B
C
28 lines
800 B
C
// RUN: %clang_cc1 -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;
|
|
}
|