Hi, On Wed, 7 Mar 2018, Peter Bergner wrote:
> On 3/7/18 12:01 AM, Jeff Law wrote: > > I believe so by nature that the setjmp dominates the longjmp sites and > > thus also dominates the dispatcher. But it's something I want to > > explicitly check before resubmitting. > > Are we sure a setjmp has to dominate its longjmp sites? No, they don't have to dominate. For lack of better term I used something like "ordered after" in my mails :) > Couldn't you have something like: Yeah, exactly. Ciao, Michael.
