1  /* { dg-do run } */
       2  /* { dg-set-target-env-var OMP_NUM_TEAMS_DEV_1234567890 "42" } */
       3  /* { dg-set-target-env-var OMP_NUM_TEAMS_DEV_ "43" } */
       4  /* { dg-set-target-env-var OMP_NUM_TEAMS_DEV_01 "44" } */
       5  /* { dg-set-target-env-var OMP_NUM_TEAMS_DEV_a "45" } */
       6  /* { dg-set-target-env-var OMP_NUM_TEAMS_DEV_12345678901 "46" } */
       7  /* { dg-set-target-env-var OMP_NUM_TEAMS_DEV_-1 "47" } */
       8  /* { dg-set-target-env-var "OMP_NUM_TEAMS_DEV_ 1" "48" } */
       9  /* { dg-set-target-env-var "OMP_NUM_TEAMS_DEV_00" "49" } */
      10  
      11  #include <omp.h>
      12  #include <stdlib.h>
      13  
      14  int
      15  main ()
      16  {
      17    return 0;
      18  }
      19  
      20  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_=43.*" { target native } } */
      21  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_01=44.*" { target native } } */
      22  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_a=45.*" { target native } } */
      23  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_12345678901=46.*" { target native } } */
      24  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_-1=47.*" { target native } } */
      25  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_ 1=48.*" { target native } } */
      26  /* { dg-output ".*Invalid device number in OMP_NUM_TEAMS_DEV_00=49.*" { target native } } */