annotate clang/test/Analysis/NewDeleteLeaks-PR18394.cpp @ 222:81f6424ef0e3 llvm-original

LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_analyze_cc1 -analyzer-config graph-trim-interval=1 -analyzer-max-loop 1 -analyzer-checker=core,cplusplus.NewDeleteLeaks -verify %s
anatofuz
parents:
diff changeset
2 // expected-no-diagnostics
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 class A {
anatofuz
parents:
diff changeset
5 public:
anatofuz
parents:
diff changeset
6 void f() {};
anatofuz
parents:
diff changeset
7 ~A() {
anatofuz
parents:
diff changeset
8 for (int i=0; i<3; i++)
anatofuz
parents:
diff changeset
9 f();
anatofuz
parents:
diff changeset
10 }
anatofuz
parents:
diff changeset
11 };
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 void error() {
anatofuz
parents:
diff changeset
14 A *a = new A();
anatofuz
parents:
diff changeset
15 delete a;
anatofuz
parents:
diff changeset
16 }