FA-90047 / Bytecode virtual machines / Member archive

Method descriptors: arrays of long counted as two slots · case 02

Methods taking long[] or double[] parameters get oversized frames and shifted locals.

Member previewVariant 2 · 3 implementations · 9 checks per implementation

Case contract

Parse a method descriptor "(args)ret". Field types: B C D F I J S Z, L<binary name>; with a non-empty name, and up to 255 leading "[" dimensions. V is allowed only as a non-array return type. Local-slot count: one extra slot for "this" unless static; J and D take two slots unless they are array element types. Return {args (readable names, "[]" per dimension), slots, ret} or ["ClassFormatError", position].

Why this case matters

Frame sizes and argument placement in bytecode VMs are derived from descriptors.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: mixed wide and array arguments	`{"args": ["int", "long", "long[]", "double", "java.lang.String[][]", "int", "int"], "ret": "void", "slots": 10}`	`{"args": ["int", "long", "long[]", "double", "java.lang.String[][]", "int", "int"], "ret": "void", "slots": 9}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.