clang/docs/analyzer/checkers/mismatched_deallocator_example.cpp

   1 // C, C++
   2 void test() {
   3   int *p = (int *)malloc(sizeof(int));
   4   delete p; // warn
   5 }
   6
   7 // C, C++
   8 void __attribute((ownership_returns(malloc))) *user_malloc(size_t);
   9
  10 void test() {
  11   int *p = (int *)user_malloc(sizeof(int));
  12   delete p; // warn
  13 }
  14
  15 // C, C++
  16 void test() {
  17   int *p = new int;
  18   free(p); // warn
  19 }
  20
  21 // C, C++
  22 void test() {
  23   int *p = new int[1];
  24   realloc(p, sizeof(long)); // warn
  25 }
  26
  27 // C, C++
  28 template <typename T>
  29 struct SimpleSmartPointer {
  30   T *ptr;
  31
  32   explicit SimpleSmartPointer(T *p = 0) : ptr(p) {}
  33   ~SimpleSmartPointer() {
  34     delete ptr; // warn
  35   }
  36 };
  37
  38 void test() {
  39   SimpleSmartPointer<int> a((int *)malloc(4));
  40 }
  41
  42 // C++
  43 void test() {
  44   int *p = (int *)operator new(0);
  45   delete[] p; // warn
  46 }
  47
  48 // Objective-C, C++
  49 void test(NSUInteger dataLength) {
  50   int *p = new int;
  51   NSData *d = [NSData dataWithBytesNoCopy:p
  52                length:sizeof(int) freeWhenDone:1];
  53     // warn +dataWithBytesNoCopy:length:freeWhenDone: cannot take
  54     // ownership of memory allocated by 'new'
  55 }
  56