diff options
| author | dim <dim@FreeBSD.org> | 2013-04-08 18:45:10 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2013-04-08 18:45:10 +0000 |
| commit | c72c57c9e9b69944e3e009cd5e209634839581d3 (patch) | |
| tree | 4fc2f184c499d106f29a386c452b49e5197bf63d /test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp | |
| parent | 5b20025c30d23d521e12c1f33ec8fa6b821952cd (diff) | |
| download | FreeBSD-src-c72c57c9e9b69944e3e009cd5e209634839581d3.zip FreeBSD-src-c72c57c9e9b69944e3e009cd5e209634839581d3.tar.gz | |
Vendor import of clang trunk r178860:
http://llvm.org/svn/llvm-project/cfe/trunk@178860
Diffstat (limited to 'test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp')
| -rw-r--r-- | test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp b/test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp new file mode 100644 index 0000000..639790d --- /dev/null +++ b/test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp @@ -0,0 +1,28 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,unix.MismatchedDeallocator -analyzer-store region -std=c++11 -verify %s +// expected-no-diagnostics + +typedef __typeof(sizeof(int)) size_t; +void *malloc(size_t); +void free(void *); + +//-------------------------------------------------------------------- +// Check that unix.Malloc + unix.MismatchedDeallocator does not enable +// warnings produced by the alpha.cplusplus.NewDelete checker. +//-------------------------------------------------------------------- +void testNewDeleteNoWarn() { + int i; + delete &i; // no-warning + + int *p1 = new int; + delete ++p1; // no-warning + + int *p2 = new int; + delete p2; + delete p2; // no-warning + + int *p3 = new int; // no-warning + + int *p4 = new int; + delete p4; + int j = *p4; // no-warning +} |
