7 main (int argc
, char **argv
)
12 acc_device_t devtype
= acc_device_default
;
14 num_devices
= acc_get_num_devices (devtype
);
20 if (num_devices
!= acc_get_num_devices (devtype
))
23 for (i
= 0; i
< num_devices
; i
++)
25 acc_set_device_num (i
, devtype
);
26 devnum
= acc_get_device_num (devtype
);
31 acc_shutdown (devtype
);
33 if (num_devices
!= acc_get_num_devices (devtype
))
36 for (i
= 0; i
< num_devices
; i
++)
38 acc_set_device_num (i
, devtype
);
39 devnum
= acc_get_device_num (devtype
);
44 acc_shutdown (devtype
);
48 acc_set_device_num (0, devtype
);
50 devnum
= acc_get_device_num (devtype
);
56 acc_set_device_num (1, (acc_device_t
) 0);
58 devnum
= acc_get_device_num (devtype
);
63 acc_shutdown (devtype
);
68 /* { dg-output "" } */