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