1  /* PR rtl-optimization/80501 */
       2  
       3  signed char v = 0;
       4  
       5  static signed char
       6  foo (int x, int y)
       7  {
       8    return x << y;
       9  }
      10  
      11  __attribute__((noinline, noclone)) int
      12  bar (void)
      13  {
      14    return foo (v >= 0, __CHAR_BIT__ - 1) >= 1;
      15  }
      16  
      17  int
      18  main ()
      19  {
      20    if (sizeof (int) > sizeof (char) && bar () != 0)
      21      __builtin_abort ();
      22    return 0;
      23  }