From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 19 Mar 2009 19:50:58 +0000 (+0000)
Subject: Add test cases for PR 3820.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c505d4f1568796f29ec9f1c57d861b54a088da1f;p=clang

Add test cases for PR 3820.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67327 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/retain-release.m b/test/Analysis/retain-release.m
index c6a05c0031..50a809c36a 100644
--- a/test/Analysis/retain-release.m
+++ b/test/Analysis/retain-release.m
@@ -69,6 +69,8 @@ typedef struct _NSZone NSZone;
 - (const char *)UTF8String;
 - (id)initWithUTF8String:(const char *)nullTerminatedCString;
 + (id)stringWithUTF8String:(const char *)nullTerminatedCString;
+- (id)init;
+- (void)dealloc;
 @end   extern NSString * const NSCurrentLocaleDidChangeNotification ;
 @protocol NSLocking  - (void)lock;
 @end  extern NSString * const NSUndoManagerCheckpointNotification;
@@ -334,3 +336,27 @@ static void rdar_6659160(char *inkind, char *inname)
 }
 @end
 
+// PR 3820 - Reason about calls to -dealloc
+void pr3820_DeallocInsteadOfRelease(void)
+{
+  id foo = [[NSString alloc] init]; // no-warning
+  [foo dealloc];
+  // foo is not leaked, since it has been deallocated.
+}
+
+void pr3820_ReleaseAfterDealloc(void)
+{
+  id foo = [[NSString alloc] init];
+  [foo dealloc];
+  [foo release];  // expected-warning{{used after it is release}}
+  // NSInternalInconsistencyException: message sent to deallocated object
+}
+
+void pr3820_DeallocAfterRelease(void)
+{
+  NSLog(@"\n\n[%s]", __FUNCTION__);
+  id foo = [[NSString alloc] init];
+  [foo release];
+  [foo dealloc]; // expected-warning{{used after it is released}}
+  // message sent to released object
+}