Anton Yartsev | 3d11708 | 2013-04-02 05:59:24 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.cplusplus.NewDelete,unix.Malloc -analyzer-store region -std=c++11 -fblocks -verify %s |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 2 | #include "Inputs/system-header-simulator-cxx.h" |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 3 | |
| 4 | typedef __typeof__(sizeof(int)) size_t; |
| 5 | extern "C" void *malloc(size_t); |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 6 | int *global; |
| 7 | |
| 8 | //------------------ |
| 9 | // check for leaks |
| 10 | //------------------ |
| 11 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 12 | //----- Standard non-placement operators |
| 13 | void testGlobalOpNew() { |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 14 | void *p = operator new(0); |
| 15 | } // expected-warning{{Memory is never released; potential leak}} |
| 16 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 17 | void testGlobalOpNewArray() { |
| 18 | void *p = operator new[](0); |
| 19 | } // expected-warning{{Memory is never released; potential leak}} |
| 20 | |
| 21 | void testGlobalNewExpr() { |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 22 | int *p = new int; |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 23 | } // expected-warning{{Memory is never released; potential leak}} |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 24 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 25 | void testGlobalNewExprArray() { |
| 26 | int *p = new int[0]; |
| 27 | } // expected-warning{{Memory is never released; potential leak}} |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 28 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 29 | //----- Standard nothrow placement operators |
| 30 | void testGlobalNoThrowPlacementOpNewBeforeOverload() { |
| 31 | void *p = operator new(0, std::nothrow); |
| 32 | } // expected-warning{{Memory is never released; potential leak}} |
| 33 | |
| 34 | void testGlobalNoThrowPlacementExprNewBeforeOverload() { |
| 35 | int *p = new(std::nothrow) int; |
| 36 | } // expected-warning{{Memory is never released; potential leak}} |
| 37 | |
| 38 | |
| 39 | //----- Standard pointer placement operators |
| 40 | void testGlobalPointerPlacementNew() { |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 41 | int i; |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 42 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 43 | void *p1 = operator new(0, &i); // no warn |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 44 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 45 | void *p2 = operator new[](0, &i); // no warn |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 46 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 47 | int *p3 = new(&i) int; // no warn |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 48 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 49 | int *p4 = new(&i) int[0]; // no warn |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 50 | } |
| 51 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 52 | //----- Other cases |
| 53 | void testNewMemoryIsInHeap() { |
| 54 | int *p = new int; |
| 55 | if (global != p) // condition is always true as 'p' wraps a heap region that |
| 56 | // is different from a region wrapped by 'global' |
| 57 | global = p; // pointer escapes |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 58 | } |
| 59 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 60 | struct PtrWrapper { |
| 61 | int *x; |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 62 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 63 | PtrWrapper(int *input) : x(input) {} |
| 64 | }; |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 65 | |
Anton Yartsev | 6974628 | 2013-03-28 16:10:38 +0000 | [diff] [blame] | 66 | void testNewInvalidationPlacement(PtrWrapper *w) { |
| 67 | // Ensure that we don't consider this a leak. |
| 68 | new (w) PtrWrapper(new int); // no warn |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 69 | } |
| 70 | |
| 71 | //--------------- |
| 72 | // other checks |
| 73 | //--------------- |
| 74 | |
| 75 | void f(int *); |
| 76 | |
| 77 | void testUseAfterDelete() { |
| 78 | int *p = new int; |
| 79 | delete p; |
| 80 | f(p); // expected-warning{{Use of memory after it is freed}} |
| 81 | } |
| 82 | |
| 83 | void testDeleteAlloca() { |
| 84 | int *p = (int *)__builtin_alloca(sizeof(int)); |
Anton Yartsev | 849c7bf | 2013-03-28 17:05:19 +0000 | [diff] [blame] | 85 | delete p; // expected-warning{{Memory allocated by alloca() should not be deallocated}} |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | void testDoubleDelete() { |
| 89 | int *p = new int; |
| 90 | delete p; |
| 91 | delete p; // expected-warning{{Attempt to free released memory}} |
| 92 | } |
| 93 | |
| 94 | void testExprDeleteArg() { |
| 95 | int i; |
Anton Yartsev | 849c7bf | 2013-03-28 17:05:19 +0000 | [diff] [blame] | 96 | delete &i; // expected-warning{{Argument to 'delete' is the address of the local variable 'i', which is not memory allocated by 'new'}} |
| 97 | } |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 98 | |
| 99 | void testExprDeleteArrArg() { |
| 100 | int i; |
Anton Yartsev | 849c7bf | 2013-03-28 17:05:19 +0000 | [diff] [blame] | 101 | delete[] &i; // expected-warning{{Argument to 'delete[]' is the address of the local variable 'i', which is not memory allocated by 'new[]'}} |
| 102 | } |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 103 | |
| 104 | void testAllocDeallocNames() { |
| 105 | int *p = new(std::nothrow) int[1]; |
Anton Yartsev | 849c7bf | 2013-03-28 17:05:19 +0000 | [diff] [blame] | 106 | delete[] (++p); // expected-warning{{Argument to 'delete[]' is offset by 4 bytes from the start of memory allocated by 'new[]'}} |
| 107 | } |
Anton Yartsev | 2de19ed | 2013-03-25 01:35:45 +0000 | [diff] [blame] | 108 | |
Anna Zaks | 41988f3 | 2013-03-28 23:15:29 +0000 | [diff] [blame] | 109 | //-------------------------------- |
| 110 | // Test escape of newed const pointer. Note, a const pointer can be deleted. |
| 111 | //-------------------------------- |
| 112 | struct StWithConstPtr { |
| 113 | const int *memp; |
| 114 | }; |
| 115 | void escape(const int &x); |
| 116 | void escapeStruct(const StWithConstPtr &x); |
| 117 | void escapePtr(const StWithConstPtr *x); |
| 118 | void escapeVoidPtr(const void *x); |
| 119 | |
| 120 | void testConstEscape() { |
| 121 | int *p = new int(1); |
| 122 | escape(*p); |
| 123 | } // no-warning |
| 124 | |
| 125 | void testConstEscapeStruct() { |
| 126 | StWithConstPtr *St = new StWithConstPtr(); |
| 127 | escapeStruct(*St); |
| 128 | } // no-warning |
| 129 | |
| 130 | void testConstEscapeStructPtr() { |
| 131 | StWithConstPtr *St = new StWithConstPtr(); |
| 132 | escapePtr(St); |
| 133 | } // no-warning |
| 134 | |
| 135 | void testConstEscapeMember() { |
| 136 | StWithConstPtr St; |
| 137 | St.memp = new int(2); |
| 138 | escapeVoidPtr(St.memp); |
| 139 | } // no-warning |
| 140 | |
| 141 | void testConstEscapePlacementNew() { |
| 142 | int *x = (int *)malloc(sizeof(int)); |
| 143 | void *y = new (x) int; |
| 144 | escapeVoidPtr(y); |
| 145 | } // no-warning |