https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88593
--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Alexander Monakov from comment #2) > cleanup_cfg may change the cfg and thus make cached dominance info stale, > but it doesn't free/invalidate it. Shouldn't cleanup_cfg be fixed?