This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/65177] [5 Regression]: extend jump thread for finite state automata causes miscompilation
- From: "spop at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 10 Mar 2015 22:39:16 +0000
- Subject: [Bug tree-optimization/65177] [5 Regression]: extend jump thread for finite state automata causes miscompilation
- Auto-submitted: auto-generated
- References: <bug-65177-4 at http dot gcc dot gnu dot org/bugzilla/>
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.