commons-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jérôme Leroux (JIRA) <j...@apache.org>
Subject [jira] [Updated] (BCEL-188) Invalid verification of the returned value of a method
Date Fri, 09 Jan 2015 15:05:34 GMT

     [ https://issues.apache.org/jira/browse/BCEL-188?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Jérôme Leroux updated BCEL-188:
-------------------------------
    Summary: Invalid verification of the returned value of a method  (was: Verification error
when returning an Object)

> 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.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}



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)

Mime
View raw message