Add test case for <rdar://problem/6888289>.

llvm-svn: 125424

1 files changed, 38 insertions, 0 deletions

diff --git a/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret-region.m b/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret-region.m
new file mode 100644
index 00000000000..4c754fb951a
--- /dev/null
+++ b/clang/test/Analysis/nil-receiver-undefined-larger-than-voidptr-ret-region.m
@@ -0,0 +1,38 @@
+// RUN: %clang_cc1 -triple i386-apple-darwin8 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-constraints=range -analyzer-store=region -verify %s
+
+// <rdar://problem/6888289> - This test case shows that a nil instance
+// variable can possibly be initialized by a method.
+typedef struct RDar6888289_data {
+  long data[100];
+} RDar6888289_data;
+
+@interface RDar6888289
+{
+  RDar6888289 *x;
+}
+- (RDar6888289_data) test;
+- (RDar6888289_data) test2;
+- (void) invalidate;
+- (RDar6888289_data) getData;
+@end
+
+@implementation RDar6888289
+- (RDar6888289_data) test {
+  if (!x)
+    [self invalidate];
+  return [x getData];
+}
+- (RDar6888289_data) test2 {
+  if (!x) {}
+  return [x getData]; // expected-warning{{The receiver of message 'getData' is nil and returns a value of type 'RDar6888289_data' that will be garbage}}
+}
+
+- (void) invalidate {
+  x = self;
+}
+
+- (RDar6888289_data) getData {
+  return (RDar6888289_data) { 0 };
+}
+@end
+