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