1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O2 -fno-tree-dominator-opts" } */
       3  
       4  int a, b, c, d;
       5  
       6  int
       7  foo (void)
       8  {
       9    __int128 i;
      10  l:
      11    i -= c;
      12    if (b)
      13      goto l;
      14    __builtin_mul_overflow (0, a, &c);
      15    if (d)
      16      goto l;
      17    return i;
      18  }