| /* { dg-do run } */ | |
| #include <stdio.h> | |
| #include <openacc.h> | |
| int | |
| main (int argc, char **argv) | |
| { | |
| acc_init (acc_device_default); | |
| acc_shutdown (acc_device_default); | |
| fprintf (stderr, "CheCKpOInT\n"); | |
| acc_shutdown (acc_device_default); | |
| return 0; | |
| } | |
| /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" } */ | |
| /* { dg-output "no device initialized" } */ | |
| /* { dg-shouldfail "" } */ |