openmp/libomptarget/test/mapping/target_wrong_use_device_addr.c

   1 // RUN: %libomptarget-compile-generic -fopenmp-version=51 -g
   2 // RUN: env LIBOMPTARGET_INFO=64 %libomptarget-run-fail-generic 2>&1 \
   3 // RUN: | %fcheck-generic
   4
   5 #include <stdio.h>
   6
   7 int main() {
   8   float arr[10];
   9   float *x = &arr[0];
  10
  11   // CHECK: host addr=0x[[#%x,HOST_ADDR:]]
  12   fprintf(stderr, "host addr=%p\n", x);
  13
  14 #pragma omp target data map(to : x [0:10])
  15   {
  16 // CHECK: Libomptarget device 0 info: variable x does not have a valid device
  17 // counterpart
  18 #pragma omp target data use_device_addr(x)
  19     {
  20       // CHECK-NOT: device addr=0x[[#%x,HOST_ADDR:]]
  21       fprintf(stderr, "device addr=%p\n", x);
  22     }
  23   }
  24
  25   return 0;
  26 }
  27