Re: [tree-ssa] New testcase

[Neil Booth <neil at daikokuya dot co dot uk>]

law@redhat.com wrote:-

> I forgot to check this in while fixing up handling of nonlocal gotos.
> It's a test that tree-ssa would fail before my changes, but which
> passes after my changes (and while it looks similar to one of the
> tests in our testsuite, it is in fact different....)

If you add this, could you get x to return something?  It looks
invalid otherwise (and a good example of where we don't warn / error
enough).  Please add a comment too; these are really hard to figure
out after the event.

Neil.

> main()
> {
>   __label__ l;
> 
>   void*x()
>   {
>     goto l;
>   }
> 
>   x();
>   abort();
>   return;
> l:
>   exit(0);
> }