This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
[BC ABI] Fix type signature used in verification
- From: Andrew Haley <aph at redhat dot com>
- To: java-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org
- Date: Wed, 1 Sep 2004 16:07:07 +0100
- Subject: [BC ABI] Fix type signature used in verification
- References: <16693.51543.912185.241005@cuddles.cambridge.redhat.com>
Some minor fallout.
Andrew.
* lang.c (java_post_options): Turn on flag_verify_invocations.
* class.c (finish_class): Nullify TYPE_VERIFY_METHOD.
Index: class.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/java/class.c,v
retrieving revision 1.180.2.10
diff -c -2 -p -r1.180.2.10 class.c
*** class.c 27 Aug 2004 19:31:40 -0000 1.180.2.10
--- class.c 1 Sep 2004 15:03:56 -0000
*************** finish_class (void)
*** 1824,1827 ****
--- 1824,1828 ----
cgraph_finalize_function (TYPE_VERIFY_METHOD (current_class), false);
TYPE_ASSERTIONS (current_class) = NULL;
+ TYPE_VERIFY_METHOD (current_class) = NULL;
}
Index: lang.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/java/lang.c,v
retrieving revision 1.151.2.2
diff -c -2 -p -r1.151.2.2 lang.c
*** lang.c 20 May 2004 23:32:51 -0000 1.151.2.2
--- lang.c 1 Sep 2004 15:03:56 -0000
*************** java_post_options (const char **pfilenam
*** 741,744 ****
--- 741,749 ----
}
+ /* An absolute requirement: if we're not using indirect dispatch, we
+ must always verify everything. */
+ if (! flag_indirect_dispatch)
+ flag_verify_invocations = true;
+
/* Open input file. */