| // 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; | |
| } |