1/* { dg-do run } */ 2 3#include <stdlib.h> 4#include <openacc.h> 5 6int 7main (int argc, char **argv) 8{ 9 int devnum; 10 11 if (acc_get_device_type () == acc_device_default) 12 abort (); 13 14 if (acc_get_num_devices (acc_device_nvidia) == 0) 15 return 0; 16 17 acc_set_device_type (acc_device_nvidia); 18 19 if (acc_get_device_type () != acc_device_nvidia) 20 abort (); 21 22 acc_shutdown (acc_device_nvidia); 23 24 acc_set_device_type (acc_device_nvidia); 25 26 if (acc_get_device_type () != acc_device_nvidia) 27 abort (); 28 29 devnum = acc_get_num_devices (acc_device_host); 30 if (devnum != 1) 31 abort (); 32 33 acc_shutdown (acc_device_nvidia); 34 35 if (acc_get_device_type () == acc_device_default) 36 abort (); 37 38 return 0; 39} 40