https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65177
--- Comment #9 from Sebastian Pop <spop at gcc dot gnu.org> --- I added a pass of update_ssa after each invocation of the SEME copier, and that produced 26 extra fails (on top of the failing test) in the hmmer make check. The problem with adding an update_ssa is that we have to also clean up the cfg as update_ssa requires a rebuild of the dominators information. I will attach the patch adding update_ssa.