1  /* Verify that we refuse 'acc_free', after 'acc_map_data'.  */
       2  
       3  /* { dg-skip-if "" { *-*-* } { "*" } { "-DACC_MEM_SHARED=0" } } */
       4  
       5  #include <stdio.h>
       6  #include <stdlib.h>
       7  #include <openacc.h>
       8  
       9  int
      10  main ()
      11  {
      12    const int N = 108;
      13  
      14    char *h = (char *) malloc (N);
      15    void *d = acc_malloc (N - 10);
      16    if (!d)
      17      abort ();
      18    acc_map_data (h, d, N - 19);
      19  
      20    fprintf (stderr, "CheCKpOInT\n");
      21    acc_free (d);
      22  
      23    return 0;
      24  }
      25  
      26  /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" }
      27     { dg-output "refusing to free device memory space at \[0-9a-fA-FxX\]+ that is still mapped at \\\[\[0-9a-fA-FxX\]+,\\\+89\\\]" }
      28     { dg-shouldfail "" } */