diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2013-04-08 18:45:10 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2013-04-08 18:45:10 +0000 |
commit | 809500fc2c13c8173a16b052304d983864e4a1e1 (patch) | |
tree | 4fc2f184c499d106f29a386c452b49e5197bf63d /test/Analysis/NewDelete-variadic.cpp | |
parent | be7c9ec198dcdb5bf73a35bfbb00b3333cb87909 (diff) |
Diffstat (limited to 'test/Analysis/NewDelete-variadic.cpp')
-rw-r--r-- | test/Analysis/NewDelete-variadic.cpp | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Analysis/NewDelete-variadic.cpp b/test/Analysis/NewDelete-variadic.cpp new file mode 100644 index 0000000000000..129af1f9c6970 --- /dev/null +++ b/test/Analysis/NewDelete-variadic.cpp @@ -0,0 +1,19 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.cplusplus.NewDelete,unix.Malloc -analyzer-store region -std=c++11 -fblocks -verify %s +// expected-no-diagnostics + +namespace std { + typedef __typeof__(sizeof(int)) size_t; +} + +void *operator new(std::size_t, ...); +void *operator new[](std::size_t, ...); + +void testGlobalCustomVariadicNew() { + void *p1 = operator new(0); // no warn + + void *p2 = operator new[](0); // no warn + + int *p3 = new int; // no warn + + int *p4 = new int[0]; // no warn +} |