// RUN: %clang_analyze_cc1 -analyzer-config graph-trim-interval=1 -analyzer-max-loop 1 -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; | |
} |