This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug java/13107] Wrong verification error in gij: recursive subroutine call
- From: "tromey at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 18 Nov 2003 21:12:28 -0000
- Subject: [Bug java/13107] Wrong verification error in gij: recursive subroutine call
- References: <20031118161405.13107.bonniot@users.sf.net>
- Reply-to: gcc-bugzilla 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