| Anton Yartsev | 648cb71 | 2013-04-04 23:46:29 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,alpha.cplusplus.NewDelete -analyzer-store region -std=c++11 -verify %s |
| 2 | |
| 3 | typedef __typeof(sizeof(int)) size_t; |
| 4 | void *malloc(size_t); |
| 5 | void free(void *); |
| 6 | |
| 7 | //------------------------------------------------------------------- |
| 8 | // Check that unix.Malloc + alpha.cplusplus.NewDelete does not enable |
| 9 | // warnings produced by unix.MismatchedDeallocator. |
| 10 | //------------------------------------------------------------------- |
| 11 | void testMismatchedDeallocator() { |
| 12 | int *p = (int *)malloc(sizeof(int)); |
| 13 | delete p; |
| 14 | } // expected-warning{{Memory is never released; potential leak of memory pointed to by 'p'}} |