clang/docs/analyzer/checkers/newdelete_example.cpp

   1 void f(int *p);
   2
   3 void testUseMiddleArgAfterDelete(int *p) {
   4   delete p;
   5   f(p); // warn: use after free
   6 }
   7
   8 class SomeClass {
   9 public:
  10   void f();
  11 };
  12
  13 void test() {
  14   SomeClass *c = new SomeClass;
  15   delete c;
  16   c->f(); // warn: use after free
  17 }
  18
  19 void test() {
  20   int *p = (int *)__builtin_alloca(sizeof(int));
  21   delete p; // warn: deleting memory allocated by alloca
  22 }
  23
  24 void test() {
  25   int *p = new int;
  26   delete p;
  27   delete p; // warn: attempt to free released
  28 }
  29
  30 void test() {
  31   int i;
  32   delete &i; // warn: delete address of local
  33 }
  34
  35 void test() {
  36   int *p = new int[1];
  37   delete[] (++p);
  38     // warn: argument to 'delete[]' is offset by 4 bytes
  39     // from the start of memory allocated by 'new[]'
  40 }
  41