1  /* Verify that we refuse 'acc_free', after 'acc_create'.  */
       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_create (h, N - 1);
      16    if (!d)
      17      abort ();
      18  
      19    fprintf (stderr, "CheCKpOInT\n");
      20    acc_free (d);
      21  
      22    return 0;
      23  }
      24  
      25  /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" }
      26     { dg-output "refusing to free device memory space at \[0-9a-fA-FxX\]+ that is still mapped at \\\[\[0-9a-fA-FxX\]+,\\\+107\\\]" }
      27     { dg-shouldfail "" } */