[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 #7 from David Binderman <dcb314 at hotmail dot com> ---
Problem seems to be between gcc revision 248553 and 248835.
I'll have a go at reducing the demonstrator code.