| // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -triple i386-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 %s | |
| // Note that the target triple is important for this test case. It specifies that we use the | |
| // fragile Objective-C ABI. | |
| @interface Foo { | |
| int x; | |
| } | |
| @end | |
| @implementation Foo | |
| static Foo* bar(Foo *p) { | |
| if (p->x) | |
| return ++p; // This is only valid for the fragile ABI. | |
| return p; | |
| } | |
| @end |