1  /* PR tree-optimization/47155 */
       2  
       3  unsigned int a;
       4  static signed char b = -127;
       5  int c = 1;
       6  
       7  int
       8  main (void)
       9  {
      10    a = b <= (unsigned char) (-6 * c);
      11    if (!a)
      12      __builtin_abort ();
      13    return 0;
      14  }