forked from OSchip/llvm-project
20 lines
481 B
Plaintext
20 lines
481 B
Plaintext
// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection -verify %s
|
|
|
|
void clang_analyzer_eval(int);
|
|
|
|
void use(int);
|
|
id foo(int x) {
|
|
if (x)
|
|
return 0;
|
|
static id p = foo(1);
|
|
clang_analyzer_eval(p == 0); // expected-warning{{TRUE}}
|
|
return p;
|
|
}
|
|
|
|
const int &globalInt = 42;
|
|
|
|
void testGlobal() {
|
|
// FIXME: Should be TRUE, but should at least not crash.
|
|
clang_analyzer_eval(globalInt == 42); // expected-warning{{UNKNOWN}}
|
|
}
|