1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s
2 // XFAIL: *
3 
4 void clang_analyzer_eval(int);
5 
6 extern const int extInt;
7 
main()8 int main()
9 {
10     clang_analyzer_eval(extInt == 2); // expected-warning{{TRUE}}
11 }
12 
13 extern const int extInt = 2;
14