diff options
| -rw-r--r-- | test/Analysis/NewDelete-intersections.mm | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/Analysis/NewDelete-intersections.mm b/test/Analysis/NewDelete-intersections.mm index ca588f5c05..3a87e4f3f1 100644 --- a/test/Analysis/NewDelete-intersections.mm +++ b/test/Analysis/NewDelete-intersections.mm @@ -11,7 +11,7 @@ extern "C" void free(void *); // 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 @@ void testMallocFreeNoWarn() { 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 testFreeOpNew() { 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; |