[External] : Re: VM model and aconst_init

[forax at univ-mlv.fr]

> From: "Brian Goetz" <brian.goetz at oracle.com>
> To: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "valhalla-spec-experts" <valhalla-spec-experts at openjdk.java.net>
> Sent: Wednesday, January 12, 2022 2:30:00 PM
> Subject: Re: [External] : Re: VM model and aconst_init

> The operand of C_Class is a weird beast. It can be an internal name
> (com/foo/Bar), but it can also be a *descriptor* for an array type. Valhalla
> extends it to allow Q descriptors as well (but not L descriptors -- there
> should be one way to say C_Class[String].)
Your explanation maks sense but it's not was this sentence says 
""" 
The sole operand of this bytecode is a reference to a CONSTANT_Class item giving the internal binary name of the value class (not its Q descriptor) 
""" 

Rémi 

> On 1/12/2022 8:14 AM, [ mailto:forax at univ-mlv.fr | forax at univ-mlv.fr ] wrote:

>> Ok, but in that case how the verifiers know if aconst_init generate a Q-type or
>> a L-type given that aconst_init takes a CONSTANT_CLASS and not a descriptor as
>> parameter.