DO NOT REPLY [Bug 40577] New: - return type not verified by JustIce

DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG·
RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT
<http://issues.apache.org/bugzilla/show_bug.cgi?id=40577>.
ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND·
INSERTED IN THE BUG DATABASE.

http://issues.apache.org/bugzilla/show_bug.cgi?id=40577

           Summary: return type not verified by JustIce
           Product: BCEL
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Main
        AssignedTo: [email protected]
        ReportedBy: [email protected]


I have found the following very simple class to be accepted by the JustIce
verifier (BCEL 5.2) even though it should clearly not.

$$$ javap -c Test
Compiled from "Test.java"
public class Test extends java.lang.Object{
public Test();
  Code:
   0:   aload_0
   1:   invokespecial   #9; //Method java/lang/Object."<init>":()V
   4:   return

public java.lang.String foo(java.lang.String, java.lang.Integer);
  Code:
   0:   aload_2
   1:   areturn

}

In the method "foo", an Integer is returned instead of a String but JustIce does
not complain about that. The Sun verifier rejects the class.

-- 
Configure bugmail: http://issues.apache.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.