1  /* Expect an error message when shutting down a device different from the one
       2     that has been initialized.  */
       3  /* { dg-do run { target { ! openacc_host_selected } } } */
       4  
       5  #include <stdio.h>
       6  #include <openacc.h>
       7  
       8  int
       9  main (int argc, char **argv)
      10  {
      11    acc_init (acc_device_host);
      12  
      13    fprintf (stderr, "CheCKpOInT\n");
      14    acc_shutdown (acc_device_not_host);
      15  
      16    return 0;
      17  }
      18  
      19  /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" } */
      20  /* { dg-output "no device initialized" } */
      21  /* { dg-shouldfail "" } */