clang/test/Analysis/NewDeleteLeaks-PR19102.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,cplusplus.NewDeleteLeaks -verify %s
   2
   3 class A0 {};
   4
   5 class A1 {
   6 public:
   7   A1(int);
   8 };
   9
  10 struct S{
  11   int i;
  12 };
  13
  14 class A2 {
  15 public:
  16   A2();
  17   A2(S);
  18   A2(int*);
  19   A2(S*);
  20   A2(S&, int);
  21   A2(int, S**);
  22 };
  23
  24 void test() {
  25   new int; // expected-warning@+1 {{Potential memory leak}}
  26   new A0; // expected-warning@+1 {{Potential memory leak}}
  27   new A1(0); // expected-warning@+1 {{Potential memory leak}}
  28   new A2; // expected-warning@+1 {{Potential memory leak}}
  29   S s;
  30   s.i = 1;
  31   S* ps = new S;
  32   new A2(s); // expected-warning@+1 {{Potential memory leak}}
  33   new A2(&(s.i)); // expected-warning@+1 {{Potential memory leak}}
  34   new A2(ps); // no warning
  35   new A2(*ps, 1); // no warning
  36   new A2(1, &ps); // no warning
  37
  38   // Tests to ensure that leaks are reported for consumed news no matter what the arguments are.
  39   A2 *a2p1 = new A2; // expected-warning@+1 {{Potential leak of memory}}
  40   A2 *a2p2 = new A2(ps); // expected-warning@+1 {{Potential leak of memory}}
  41   A2 *a2p3 = new A2(*ps, 1); // expected-warning@+1 {{Potential leak of memory}}
  42   A2 *a2p4 = new A2(1, &ps); // expected-warning@+1 {{Potential leak of memory}}
  43 }