1  /* PR c++/55137 */
       2  
       3  extern void abort (void);
       4  
       5  int
       6  foo (unsigned int x)
       7  {
       8    return ((int) (x + 1U) + 1) < (int) x;
       9  }
      10  
      11  int
      12  bar (unsigned int x)
      13  {
      14    return (int) (x + 1U) + 1;
      15  }
      16  
      17  int
      18  baz (unsigned int x)
      19  {
      20    return x + 1U;
      21  }
      22  
      23  int
      24  main ()
      25  {
      26    if (foo (__INT_MAX__) != (bar (__INT_MAX__) < __INT_MAX__)
      27        || foo (__INT_MAX__) != ((int) baz (__INT_MAX__) + 1 < __INT_MAX__))
      28      abort ();
      29    return 0;
      30  }