// RUN: %clang_cc1 -analyzer-config graph-trim-interval=1 -analyzer-max-loop 1 -analyze -analyzer-checker=core,cplusplus.NewDeleteLeaks -verify %s
// expected-no-diagnostics

class A {
public:
  void f() {};
  ~A() {
    for (int i=0; i<3; i++)
      f();
  }
};

void error() {
  A *a = new A();
  delete a;
}