Jordan Rose | e449edc | 2013-04-05 17:55:07 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,cplusplus.NewDelete -std=c++11 -fblocks -verify %s |
| 2 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,cplusplus.NewDelete,alpha.cplusplus.NewDeleteLeaks -std=c++11 -DLEAKS -fblocks -verify %s |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 3 | #include "Inputs/system-header-simulator-cxx.h" |
| 4 | #include "Inputs/system-header-simulator-objc.h" |
| 5 | |
| 6 | typedef __typeof__(sizeof(int)) size_t; |
| 7 | extern "C" void *malloc(size_t); |
| 8 | extern "C" void free(void *); |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 9 | |
| 10 | //---------------------------------------------------------------------------- |
| 11 | // Check for intersections with unix.Malloc and unix.MallocWithAnnotations |
| 12 | // checkers bounded with cplusplus.NewDelete. |
| 13 | //---------------------------------------------------------------------------- |
| 14 | |
Anton Yartsev | 6e22712 | 2013-04-05 00:37:32 +0000 | [diff] [blame] | 15 | //----- malloc()/free() are subjects of unix.Malloc and unix.MallocWithAnnotations |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 16 | void testMallocFreeNoWarn() { |
| 17 | int i; |
| 18 | free(&i); // no warn |
| 19 | |
| 20 | int *p1 = (int *)malloc(sizeof(int)); |
| 21 | free(++p1); // no warn |
| 22 | |
| 23 | int *p2 = (int *)malloc(sizeof(int)); |
| 24 | free(p2); |
| 25 | free(p2); // no warn |
| 26 | |
| 27 | int *p3 = (int *)malloc(sizeof(int)); // no warn |
Anton Yartsev | 6e22712 | 2013-04-05 00:37:32 +0000 | [diff] [blame] | 28 | |
| 29 | int *p4 = (int *)malloc(sizeof(int)); |
| 30 | free(p4); |
| 31 | int j = *p4; // no warn |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 32 | } |
| 33 | |
Anton Yartsev | 70be6d8 | 2013-03-30 01:22:45 +0000 | [diff] [blame] | 34 | void testDeleteMalloced() { |
| 35 | int *p = (int *)malloc(sizeof(int)); |
| 36 | delete p; // no warn |
| 37 | } |
| 38 | |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 39 | //----- Test free standard new |
| 40 | void testFreeOpNew() { |
| 41 | void *p = operator new(0); |
| 42 | free(p); |
Jordan Rose | e85deb3 | 2013-04-05 17:55:00 +0000 | [diff] [blame] | 43 | } |
| 44 | #ifdef LEAKS |
Anna Zaks | 68eb4c2 | 2013-04-06 00:41:36 +0000 | [diff] [blame] | 45 | // expected-warning@-2 {{Potential leak of memory pointed to by 'p'}} |
Jordan Rose | e85deb3 | 2013-04-05 17:55:00 +0000 | [diff] [blame] | 46 | #endif |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 47 | |
| 48 | void testFreeNewExpr() { |
| 49 | int *p = new int; |
| 50 | free(p); |
Jordan Rose | e85deb3 | 2013-04-05 17:55:00 +0000 | [diff] [blame] | 51 | } |
| 52 | #ifdef LEAKS |
Anna Zaks | 68eb4c2 | 2013-04-06 00:41:36 +0000 | [diff] [blame] | 53 | // expected-warning@-2 {{Potential leak of memory pointed to by 'p'}} |
Jordan Rose | e85deb3 | 2013-04-05 17:55:00 +0000 | [diff] [blame] | 54 | #endif |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 55 | |
| 56 | void testObjcFreeNewed() { |
| 57 | int *p = new int; |
Jordan Rose | e85deb3 | 2013-04-05 17:55:00 +0000 | [diff] [blame] | 58 | NSData *nsdata = [NSData dataWithBytesNoCopy:p length:sizeof(int) freeWhenDone:1]; |
| 59 | #ifdef LEAKS |
Anna Zaks | 68eb4c2 | 2013-04-06 00:41:36 +0000 | [diff] [blame] | 60 | // expected-warning@-2 {{Potential leak of memory pointed to by 'p'}} |
Jordan Rose | e85deb3 | 2013-04-05 17:55:00 +0000 | [diff] [blame] | 61 | #endif |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 62 | } |
Anton Yartsev | 8e452e7 | 2013-03-30 00:50:37 +0000 | [diff] [blame] | 63 | |
| 64 | void testFreeAfterDelete() { |
| 65 | int *p = new int; |
| 66 | delete p; |
| 67 | free(p); // expected-warning{{Use of memory after it is freed}} |
| 68 | } |
| 69 | |
| 70 | void testStandardPlacementNewAfterDelete() { |
| 71 | int *p = new int; |
| 72 | delete p; |
| 73 | p = new(p) int; // expected-warning{{Use of memory after it is freed}} |
| 74 | } |