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