diff options
| author | Tom Tromey <tromey@redhat.com> | 2001-12-06 23:06:11 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2001-12-06 23:06:11 +0000 |
| commit | c1bf99a2ab955f1b5945ceb0f62a4e1652fe0c02 (patch) | |
| tree | 961dfd03692ed88918334420688be1ca4847e7df /gcc/java/check-init.c | |
| parent | d06ba3c7e614ff24f9a75edef39833ef0887af03 (diff) | |
| download | gcc-c1bf99a2ab955f1b5945ceb0f62a4e1652fe0c02.zip gcc-c1bf99a2ab955f1b5945ceb0f62a4e1652fe0c02.tar.gz gcc-c1bf99a2ab955f1b5945ceb0f62a4e1652fe0c02.tar.bz2 | |
verify.cc (_Jv_BytecodeVerifier::type_val): Added unused_by_subroutine_type.
* verify.cc (_Jv_BytecodeVerifier::type_val): Added
unused_by_subroutine_type.
(_Jv_BytecodeVerifier::type::merge): Handle
unused_by_subroutine_type.
(_Jv_BytecodeVerifier::state::state): Added `ret_semantics'
argument.
(_Jv_BytecodeVerifier::state::copy): Likewise.
(_Jv_BytecodeVerifier::push_jump_merge): Pass `ret_semantics' to
state constructor.
(_Jv_BytecodeVerifier::state::is_unmerged_ret_state): New method.
(_Jv_BytecodeVerifier::pop_jump): Don't accept a jump which is
from an unmerged ret.
(_Jv_BytecodeVerifier::verify_instructions_0): Don't let an
unmerged ret state skip verification in the fall-through case.
(debug_print): New function.
(_Jv_BytecodeVerifier::type::print): New method.
(_Jv_BytecodeVerifier::state::print): New method.
(_Jv_BytecodeVerifier::push_jump_merge): Print state.
(_Jv_BytecodeVerifier::verify_instructions_0): Likewise.
(_Jv_BytecodeVerifier::get_variable): Don't call note_variable.
(_Jv_BytecodeVerifier::_Jv_BytecodeVerifier): Print debug
information.
From-SVN: r47734
Diffstat (limited to 'gcc/java/check-init.c')
0 files changed, 0 insertions, 0 deletions