// The CUDA plugin used to complain on stderr when no CUDA devices were enabled,
// and then it let the application run anyway.  Check that there's no such
// complaint anymore, especially when the user isn't targeting CUDA.

// RUN: %libomptarget-compile-generic
// RUN: env CUDA_VISIBLE_DEVICES= \
// RUN:   %libomptarget-run-generic 2>&1 | %fcheck-generic

#include <stdio.h>

// CHECK-NOT: {{.}}
//     CHECK: Hello World: 4
// CHECK-NOT: {{.}}
int main() {
  int x = 0;
#pragma omp target teams num_teams(2) reduction(+ : x)
  x += 2;
  printf("Hello World: %d\n", x);
  return 0;
}