1  /* PR target/80310 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O0 -fsanitize=shift -fno-sanitize-recover=shift" } */
       4  
       5  unsigned int x = 1;
       6  unsigned int y = 0;
       7  
       8  void foo() {
       9    y = 1 >> (!x * 1111);
      10  }
      11  
      12  int main () {
      13      foo ();
      14      if (y != 1)
      15        __builtin_abort ();
      16      return 0;
      17  }