https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93981
--- Comment #13 from jwjagersma at gmail dot com --- Is there some point at which debug statements are supposed to be copied over to the next BBs? That appears to be what maybe_move_debug_stmts_to_successors (tree-inline.c:2799) does, but it is only called for inlined functions. Or alternatively, should mark_reachable_handlers and verify_gimple_in_cfg be made to ignore the debug statement, by using gsi_last_nondebug_bb?