�

	Allow uses of interface types to verify.  This is not really
	type-safe, but it matches what Sun does, and is OK as long as
	there are appropriate run-time checks.
	* verify.c (merge_types):  If merging two interface types,
	just set the result to java.lang.Object.
	* expr.c (pop_type):  Any interface is matches by java.lang.Object.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@23656 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 6 insertions, 0 deletions

diff --git a/gcc/java/expr.c b/gcc/java/expr.c
index 0df6106bcaa..9bd1ca7430c 100644
--- a/gcc/java/expr.c
+++ b/gcc/java/expr.c
@@ -268,6 +268,12 @@ pop_type (type)
 	return type;
       else if (can_widen_reference_to (t, type))
 	return t;
+      /* This is a kludge, but matches what Sun's verifier does.
+	 It can be tricked, but is safe as long as type errors
+	 (i.e. interface method calls) are caught at run-time. */
+      else if (CLASS_INTERFACE (TYPE_NAME (TREE_TYPE (type)))
+	       && t == object_ptr_type_node)
+	return t;
     }
   error ("unexpected type on stack");
   return t;