initializer.cpp revision 43d9f0d4e9b88dcab473a359a7b5579c2a619b22 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-store region -cfg-add-initializers -verify %s
2
3void clang_analyzer_eval(bool);
4
5class A {
6  int x;
7public:
8  A();
9};
10
11A::A() : x(0) {
12  clang_analyzer_eval(x == 0); // expected-warning{{TRUE}}
13}
14