Question on tree-nested.c:convert_nl_goto_reference

[Ian Lance Taylor]

kenner@vlsi1.ultra.nyu.edu (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