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

[Ranjit Mathew]

On Mon, 7 Mar 2005 17:23:27 +0000, Andrew Haley <aph@redhat.com> wrote:
> 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.

Bryce you seem to have committed the change
to lang.c to enable the new verifier as well (only
on mainline). Was that intentional? (I have no
objections, since I proposed it in the first
place... ;-))

If it was, please unXFAIL the pr13107_2/3
tests.

Thanks,
Ranjit.

-- 
Ranjit Mathew      Email: rmathew AT gmail DOT com

Bangalore, INDIA.    Web: http://ranjitmathew.hostingzero.com/