[analyzer] Updated the testcase.
Missed check added to testMallocFreeNoWarn().
Removed FIXMEs as the current behaviour is considered acceptable now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178824 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/NewDelete-intersections.mm b/test/Analysis/NewDelete-intersections.mm
index ca588f5..3a87e4f 100644
--- a/test/Analysis/NewDelete-intersections.mm
+++ b/test/Analysis/NewDelete-intersections.mm
@@ -11,7 +11,7 @@
// checkers bounded with cplusplus.NewDelete.
//----------------------------------------------------------------------------
-// malloc()/free() are subjects of unix.Malloc and unix.MallocWithAnnotations
+//----- malloc()/free() are subjects of unix.Malloc and unix.MallocWithAnnotations
void testMallocFreeNoWarn() {
int i;
free(&i); // no warn
@@ -24,6 +24,10 @@
free(p2); // no warn
int *p3 = (int *)malloc(sizeof(int)); // no warn
+
+ int *p4 = (int *)malloc(sizeof(int));
+ free(p4);
+ int j = *p4; // no warn
}
void testDeleteMalloced() {
@@ -36,19 +40,16 @@
void *p = operator new(0);
free(p);
} // expected-warning{{Memory is never released; potential leak}}
-// FIXME: Pointer should escape
void testFreeNewExpr() {
int *p = new int;
free(p);
} // expected-warning{{Memory is never released; potential leak}}
-// FIXME: Pointer should escape
void testObjcFreeNewed() {
int *p = new int;
NSData *nsdata = [NSData dataWithBytesNoCopy:p length:sizeof(int) freeWhenDone:1]; // expected-warning{{Memory is never released; potential leak}}
}
-// FIXME: Pointer should escape
void testFreeAfterDelete() {
int *p = new int;