compiler-rt/test/asan/TestCases/Windows/double_free.cpp

   1 // RUN: %clang_cl_asan %Od %s %Fe%t
   2 // RUN: not %run %t 2>&1 | FileCheck %s
   3
   4 #include <malloc.h>
   5
   6 int main() {
   7   int *x = (int*)malloc(42 * sizeof(int));
   8   free(x);
   9   free(x);
  10   // CHECK: AddressSanitizer: attempting double-free on [[ADDR:0x[0-9a-f]+]]
  11   // CHECK-NEXT: {{#0 .* free }}
  12   // CHECK: {{ #[1-3] .* main .*double_free.cpp}}:[[@LINE-3]]
  13   // CHECK: [[ADDR]] is located 0 bytes inside of 168-byte region
  14   // CHECK-LABEL: freed by thread T0 here:
  15   // CHECK-NEXT: {{#0 .* free }}
  16   // CHECK: {{ #[1-3] .* main .*double_free.cpp}}:[[@LINE-8]]
  17   // CHECK-LABEL: previously allocated by thread T0 here:
  18   // CHECK-NEXT: {{#0 .* malloc }}
  19   // CHECK: {{ #[1-3] .* main .*double_free.cpp}}:[[@LINE-12]]
  20   return 0;
  21 }