[ https://issues.apache.org/jira/browse/BCEL-188?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14354545#comment-14354545 ]
Jérôme Leroux commented on BCEL-188: ------------------------------------ The invalid classfiles defined in these tests cannot be generated from Java source. Currently, to produce them I modify a valid classfile with a disassembler. This method is not the best to obtain something documented well :-( [~ebourg] suggests in BCEL-184 to use Jasmin to generate these classfiles. > Invalid verification of the returned value of a method > ------------------------------------------------------ > > Key: BCEL-188 > URL: https://issues.apache.org/jira/browse/BCEL-188 > Project: Commons BCEL > Issue Type: Bug > Components: Verifier > Reporter: Jérôme Leroux > Fix For: 6.0 > > Attachments: BCEL-188-2.patch, BCEL-188-3.patch, BCEL-188-3.zip, > BCEL-188.patch > > Original Estimate: 4h > Remaining Estimate: 4h > > The bytecode generated from the following code produces a verification error: > {code:java} > public static Object test(){ > return new Object(); > } > {code} > Here is the error message: > {quote} > Pass 3b, method number 2 \['public static Object test()'\]: > VERIFIED_REJECTED > Constraint violated in method 'public static Object test()': > Returned type void does not match Method's return type java.lang.Object > {quote} > The problem also occurs for all kind of returned value: primitive types > (byte, int, etc.), array , null, object, … -- This message was sent by Atlassian JIRA (v6.3.4#6332)