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