| // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc,unix.MismatchedDeallocator -analyzer-store region -std=c++11 -verify %s |
| // expected-no-diagnostics |
| typedef __typeof(sizeof(int)) size_t; |
| //-------------------------------------------------------------------- |
| // Check that unix.Malloc + unix.MismatchedDeallocator does not enable |
| // warnings produced by the alpha.cplusplus.NewDelete checker. |
| //-------------------------------------------------------------------- |
| void testNewDeleteNoWarn() { |
| delete ++p1; // no-warning |
| int *p3 = new int; // no-warning |
| int j = *p4; // no-warning |
| void testUseZeroAllocNoWarn() { |
| int *p1 = (int *)operator new(0); |
| int *p2 = (int *)operator new[](0); |