1 2 3 4 5 6 7 8 9 10 11
/* { dg-do run } */ /* { dg-options "-fsanitize=shift -w -fno-sanitize-recover=shift" } */ int main (void) { unsigned int a = 1; a <<= 31; a <<= 1; return 0; }