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