124f836e8SJoachim Protze // RUN: %libomptarget-compile-generic
224f836e8SJoachim Protze // RUN: %libomptarget-run-fail-generic 2>&1 \
324f836e8SJoachim Protze // RUN: | %fcheck-generic
4e2f5444cSJoachim Protze 
57a5a74eaSJoseph Huber // 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*a2bd4408SGeorge Rokos // CHECK: Libomptarget error: Call to getTargetPointer returned null pointer (device failure or illegal mapping).
75f6aa968SJoel E. Denny // CHECK: Libomptarget fatal error 1: failure of target construct while offloading is mandatory
85f6aa968SJoel E. Denny 
main()95f6aa968SJoel E. Denny int main() {
105f6aa968SJoel E. Denny   int arr[4] = {0, 1, 2, 3};
115f6aa968SJoel E. Denny #pragma omp target data map(alloc: arr[0:2])
125f6aa968SJoel E. Denny #pragma omp target data map(alloc: arr[1:2])
135f6aa968SJoel E. Denny   ;
145f6aa968SJoel E. Denny   return 0;
155f6aa968SJoel E. Denny }
16