rdar-7168531.m revision 0b495cdb1939f8b9e8a470e138dba5204872c38c 
1// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -triple i386-apple-darwin10 -analyzer-store=region %s
2// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -triple i386-apple-darwin10 -analyzer-store=basic %s
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