xref: /aosp_15_r20/external/clang/test/Analysis/NewDelete-variadic.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core,cplusplus.NewDelete,cplusplus.NewDeleteLeaks,unix.Malloc -std=c++11 -fblocks -verify %s
2*67e74705SXin Li // expected-no-diagnostics
3*67e74705SXin Li 
4*67e74705SXin Li namespace std {
5*67e74705SXin Li   typedef __typeof__(sizeof(int)) size_t;
6*67e74705SXin Li }
7*67e74705SXin Li 
8*67e74705SXin Li struct X {};
9*67e74705SXin Li 
10*67e74705SXin Li void *operator new(std::size_t, X, ...);
11*67e74705SXin Li void *operator new[](std::size_t, X, ...);
12*67e74705SXin Li 
testGlobalCustomVariadicNew()13*67e74705SXin Li void testGlobalCustomVariadicNew() {
14*67e74705SXin Li   X x;
15*67e74705SXin Li 
16*67e74705SXin Li   void *p1 = operator new(0, x); // no warn
17*67e74705SXin Li 
18*67e74705SXin Li   void *p2 = operator new[](0, x); // no warn
19*67e74705SXin Li 
20*67e74705SXin Li   int *p3 = new (x) int; // no warn
21*67e74705SXin Li 
22*67e74705SXin Li   int *p4 = new (x) int[0]; // no warn
23*67e74705SXin Li }
24