Jeff Law wrote:
> * PR middle-end/59119
> * gimple-ssa-isolate-paths.c (find_implicit_erroneous_behaviour): New
> function, extracted from gimple_ssa_isolate_erroneous_paths.
> (find_explicit_erroneous_behaviour): Similarly.
> (insert_trap_and_remove_trailing_statemen
We have a known API wart with the SSA_NAME manager. Specifically, once
you start releasing names, you can't have dangling references (say in
unreachable blocks) and allococate new names.
The erroneous path optimization could run afoul of that requirement as
it removed statements after an ex