rdar-7168531.m revision 4fcfde4d5c8f25e40720972a5543d538a0dcb220 
1// RUN: clang-cc -analyze -checker-cfref -triple i386-apple-darwin10 -analyzer-store=region
2// RUN: clang-cc -analyze -checker-cfref -triple i386-apple-darwin10 -analyzer-store=basic
3
4// Note that the target triple is important for this test case.  It specifies that we use the
5// fragile Objective-C ABI.
6
7@interface Foo {
8  int x;
9}
10@end
11
12@implementation Foo
13static Foo* bar(Foo *p) {
14  if (p->x)
15   return ++p;  // This is only valid for the fragile ABI.
16
17  return p;
18}
19@end
20