1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=shift -fwrapv -w -std=c99" } */
3 
4 int
main(void)5 main (void)
6 {
7   int a = 1;
8   a <<= 31;
9 }
10