| /* PR c/109151 */ | |
| /* { dg-do run } */ | |
| /* { dg-options "-fsanitize=integer-divide-by-zero -Wno-div-by-zero -fno-sanitize-recover=integer-divide-by-zero" } */ | |
| /* { dg-shouldfail "ubsan" } */ | |
| int d; | |
| int | |
| main () | |
| { | |
| d = ((short) (d == 1 | d > 9)) / 0; | |
| } | |
| /* { dg-output "division by zero" } */ |