1  /* PR tree-optimization/69615 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-optimized" } */
       4  /* { dg-final { scan-tree-dump-not " >= 0" "optimized" } } */
       5  /* { dg-final { scan-tree-dump-not " < 0" "optimized" } } */
       6  /* { dg-final { scan-tree-dump-not " <= 23" "optimized" } } */
       7  /* { dg-final { scan-tree-dump-not " > 23" "optimized" } } */
       8  
       9  extern void foo (void);
      10  
      11  void
      12  f1 (int x)
      13  {
      14    if (x >= 0 && x <= __INT_MAX__ - 1)
      15      foo ();
      16  }
      17  
      18  void
      19  f2 (int x, int y)
      20  {
      21    if (x >= 0 && y && x <= __INT_MAX__ - 1)
      22      foo ();
      23  }
      24  
      25  void
      26  f3 (int x)
      27  {
      28    if (x > -__INT_MAX__ - 1 && x <= 23)
      29      foo ();
      30  }
      31  
      32  void
      33  f4 (int x, int y)
      34  {
      35    if (x > -__INT_MAX__ - 1 && y && x <= 23)
      36      foo ();
      37  }