This is the mail archive of the
java-discuss@sources.redhat.com
mailing list for the Java project.
patch: java verifier bug when merging types
- To: gcc-patches at gcc dot gnu dot org, java-discuss at sources dot redhat dot com
- Subject: patch: java verifier bug when merging types
- From: Per Bothner <per at bothner dot com>
- Date: 21 Jan 2001 12:32:36 -0800
This bug causes the verifier to replace rather than merge the
type state at a label if the label had been verified previously.
That caused spurious verification errors.
I checked this in.
2001-01-21 Per Bothner <per@bothner.com>
* verify.c (merge_type_state): Stil may have to merge even if
LABEL_VERIFIED (label).
Index: verify.c
===================================================================
RCS file: /cvs/gcc/egcs/gcc/java/verify.c,v
retrieving revision 1.35
diff -u -p -r1.35 verify.c
--- verify.c 2001/01/14 21:48:10 1.35
+++ verify.c 2001/01/21 19:12:29
@@ -232,7 +232,7 @@ merge_type_state (label)
int cur_length = stack_pointer + nlocals;
tree vec = LABEL_TYPE_STATE (label);
tree return_map;
- if (vec == NULL_TREE || !LABEL_VERIFIED (label))
+ if (vec == NULL_TREE)
{
if (!vec)
{
--
--Per Bothner
per@bothner.com http://www.bothner.com/~per/