test/Analysis/rdar-7168531.m

   1 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -triple i386-apple-darwin10 -analyzer-store=region %s
   2 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -triple i386-apple-darwin10 -analyzer-store=basic %s
   3
   4 // Note that the target triple is important for this test case.  It specifies that we use the
   5 // fragile Objective-C ABI.
   6
   7 @interface Foo {
   8   int x;
   9 }
  10 @end
  11
  12 @implementation Foo
  13 static Foo* bar(Foo *p) {
  14   if (p->x)
  15    return ++p;  // This is only valid for the fragile ABI.
  16
  17   return p;
  18 }
  19 @end