[External] : Re: VM model and aconst_init

[John Rose]

On 12 Jan 2022, at 8:45, forax at univ-mlv.fr wrote:

>> 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)
> """
>

That was… aspirational.