1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc -verify -analyzer-output=text %s 2 3 // This file tests that unix.Malloc can handle C++ code where e.g. malloc and 4 // free are declared within the namespace 'std' by the header <cstdlib>. 5 6 #include "Inputs/system-header-simulator-cxx.h" 7 8 void leak() { 9 int *p = static_cast<int*>(std::malloc(sizeof(int))); // expected-note{{Memory is allocated}} 10 } // expected-warning{{Potential leak of memory pointed to by 'p'}} 11 // expected-note@-1{{Potential leak of memory pointed to by 'p'}} 12 13 void no_leak() { 14 int *p = static_cast<int*>(std::malloc(sizeof(int))); 15 std::free(p); // no-warning 16 } 17 18 void invalid_free() { 19 int i; 20 int *p = &i; 21 //expected-note@+2{{Argument to 'free()' is the address of the local variable 'i', which is not memory allocated by 'malloc()'}} 22 //expected-warning@+1{{Argument to 'free()' is the address of the local variable 'i', which is not memory allocated by 'malloc()'}} 23 std::free(p); 24 } 25