You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@harmony.apache.org by "Vera Volynets (JIRA)" <ji...@apache.org> on 2007/03/01 10:42:50 UTC
[jira] Created: (HARMONY-3270) [drlvm][verifier] verifier rejects
correct method
[drlvm][verifier] verifier rejects correct method
---------------------------------------------------
Key: HARMONY-3270
URL: https://issues.apache.org/jira/browse/HARMONY-3270
Project: Harmony
Issue Type: Sub-task
Components: DRLVM
Environment: all
Reporter: Vera Volynets
I tried to reproduce test case from Harmony-2558, but it failed because of VerifyError exception.
The output:
java.lang.VerifyError: (class: Jasm_part, method: do_new_without_invokespecial()V) Wrong return type in function
But the method is correct:
Method name:"do_new_without_invokespecial" static Signature: 9=()void
Attribute "Code", length:16, max_stack:1, max_locals:1, code_length:4
0: new #1=<Class Broken_clinit>
3: return
Return type is void.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Resolved: (HARMONY-3270) [drlvm][verifier] verifier rejects
correct method
Posted by "Gregory Shimansky (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-3270?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Gregory Shimansky resolved HARMONY-3270.
----------------------------------------
Resolution: Fixed
Patch applied at 513301.
> [drlvm][verifier] verifier rejects correct method
> ---------------------------------------------------
>
> Key: HARMONY-3270
> URL: https://issues.apache.org/jira/browse/HARMONY-3270
> Project: Harmony
> Issue Type: Sub-task
> Components: DRLVM
> Environment: all
> Reporter: Vera Volynets
> Assigned To: Gregory Shimansky
> Attachments: verifier_return_check_fix.patch
>
>
> I tried to reproduce test case from Harmony-2558, but it failed because of VerifyError exception.
> The output:
> java.lang.VerifyError: (class: Jasm_part, method: do_new_without_invokespecial()V) Wrong return type in function
> But the method is correct:
> Method name:"do_new_without_invokespecial" static Signature: 9=()void
> Attribute "Code", length:16, max_stack:1, max_locals:1, code_length:4
> 0: new #1=<Class Broken_clinit>
> 3: return
> Return type is void.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Closed: (HARMONY-3270) [drlvm][verifier] verifier rejects
correct method
Posted by "Gregory Shimansky (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-3270?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Gregory Shimansky closed HARMONY-3270.
--------------------------------------
No response, assuming ok.
> [drlvm][verifier] verifier rejects correct method
> ---------------------------------------------------
>
> Key: HARMONY-3270
> URL: https://issues.apache.org/jira/browse/HARMONY-3270
> Project: Harmony
> Issue Type: Sub-task
> Components: DRLVM
> Environment: all
> Reporter: Vera Volynets
> Assignee: Gregory Shimansky
> Attachments: verifier_return_check_fix.patch
>
>
> I tried to reproduce test case from Harmony-2558, but it failed because of VerifyError exception.
> The output:
> java.lang.VerifyError: (class: Jasm_part, method: do_new_without_invokespecial()V) Wrong return type in function
> But the method is correct:
> Method name:"do_new_without_invokespecial" static Signature: 9=()void
> Attribute "Code", length:16, max_stack:1, max_locals:1, code_length:4
> 0: new #1=<Class Broken_clinit>
> 3: return
> Return type is void.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Updated: (HARMONY-3270) [drlvm][verifier] verifier rejects
correct method
Posted by "Gregory Shimansky (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-3270?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Gregory Shimansky updated HARMONY-3270:
---------------------------------------
Patch Info: [Patch Available]
Assignee: Gregory Shimansky
> [drlvm][verifier] verifier rejects correct method
> ---------------------------------------------------
>
> Key: HARMONY-3270
> URL: https://issues.apache.org/jira/browse/HARMONY-3270
> Project: Harmony
> Issue Type: Sub-task
> Components: DRLVM
> Environment: all
> Reporter: Vera Volynets
> Assigned To: Gregory Shimansky
> Attachments: verifier_return_check_fix.patch
>
>
> I tried to reproduce test case from Harmony-2558, but it failed because of VerifyError exception.
> The output:
> java.lang.VerifyError: (class: Jasm_part, method: do_new_without_invokespecial()V) Wrong return type in function
> But the method is correct:
> Method name:"do_new_without_invokespecial" static Signature: 9=()void
> Attribute "Code", length:16, max_stack:1, max_locals:1, code_length:4
> 0: new #1=<Class Broken_clinit>
> 3: return
> Return type is void.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Updated: (HARMONY-3270) [drlvm][verifier] verifier rejects
correct method
Posted by "Pavel Rebriy (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/HARMONY-3270?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Pavel Rebriy updated HARMONY-3270:
----------------------------------
Attachment: verifier_return_check_fix.patch
The bug was in data flow analysis for return instruction.
The patch is correcting the issue.
> [drlvm][verifier] verifier rejects correct method
> ---------------------------------------------------
>
> Key: HARMONY-3270
> URL: https://issues.apache.org/jira/browse/HARMONY-3270
> Project: Harmony
> Issue Type: Sub-task
> Components: DRLVM
> Environment: all
> Reporter: Vera Volynets
> Attachments: verifier_return_check_fix.patch
>
>
> I tried to reproduce test case from Harmony-2558, but it failed because of VerifyError exception.
> The output:
> java.lang.VerifyError: (class: Jasm_part, method: do_new_without_invokespecial()V) Wrong return type in function
> But the method is correct:
> Method name:"do_new_without_invokespecial" static Signature: 9=()void
> Attribute "Code", length:16, max_stack:1, max_locals:1, code_length:4
> 0: new #1=<Class Broken_clinit>
> 3: return
> Return type is void.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.