text: /* Verify that we refuse 'acc_map_data' when the "device address [...] is
     already mapped".  */
  
  /* { dg-skip-if "" { *-*-* } { "*" } { "-DACC_MEM_SHARED=0" } } */
  
  #include <assert.h>
  #include <stdio.h>
  #include <openacc.h>
  
  double global_var;
  #pragma acc declare create (global_var)
  
  int
  main ()
  {
    double var;
    void *d = acc_deviceptr (&global_var);
    assert (d);
    /* Try to arrange a setting such that a later 'acc_unmap_data' would find the
       device memory object still referenced elsewhere.  This is not possible,
       given the semantics of 'acc_map_data'.  */
    fprintf (stderr, "CheCKpOInT\n");
    acc_map_data (&var, d, sizeof var);
  
    return 0;
  }
  
  
  /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" } */
  /* { dg-output "device address \\\[\[0-9a-fA-FxX\]+, \\\+8\\\] is already mapped" { xfail *-*-* } } TODO PR92888 */
  /* { dg-shouldfail "TODO PR92888" { this-really-should-fail } } */
  