rdar-7168531.m revision 033a07e5fca459ed184369cfee7c90d82367a93a
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -triple i386-apple-darwin10 -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 12static 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