1// RUN: %libomptarget-compile-generic
2// RUN: %libomptarget-run-fail-generic 2>&1 \
3// RUN: | %fcheck-generic
4
5#include <stdio.h>
6
7int main() {
8 int arr[5];
9
10 // CHECK: addr=0x[[#%x,HOST_ADDR:]]
11 fprintf(stderr, format: "addr=%p\n", arr);
12
13 // CHECK-NOT: omptarget
14#pragma omp target data map(alloc : arr[0 : 5])
15#pragma omp target map(present, alloc : arr[0 : 0])
16 ;
17
18 // CHECK: arr is present
19 fprintf(stderr, format: "arr is present\n");
20
21 // arr[0:0] doesn't create an actual mapping in the first directive.
22 //
23 // CHECK: omptarget message: device mapping required by 'present' map type modifier does not exist for host address 0x{{0*}}[[#HOST_ADDR]] (0 bytes)
24 // CHECK: omptarget error: Call to getTargetPointer returned null pointer ('present' map type modifier).
25 // CHECK: omptarget error: Call to targetDataBegin failed, abort target.
26 // CHECK: omptarget error: Failed to process data before launching the kernel.
27 // CHECK: omptarget fatal error 1: failure of target construct while offloading is mandatory
28#pragma omp target data map(alloc : arr[0 : 0])
29#pragma omp target map(present, alloc : arr[0 : 0])
30 ;
31
32 // CHECK-NOT: arr is present
33 fprintf(stderr, format: "arr is present\n");
34
35 return 0;
36}
37

source code of offload/test/mapping/present/zero_length_array_section.c