1 // RUN: %clang_cc1 -analyze -std=c++1z -analyzer-checker=alpha.clone.CloneChecker -verify %s
2 
3 // expected-no-diagnostics
4 
5 bool foo1(int x, int* a) {
6   if (x > 0)
7     return false;
8   else if (x < 0)
9     delete a;
10   return true;
11 }
12 
13 // Explicit global delete
14 bool foo2(int x, int* a) {
15   if (x > 0)
16     return false;
17   else if (x < 0)
18     ::delete a;
19   return true;
20 }
21 
22 // Array delete
23 bool foo3(int x, int* a) {
24   if (x > 0)
25     return false;
26   else if (x < 0)
27     delete[] a;
28   return true;
29 }
30