> I don't know whether there are any functions nested inside nested > functions which do non-local gotos in the Ada testsuite.
There aren't now. But there will be plenty when a transformation that changes raises of exceptions to gotos to a visible exception handler is finished. I'll use the C test case you wrote to verify that I'm seeing what you saw. Thanks.
