[Bug java/13107] Wrong verification error in gij: recursive subroutine call

[tromey at gcc dot gnu dot org]

------- Additional Comments From tromey at gcc dot gnu dot org  2003-11-18 21:12 -------
The bug here is that we propagate subroutine information into
an exception handler.  However, clearing subroutine state in
state::set_exception results in verifier regressions elsewhere
(see the mauve verifier tests).

The underlying problem seems to be that our representation of
subroutines is incorrect.  Perhaps we need to not keep track of
the "current subroutine" but instead just keep the PC info in
the return_address_type and look at that.

More investigation is required, alas.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13107