Allow uses of interface types to verify.
authorPer Bothner <bothner@gcc.gnu.org>
Sat, 14 Nov 1998 17:22:23 +0000 (09:22 -0800)
committerPer Bothner <bothner@gcc.gnu.org>
Sat, 14 Nov 1998 17:22:23 +0000 (09:22 -0800)
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.

From-SVN: r23657

gcc/java/ChangeLog

index 21c7db24fe692af76f934efd4c850d1a7a1ef649..89c7f68b837c89e3a5fff8a385aeb91faaf35279 100644 (file)
@@ -1,3 +1,12 @@
+Sat Nov 14 17:19:18 1998  Per Bothner  <bothner@cygnus.com>
+
+       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.
+
 1998-11-13  Tom Tromey  <tromey@cygnus.com>
 
        * gjavah.c (main): Handle --output-class-directory argument.