| // 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}} | |
| } |