https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70138
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- As a proof of concept, I've changed in the debugger the last stmt in that bb to: tmp.5_53 = stmp_c_10.10_67; and called update_stmt on it, and the result is the test passing.