[cfe-commits] r82495 - /cfe/trunk/test/Analysis/misc-ps.m

[Ted Kremenek]

Author: kremenek
Date: Mon Sep 21 18:22:11 2009
New Revision: 82495

URL: http://llvm.org/viewvc/llvm-project?rev=82495&view=rev
Log:
Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694.

Modified:
    cfe/trunk/test/Analysis/misc-ps.m

Modified: cfe/trunk/test/Analysis/misc-ps.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.m?rev=82495&r1=82494&r2=82495&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.m (original)
+++ cfe/trunk/test/Analysis/misc-ps.m Mon Sep 21 18:22:11 2009
@@ -610,3 +610,25 @@
   *p = 0xDEADBEEF; // expected-warning{{Dereference of null pointer}}
 }
 
+// <rdar://problem/6829164> "nil receiver" false positive: make tracking 
+// of the MemRegion for 'self' path-sensitive
+ at interface RDar6829164 : NSObject {
+  double x; int y;
+}
+- (id) init;
+ at end
+
+id rdar_6829164_1();
+double rdar_6829164_2();
+
+ at implementation RDar6829164
+- (id) init {
+  if((self = [super init]) != 0) {
+    id z = rdar_6829164_1();
+    y = (z != 0);
+    if (y)
+      x = rdar_6829164_2();
+  }
+  return self;
+}
+ at end