[
https://issues.apache.org/jira/browse/BCEL-188?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jérôme Leroux updated BCEL-188:
-------------------------------
Description:
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, …
was:
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}
> 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}
> 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)
