| David Majnemer | b100410 | 2014-03-02 18:46:05 +0000 | [diff] [blame] | 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 | |||||
| 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 | } | ||||