Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-config graph-trim-interval=1 -analyzer-max-loop 1 -analyzer-checker=core,cplusplus.NewDeleteLeaks -verify %s |
David Majnemer | b100410 | 2014-03-02 18:46:05 +0000 | [diff] [blame] | 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 | } |