https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96374
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- This is likely to be associated with "merger" exploded_nodes (where we have merged state to help the exploded graph converge). Perhaps if we fail to find a feasible path on the first try we could retry, finding the shortest path that doesn't include each merger node in turn, and if any of those are feasible, find the shortest one.
