[EMAIL PROTECTED] (Richard Kenner) writes: > > But I do get a failure in verify_flow_info with the appended test case. > > Indeed that's where I get the ICE. > > > verify_flow_info is only used when checking is enabled, so > > maybe that is why people aren't seeing it? > > But isn't that the default on the trunk?
Yes. But it's not on releases, so non-developers are going to see it. And I can't find any C test cases which detect the problem. As far as I can tell, in C the problem will only arise when a nested function itself contains a nested function, and the inner nested function does a non-local goto to the outer nested function. That is, the test case I posted earlier is about as simple as it gets. I don't know whether there are any functions nested inside nested functions which do non-local gotos in the Ada testsuite. Ian
