[analyzer] Switched to checkPreCall interface for detecting usage after free.
Now the check is also applied to arguments for Objective-C method calls and to 'this' pointer.
llvm-svn: 179230
diff --git a/clang/test/Analysis/malloc.mm b/clang/test/Analysis/malloc.mm
index bd9d2d2..c7fe86b 100644
--- a/clang/test/Analysis/malloc.mm
+++ b/clang/test/Analysis/malloc.mm
@@ -81,7 +81,17 @@
void *data = malloc(42);
NSData *nsdata;
free(data);
- [NSData dataWithBytesNoCopy:data length:42]; // expected-warning {{Attempt to free released memory}}
+ [NSData dataWithBytesNoCopy:data length:42]; // expected-warning {{Use of memory after it is freed}}
+}
+
+@interface My
++ (void)param:(void *)p;
+@end
+
+void testUseAfterFree() {
+ int *p = (int *)malloc(sizeof(int));
+ free(p);
+ [My param:p]; // expected-warning{{Use of memory after it is freed}}
}
void testNoCopy() {