1  /* { dg-do run } */
       2  
       3  #include <stdlib.h>
       4  #include <openacc.h>
       5  
       6  int
       7  main (int argc, char **argv)
       8  {
       9    if (acc_get_num_devices (acc_device_none) != 0)
      10      abort ();
      11  
      12    if (acc_get_num_devices (acc_device_host) == 0)
      13      abort ();
      14  
      15    return 0;
      16  }
      17  
      18  /* { dg-output "" } */