Confusion about stack map verify of constructors

NekoCaffeine nekocaffeine at qq.com
Tue Jun 29 07:53:24 UTC 2021


Hi everyone,


When a super constructor is called in a TryCatchBlock,
 none of the following exception handler locals will pass validation,
 uninitializedThis, referenceName, TOP, <empty>, java/lang/Object.


Where uninitializedThis and referenceName are mutually exclusive,
 and either one will fail because it does not contain the other.
TOP will fail because it is not compatible with the flags of uninitializedThis.
<empty> will fail for incompatibility with uninitializedThis.


Is there a stackframe that passes validation?


Thanks in advance,
NekoCaffeine


More information about the hotspot-runtime-dev mailing list