method-call.cpp revision 81bc7d07b701042371a5723b6f394cd2482ed7be 
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s
2// XFAIL: *
3struct A {
4  int x;
5  A(int a) { x = a; }
6  int getx() { 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