| /* PR target/80310 */ | |
| /* { dg-do run } */ | |
| /* { dg-options "-O0 -fsanitize=shift -fno-sanitize-recover=shift" } */ | |
| unsigned int x = 1; | |
| unsigned int y = 0; | |
| void foo() { | |
| y = 1 >> (!x * 1111); | |
| } | |
| int main () { | |
| foo (); | |
| if (y != 1) | |
| __builtin_abort (); | |
| return 0; | |
| } |