https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64878
--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> --- -fdbg-cnt=registered_jump_thread:44 passes -fdbg-cnt=registered_jump_thread:45 fails So this is the jump thread that produces the wrong code: Registering FSM jump thread: (10, 114) incoming edge; (4, 93) nocopy
