clang/test/Analysis/malloc-std-namespace.cpp

   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 }