[tree-ssa] RFC: Making control flow more explicit

[Andrew Haley]

Zdenek Dvorak writes:
 > 
 > it seems there is some problem in exception handling in gcc.  The code
 > (admitedly stupid) I currently produce looks like
 > 
 > try
 >  {
 >    goto bla;
 >  }
 > finally
 >  {
 >    something;
 >  }
 > bla: ;
 > 
 > where similar constructs are nested in "something".  This causes
 > problems, as somehow fixup.real_region of ERT_FIXUP gets set to another
 > ERT_FIXUP.  I unfortunately don't understand what except.c is trying to
 > do to find out what's going wrong.  My best guess is

The bytecode front end does this all the time.  This might explain the
byte compiler problems.

Andrew.