https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
--- Comment #4 from Ilya Enkovich <ienkovich at gcc dot gnu.org> --- This is still CSE invalidating dominance info. Calls to cleanup_cfg don't affect cse_cfg_altered. If I replace cfg_cleanup calls with cse_cfg_altered |= cleanup_cfg (..) then testcase passes.