19 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -triple i386-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 %s2 3// Note that the target triple is important for this test case. It specifies that we use the4// fragile Objective-C ABI.5 6@interface Foo {7 int x;8}9@end10 11@implementation Foo12static 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@end19