1// clang-format off
2// RUN: %libomptarget-compileopt-generic
3// RUN: %not --crash env -u LLVM_DISABLE_SYMBOLIZATION OFFLOAD_TRACK_ALLOCATION_TRACES=1 %libomptarget-run-generic 2>&1 | %fcheck-generic --check-prefixes=CHECK,NDEBG
4// RUN: %libomptarget-compileopt-generic -g
5// RUN: %not --crash env -u LLVM_DISABLE_SYMBOLIZATION OFFLOAD_TRACK_ALLOCATION_TRACES=1 %libomptarget-run-generic 2>&1 | %fcheck-generic --check-prefixes=CHECK,DEBUG
6// clang-format on
7
8// UNSUPPORTED: aarch64-unknown-linux-gnu
9// UNSUPPORTED: aarch64-unknown-linux-gnu-LTO
10// UNSUPPORTED: x86_64-unknown-linux-gnu
11// UNSUPPORTED: x86_64-unknown-linux-gnu-LTO
12// UNSUPPORTED: s390x-ibm-linux-gnu
13// UNSUPPORTED: s390x-ibm-linux-gnu-LTO
14
15#include <omp.h>
16
17int main(void) {
18 void *Ptr1 = omp_target_alloc(8, 0);
19 omp_target_free(Ptr1, 0);
20 void *Ptr2 = omp_target_alloc(8, 0);
21 omp_target_free(Ptr2, 0);
22 void *Ptr3 = omp_target_alloc(8, 0);
23 omp_target_free(Ptr3, 0);
24 omp_target_free(Ptr2, 0);
25}
26
27// CHECK: OFFLOAD ERROR: double-free of device memory: 0x
28// CHECK: dataDelete
29// CHECK: omp_target_free
30// NDEBG: main
31// DEBUG: main {{.*}}double_free.c:25
32//
33// CHECK: Last deallocation:
34// CHECK: dataDelete
35// CHECK: omp_target_free
36// NDEBG: main
37// DEBUG: main {{.*}}double_free.c:24
38//
39// CHECK: Last allocation of size 8 -> device pointer
40// CHECK: dataAlloc
41// CHECK: omp_target_alloc
42// NDEBG: main
43// DEBUG: main {{.*}}double_free.c:23
44//
45// CHECK: Prior allocations with the same base pointer:
46// CHECK: #0 Prior deallocation of size 8:
47// CHECK: dataDelete
48// CHECK: omp_target_free
49// NDEBG: main
50// DEBUG: main {{.*}}double_free.c:22
51//
52// CHECK: #0 Prior allocation -> device pointer
53// CHECK: dataAlloc
54// CHECK: omp_target_alloc
55// NDEBG: main
56// DEBUG: main {{.*}}double_free.c:20
57//
58// CHECK: #1 Prior deallocation of size 8:
59// CHECK: dataDelete
60// CHECK: omp_target_free
61// NDEBG: main
62// DEBUG: main {{.*}}double_free.c:20
63//
64// CHECK: #1 Prior allocation -> device pointer
65// CHECK: dataAlloc
66// CHECK: omp_target_alloc
67// NDEBG: main
68// DEBUG: main {{.*}}double_free.c:19
69

source code of offload/test/sanitizer/double_free.c