1  /* { dg-do run } */
       2  /* { dg-options "-O2 -fgimple" } */
       3  
       4  __attribute__((noipa))
       5  void __GIMPLE (ssa,startwith("evrp"))
       6  foo (int x, int minus_1)
       7  {
       8    int tem;
       9    unsigned int _1;
      10    unsigned int _2;
      11  
      12    __BB(2):
      13    tem_4 = minus_1_3(D);
      14    tem_5 = tem_4 + 2;
      15    _1 = (unsigned int) x_6(D);
      16    _2 = _1 + 2147483647u;
      17    if (_2 > 1u)
      18      goto __BB3;
      19    else
      20      goto __BB6;
      21  
      22    __BB(3):
      23    if (x_6(D) <= tem_5)
      24      goto __BB4;
      25    else
      26      goto __BB6;
      27  
      28    __BB(4):
      29    if (x_6(D) > 5)
      30      goto __BB5;
      31    else
      32      goto __BB6;
      33  
      34    __BB(5):
      35    __builtin_exit (0);
      36  
      37    __BB(6):
      38    return;
      39  
      40  }
      41  
      42  int
      43  main()
      44  {
      45    foo (10, 100);
      46    __builtin_abort ();
      47  }