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