[tree-ssa] Fun with exceptions -- opinions needed

[Andrew Haley]

Michael Matz writes:
 > 
 > There was some thread about exactly this problem some months ago (it was
 > in Java, but that doesn't matter here).  IIRC the actual problem was, that
 > something _was_ assigned to the pseudo representing 'i', although the
 > function threw (thereby overwriting the initial value).

IIRC the problem was something similar to

   int a = b/c;

This generated a div instruction with `a' in a register as its
destination.  Java requires `a' not to be overwritten if the division
traps, but the machine specification leaves `a' undefined in this
case.

Andrew.