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