From c72c57c9e9b69944e3e009cd5e209634839581d3 Mon Sep 17 00:00:00 2001 From: dim Date: Mon, 8 Apr 2013 18:45:10 +0000 Subject: Vendor import of clang trunk r178860: http://llvm.org/svn/llvm-project/cfe/trunk@178860 --- .../Malloc+MismatchedDeallocator_intersections.cpp | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp (limited to 'test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp') 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 +} -- cgit v1.1