Mailing-List: contact issues-help@commons.apache.org; run by ezmlm
Precedence: bulk
Reply-To: issues@commons.apache.org
Date: Tue, 6 Jan 2015 11:59:34 +0000 (UTC)
From: "Emmanuel Bourg (JIRA)" <jira@apache.org>
To: issues@commons.apache.org
Message-ID: <JIRA.12765098.1420544493000.18651.1420545574543@Atlassian.JIRA>
In-Reply-To: <JIRA.12765098.1420544493000@Atlassian.JIRA>
References: <JIRA.12765098.1420544493000@Atlassian.JIRA>
 <JIRA.12765098.1420544493101@arcas>
Subject: [jira] [Commented] (BCEL-188) Verification error when returning an
 Object
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable


    [ https://issues.apache.org/jira/browse/BCEL-188?page=3Dcom.atlassian.j=
ira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=3D142660=
16#comment-14266016 ]=20

Emmanuel Bourg commented on BCEL-188:
-------------------------------------

Thank you for the patch J=C3=A9r=C3=B4me. Do you have the {{TestReturn01.cl=
ass}} file you crafted with the invalid return?

> Verification error when returning an Object
> -------------------------------------------
>
>                 Key: BCEL-188
>                 URL: https://issues.apache.org/jira/browse/BCEL-188
>             Project: Commons BCEL
>          Issue Type: Bug
>          Components: Verifier
>    Affects Versions: 6.x
>            Reporter: J=C3=A9r=C3=B4me Leroux
>         Attachments: BCEL-188.patch
>
>   Original Estimate: 4h
>  Remaining Estimate: 4h
>
> The bytecode generated from the following code produces a verification er=
ror:
> {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)