test/Analysis/method-call.cpp

   1 // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s
   2
   3 struct A {
   4   int x;
   5   A(int a) { x = a; }
   6   int getx() const { return x; }
   7 };
   8
   9 void 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 void f2() {
  21   const A &x = A(3);
  22   if (x.getx() == 3) {
  23     int *p = 0;
  24     *p = 3;  // expected-warning{{Dereference of null pointer}}
  25   } else {
  26     int *p = 0;
  27     *p = 3;  // no-warning
  28   }
  29 }
  30