// RUN: %clang_analyze_cc1 -std=c++1z -analyzer-checker=alpha.clone.CloneChecker -verify %s | |
// expected-no-diagnostics | |
bool foo1(int x, int* a) { | |
if (x > 0) | |
return false; | |
else if (x < 0) | |
delete a; | |
return true; | |
} | |
// Explicit global delete | |
bool foo2(int x, int* a) { | |
if (x > 0) | |
return false; | |
else if (x < 0) | |
::delete a; | |
return true; | |
} | |
// Array delete | |
bool foo3(int x, int* a) { | |
if (x > 0) | |
return false; | |
else if (x < 0) | |
delete[] a; | |
return true; | |
} |