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" } */
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 } } */