https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- fwprop_init calcuates dominator info so it's likely df that runs cfg-cleanup and doesn't expect it to wreck dominator info. Probably rightfully so.