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