25 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc -verify -analyzer-output=text %s2 3// This file tests that unix.Malloc can handle C++ code where e.g. malloc and4// free are declared within the namespace 'std' by the header <cstdlib>.5 6#include "Inputs/system-header-simulator-cxx.h"7 8void 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 13void no_leak() {14 int *p = static_cast<int*>(std::malloc(sizeof(int)));15 std::free(p); // no-warning16}17 18void 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