test/Analysis/rdar-7168531.m

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -triple i386-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -analyzer-store=region %s
   2
   3 // Note that the target triple is important for this test case.  It specifies that we use the
   4 // fragile Objective-C ABI.
   5
   6 @interface Foo {
   7   int x;
   8 }
   9 @end
  10
  11 @implementation Foo
  12 static Foo* bar(Foo *p) {
  13   if (p->x)
  14    return ++p;  // This is only valid for the fragile ABI.
  15
  16   return p;
  17 }
  18 @end