[ nice-Bugs-1113263 ] java.lang.VerifyError

Bugs item #1113263, was opened at 2005-01-31 17:22
Message generated for change (Comment added) made by arjanb
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1113263&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Artem Gr Kozarezov (artemgr)
Assigned to: Nobody/Anonymous (nobody)
Summary: java.lang.VerifyError

Initial Comment:
See attached files for details.
"nice-bug.src.zip" have test case sources.
"nice-bug.bin.zip" have both sources and compiled classes.


----------------------------------------------------------------------

>Comment By: Arjan Boeijink (arjanb)
Date: 2005-02-02 00:09

Message:
Logged In: YES 
user_id=688815

The problem is the code generation of 'assert false' where the 
bytecode verifier can't always know code after that is 
unreachable.

I commited a workaround for the codegeneration.

Code being unreachable after 'assert false' is different 
behaviour than Java and might be unexpected when 
assertions disabled.
http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html

Daniel, what's your opinion on this?

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1113263&group_id=12788


-------------------------------------------------------
This SF.Net email is sponsored by: IntelliVIEW -- Interactive Reporting
Tool for open source databases. Create drag-&-drop reports. Save time
by over 75%! Publish reports on the web. Export to DOC, XLS, RTF, etc.
Download a FREE copy at http://www.intelliview.com/go/osdn_nl