This really only applies to non-transparent returns, afaict. I think the return target (i.e. fall-through) of a function call should be handled by something akin to a NonLocalEntryFragment, and perhaps specially marked (i.e. not belonging to the Fragment::successors). This would simplify later things.
This really only applies to non-transparent returns, afaict. I think the return target (i.e. fall-through) of a function call should be handled by something akin to a
NonLocalEntryFragment
, and perhaps specially marked (i.e. not belonging to theFragment::successors
). This would simplify later things.