6 main (int argc
, char **argv
)
8 acc_device_t devtype
= acc_device_host
;
10 #if ACC_DEVICE_TYPE_nvidia
11 devtype
= acc_device_nvidia
;
13 if (acc_get_num_devices (acc_device_nvidia
) == 0)
19 acc_shutdown (devtype
);
21 acc_shutdown (devtype
);
26 /* { dg-output "no device initialized" } */
27 /* { dg-shouldfail "" } */