11ec1cdcfSFred Tingaud // RUN: %clang_analyze_cc1 -analyzer-checker=debug.AnalysisOrder -analyzer-config c++-allocator-inlining=true,debug.AnalysisOrder:PreStmtCXXNewExpr=true,debug.AnalysisOrder:PostStmtCXXNewExpr=true,debug.AnalysisOrder:PreCall=true,debug.AnalysisOrder:PostCall=true,debug.AnalysisOrder:NewAllocator=true %s 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-INLINE
21ec1cdcfSFred Tingaud // RUN: %clang_analyze_cc1 -analyzer-checker=debug.AnalysisOrder -analyzer-config c++-allocator-inlining=false,debug.AnalysisOrder:PreStmtCXXNewExpr=true,debug.AnalysisOrder:PostStmtCXXNewExpr=true,debug.AnalysisOrder:PreCall=true,debug.AnalysisOrder:PostCall=true,debug.AnalysisOrder:NewAllocator=true %s 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-NO-INLINE
31ec1cdcfSFred Tingaud
41ec1cdcfSFred Tingaud #include "Inputs/system-header-simulator-cxx.h"
51ec1cdcfSFred Tingaud
61ec1cdcfSFred Tingaud namespace std {
71ec1cdcfSFred Tingaud void *malloc(size_t);
81ec1cdcfSFred Tingaud void free(void *);
91ec1cdcfSFred Tingaud } // namespace std
101ec1cdcfSFred Tingaud
operator new(size_t size)111ec1cdcfSFred Tingaud void *operator new(size_t size) { return std::malloc(size); }
operator delete(void * ptr,size_t size)12*130e93ccSPengcheng Wang void operator delete(void *ptr, size_t size) { std::free(ptr); }
131ec1cdcfSFred Tingaud
141ec1cdcfSFred Tingaud struct S {
SS151ec1cdcfSFred Tingaud S() {}
~SS161ec1cdcfSFred Tingaud ~S() {}
171ec1cdcfSFred Tingaud };
181ec1cdcfSFred Tingaud
191ec1cdcfSFred Tingaud void foo();
201ec1cdcfSFred Tingaud
test()211ec1cdcfSFred Tingaud void test() {
221ec1cdcfSFred Tingaud S *s = new S();
231ec1cdcfSFred Tingaud foo();
241ec1cdcfSFred Tingaud delete s;
251ec1cdcfSFred Tingaud }
261ec1cdcfSFred Tingaud
271ec1cdcfSFred Tingaud /*
281ec1cdcfSFred Tingaud void test() {
291ec1cdcfSFred Tingaud S *s = new S();
301ec1cdcfSFred Tingaud // CHECK-INLINE: PreCall (operator new)
311ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: PreCall (std::malloc)
321ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: PostCall (std::malloc)
331ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: PostCall (operator new)
341ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: NewAllocator
351ec1cdcfSFred Tingaud // CHECK-NO-INLINE: PreCall (S::S)
361ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: PreCall (S::S)
371ec1cdcfSFred Tingaud // CHECK-NEXT: PostCall (S::S)
381ec1cdcfSFred Tingaud // CHECK-NEXT: PreStmt<CXXNewExpr>
391ec1cdcfSFred Tingaud // CHECK-NEXT: PostStmt<CXXNewExpr>
401ec1cdcfSFred Tingaud foo();
411ec1cdcfSFred Tingaud // CHECK-NEXT: PreCall (foo)
421ec1cdcfSFred Tingaud // CHECK-NEXT: PostCall (foo)
431ec1cdcfSFred Tingaud delete s;
441ec1cdcfSFred Tingaud // CHECK-NEXT: PreCall (S::~S)
451ec1cdcfSFred Tingaud // CHECK-NEXT: PostCall (S::~S)
461ec1cdcfSFred Tingaud // CHECK-NEXT: PreCall (operator delete)
471ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: PreCall (std::free)
481ec1cdcfSFred Tingaud // CHECK-INLINE-NEXT: PostCall (std::free)
491ec1cdcfSFred Tingaud // CHECK-NEXT: PostCall (operator delete)
501ec1cdcfSFred Tingaud }
511ec1cdcfSFred Tingaud
52*130e93ccSPengcheng Wang void operator delete(void *ptr, size_t size) {
531ec1cdcfSFred Tingaud std::free(ptr);
541ec1cdcfSFred Tingaud // CHECK-NO-INLINE-NEXT: PreCall (std::free)
551ec1cdcfSFred Tingaud // CHECK-NO-INLINE-NEXT: PostCall (std::free)
561ec1cdcfSFred Tingaud }
571ec1cdcfSFred Tingaud
581ec1cdcfSFred Tingaud void *operator new(size_t size) {
591ec1cdcfSFred Tingaud return std::malloc(size);
601ec1cdcfSFred Tingaud // CHECK-NO-INLINE-NEXT: PreCall (std::malloc)
611ec1cdcfSFred Tingaud // CHECK-NO-INLINE-NEXT: PostCall (std::malloc)
621ec1cdcfSFred Tingaud }
631ec1cdcfSFred Tingaud */
64