1 // RUN: %clang_cc1 -analyze -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 19
