// REQUIRES: gwp_asan
// RUN: %clangxx_gwp_asan %s -o %t
// RUN: not %run %t 2>&1 | FileCheck %s

#include <cstdlib>

int main() {
  // CHECK: GWP-ASan detected a memory error
  // CHECK: Double free at 0x{{[a-f0-9]+}} (a 10-byte allocation)
  void *Ptr = malloc(10);

  free(Ptr);
  free(Ptr);
  return 0;
}