> From: "Brian Goetz" <brian.go...@oracle.com> > To: "Remi Forax" <fo...@univ-mlv.fr> > Cc: "valhalla-spec-experts" <valhalla-spec-experts@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:fo...@univ-mlv.fr | fo...@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.
