1// RUN: %clang_cc1 -analyzer-config graph-trim-interval=1 -analyzer-max-loop 1 -analyze -analyzer-checker=core,alpha.cplusplus.NewDeleteLeaks -verify %s
2// expected-no-diagnostics
3
4class A {
5public:
6  void f() {};
7  ~A() {
8    for (int i=0; i<3; i++)
9      f();
10  }
11};
12
13void error() {
14  A *a = new A();
15  delete a;
16}
17