[Bug-kawa] [bug #6721] incorrect result of lowestCommonSuperType in gnu.bytecode.Type

[nobody]

=================== BUG #6721: FULL BUG SNAPSHOT ===================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6721&group_id=145

Submitted by: None                    Project: Kawa                         
Submitted on: Sun 11/23/2003 at 14:36
Category:  None                       Severity:  5 - Major                  
Bug Group:  Unexpected result         Resolution:  None                     
Assigned to:  None                    Status:  Open                         

Summary:  incorrect result of lowestCommonSuperType in gnu.bytecode.Type

Original Submission:  When one of the arguments of lowestCommonSuperType is 
char_type and the other byte_type it returns null where it should return 
int_type.



possible fix:

       return t2;

     else if (t2.isSubtype(t1))

       return t1;

+    else if (t1 == char_type && t2.isSubtype(int_type))

+      return int_type;

+    else if (t2 == char_type && t1.isSubtype(int_type))

+      return int_type;

     else

       {

        // the only chance left is that t1 and t2 are ClassTypes.



--Arjan Boeijink



No Followups Have Been Posted


CC list is empty


No files currently attached


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6721&group_id=145

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/