1  /* { dg-do run } */
       2  /* { dg-additional-options "-fgimple" } */
       3  
       4  int __attribute__((noipa))
       5  __GIMPLE(ssa,startwith("dom")) bar(int cond, int val)
       6  {
       7    int i;
       8    _Bool _7;
       9  
      10  __BB(3):
      11    if (0 != 0)
      12      goto __BB6;
      13    else
      14      goto __BB2;
      15  
      16  __BB(2):
      17    if (cond_5(D) != 0)
      18      goto __BB4;
      19    else
      20      goto __BB5;
      21  
      22  __BB(4):
      23    i_6 = val_2(D);
      24    _7 = val_2(D) > 0;
      25    i_1 = _7 ? i_6 : 0;
      26    goto __BB5;
      27  
      28  __BB(5):
      29    i_3 = __PHI (__BB4: i_1, __BB2: 0);
      30    return i_3;
      31  
      32  __BB(6):
      33    i_4 = 1;
      34    i_9 = 2;
      35    goto __BB2;
      36  }
      37  
      38  int main()
      39  {
      40    if (bar (1, 1) != 1)
      41      __builtin_abort ();
      42    return 0;
      43  }