// RUN: %libomptarget-compile-run-and-check-generic

#include <omp.h>
#include <stdio.h>

// OpenMP 5.1. sec 5.8.6 "Pointer Initialization for Device Data Environments"
// p. 160 L32-33: "If a matching mapped list item is not found, the pointer
// retains its original value as per the32 firstprivate semantics described in
// Section 5.4.4."

int main(void) {
  int *A = (int *)omp_target_alloc(sizeof(int), omp_get_default_device());

#pragma omp target
  { *A = 1; }

  int Result = 0;
#pragma omp target map(from : Result)
  { Result = *A; }

  // CHECK: PASS
  if (Result == 1)
    printf("PASS\n");

  omp_target_free(A, omp_get_default_device());
}