From 6420fb778ec87ff9f91d025f6e789ac0fc8b45fb Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Tue, 16 May 2006 22:06:25 +0000 Subject: verify-impl.c (verify_instructions_0): Special case for Object.. * verify-impl.c (verify_instructions_0) : Special case for Object.. From-SVN: r113830 --- gcc/java/verify-impl.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'gcc/java/verify-impl.c') diff --git a/gcc/java/verify-impl.c b/gcc/java/verify-impl.c index fc15407..f672fcf 100644 --- a/gcc/java/verify-impl.c +++ b/gcc/java/verify-impl.c @@ -1,4 +1,4 @@ -/* Copyright (C) 2001, 2002, 2003, 2004, 2005 Free Software Foundation +/* Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation This file is part of libgcj. @@ -2887,9 +2887,11 @@ verify_instructions_0 (void) invalidate_pc (); break; case op_return: - /* We only need to check this when the return type is - void, because all instance initializers return void. */ - if (this_is_init) + /* We only need to check this when the return type is void, + because all instance initializers return void. We also + need to special-case Object constructors, as they can't + call a superclass . */ + if (this_is_init && vfr->current_class != vfy_object_type ()) state_check_this_initialized (vfr->current_state); check_return_type (make_type (void_type)); invalidate_pc (); -- cgit v1.1