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