1 // REQUIRES: gwp_asan
2 // RUN: %clangxx_gwp_asan %s -o %t
3 // RUN: not %run %t 2>&1 | FileCheck %s
4 
5 // CHECK: GWP-ASan detected a memory error
6 // CHECK: Double free occurred when trying to free memory at:
7 
8 #include <cstdlib>
9 
10 int main() {
11   char *Ptr = new char;
12   delete Ptr;
13   delete Ptr;
14   return 0;
15 }
16