[Bug tree-optimization/79483] [7/8 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483

--- Comment #8 from David Binderman <dcb314 at hotmail dot com> ---
Reduced code:

a;
b() {
  int c, d;
  if (a)
    d = b();
  return 1 + c + d;
}

Flag -O2 required.