method-call.cpp revision 32303020d0f1a21cbcab65ae0c69a4218dc8f0fb 
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s
2
3struct A {
4  int x;
5  A(int a) { x = a; }
6  int getx() const { return x; }
7};
8
9void f1() {
10  A x(3);
11  if (x.getx() == 3) {
12    int *p = 0;
13    *p = 3;  // expected-warning{{Dereference of null pointer}}
14  } else {
15    int *p = 0;
16    *p = 3;  // no-warning
17  }
18}
19
20