1  /* { dg-do run } */
       2  
       3  #include <stdio.h>
       4  #include <openacc.h>
       5  
       6  int
       7  main (int argc, char **argv)
       8  {
       9    acc_init (acc_device_default);
      10    acc_shutdown (acc_device_default);
      11    fprintf (stderr, "CheCKpOInT\n");
      12    acc_shutdown (acc_device_default);
      13  
      14    return 0;
      15  }
      16  
      17  /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" } */
      18  /* { dg-output "no device initialized" } */
      19  /* { dg-shouldfail "" } */