[RFC/RFT] Patch (java): Switch to new verifier

Andrew Haley aph@redhat.com
Mon Mar 7 17:23:00 GMT 2005


Bryce McKinlay writes:
 > 
 > 2005-03-04  Bryce McKinlay  <mckinlay@redhat.com>
 > 
 > 	* verify-glue.c (vfy_is_assignable_from): Perform static check using
 > 	can_widen_reference_to if the C++ ABI is in use.
 > 	(vfy_get_interface_count, vfy_get_interface): Remove unused functions.
 > 	* verify-impl.c (debug_print, make_utf8_const, init_type, copy_type,
 > 	type_isresolved, init_state, set_pc, state_get_pc,
 > 	_Jv_BytecodeVerifier): Clean up unused and disabled functions.
 > 	(verify_fail): Report the current PC from the verifier context.
 > 	(free_state): Remove #if 0 block to enable this function.
 > 	(free_verifier_context): Call free_state on state_list iterator
 > 	values before freeing them.
 > 	* expr.c (pop_type_0): Pop correct type for error message when stack
 > 	contains a multi-word type.
 > 
 > 2005-03-04  Ranjit Mathew  <rmathew@hotmail.com>
 > 
 > 	* expr.c (build_java_array_length_access): Remove !flag_new_verifier
 > 	for known NULL array length access.

OK for 4.0 branch and trunk.

Andrew.



More information about the Gcc-patches mailing list