Re: Re: A complete list of JDK classes which CheckClassAdapter fails (bug?)

Eugene Kuleshov <[email protected]>
Newsgroups gmane.comp.java.objectweb.asm
Message-ID <[email protected]>
Eric,

  Section 4.11.1.2 of the updated class file format for Java 1.6
describes subtype matching for the bytecode verifier, but it is using
Prolog notation and rather hard to interpret. You can take a look here
  https://docs.google.com/fileview?id=0B56Yc_XO11-dYTM2NzhiYjUtYjZkMC00YjZiLTg5ZTYtOTgwMjM4NDI2ZjEz

  regards,
  Eugene

On Fri, Aug 20, 2010 at 9:51 AM,  <[email protected]> wrote:

> for the java.awt.List case, it seems the problem comes from the merge of two interface types on the stack. One branch of a "if" pushes a java.awt.ActionListener. The other branch pushes a java.awt.ItemListener. ASM merges this using the common *super class*, which is Object (the common super-interface is java.awt.EventListener, the expected type). The problem is that I never saw any rule in the JVM specification to compute such a common super interface type when merging stack frames.
>
> Eric
message-footer.txt (text/plain, 238 B)
-- 
You receive this message as a subscriber of the [email protected] mailing list.
To unsubscribe: mailto:[email protected]
For general help: mailto:[email protected]?subject=help
OW2 mailing lists service home page: http://www.ow2.org/wws
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.