7 main (int argc
, char **argv
)
9 acc_init (acc_device_default
);
10 acc_shutdown (acc_device_default
);
11 fprintf (stderr
, "CheCKpOInT\n");
12 acc_shutdown (acc_device_default
);
17 /* { dg-output "CheCKpOInT(\n|\r\n|\r).*" } */
18 /* { dg-output "no device initialized" } */
19 /* { dg-shouldfail "" } */