erroneous "bad array type for AALOAD: null" when verifying
----------------------------------------------------------
Key: JASSIST-145
URL:
https://issues.jboss.org/browse/JASSIST-145
Project: Javassist
Issue Type: Bug
Affects Versions: 3.15.0-GA
Reporter: Shigeru Chiba
Assignee: Shigeru Chiba
Fix For: 3.16.0-GA
(reported by Johannes Schindelin)
When verifying bytecode compiled for Java 1.6+ where we need to provide a
StackMapTable attribute which we verify ourselves first, the sequence
ACONST_NULL
ASTORE_0
...
ALOAD_0
ICONST_0
AALOAD
triggers the verifier to add NullType as an equivalent type for the
ArrayType. Since that code might be unreachable after instrumenting or the
local variable might have been set otherwise before jumping back to this
code, we really need ArrayType's isNullType() method to report the correct
result.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: