1 // RUN: %libomptarget-compile-generic
2 // RUN: %libomptarget-run-fail-generic 2>&1 \
3 // RUN: | %fcheck-generic
4 
5 // CHECK: Libomptarget message: explicit extension not allowed: host address specified is 0x{{.*}} (8 bytes), but device allocation maps to host at 0x{{.*}} (8 bytes)
6 // CHECK: Libomptarget error: Call to getTargetPointer returned null pointer (device failure or illegal mapping).
7 // CHECK: Libomptarget fatal error 1: failure of target construct while offloading is mandatory
8 
9 int main() {
10   int arr[4] = {0, 1, 2, 3};
11 #pragma omp target data map(alloc: arr[0:2])
12 #pragma omp target data map(alloc: arr[1:2])
13   ;
14   return 0;
15 }
16