From 425373653de0e78ab9656023f1a80bf15d775805 Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Wed, 28 Oct 1998 17:43:03 +0000
Subject: [PATCH] tSubType fix for top == Unknown

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@86 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/type/Type.java | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/jode/jode/type/Type.java b/jode/jode/type/Type.java
index c0148ed..ad3657c 100644
--- a/jode/jode/type/Type.java
+++ b/jode/jode/type/Type.java
@@ -190,8 +190,12 @@ public class Type {
     }
 
     public static Type tSuperType(Type type) {
-        if (type == tBoolInt || type == tBoolByte)
-            return tBoolInt;
+        if (type.getTop() == tUnknown) {
+            if (type == tBoolInt || type == tBoolByte)
+                return tBoolInt;
+            if (type.getBottom().typecode == TC_CLASS)
+                return tUObject;
+        }
         return type.getTop().createRangeType(tUnknown);
     }