Skip to content

fix: preserve Java object array stores - #304

Open
YunaBraska wants to merge 1 commit into
feature/array-access-main-20260901from
feature/object-array-store-main-20260901
Open

YunaBraska wants to merge 1 commit into
feature/array-access-main-20260901from
feature/object-array-store-main-20260901

Conversation

@YunaBraska

Copy link
Copy Markdown
Contributor

Release gate

Moves runtime correctness for typed Java object-array stores.

Blocker removed

  • Preserves RHS evaluation, null/bounds ordering, and GC reachability before a store.
  • Rejects incompatible non-null values as catchable ArrayStoreException.
  • Preserves valid application inheritance/interfaces, Map.Entry arrays, and typed platform enum values.
  • Registers generated class metadata through a standalone-safe resolver; library output now declares it before registration.

Local evidence

  • ./mvnw clean verify: 156 test classes completed with no failures or errors.
  • ./mvnw -Dtest=CliPackagingIntegrationTest test: 36 passed.
  • ./mvnw -Dtest=RuntimeFilesTest test: 395 passed, 1 skipped.
  • ./mvnw -Dtest=BytecodeToIRTest,CCodegenMemoryTest test: 1,218 passed.

Remaining scope

Does not claim full JDK hierarchy coverage beyond currently supported runtime types, and does not add System.arraycopy semantics.

@YunaBraska
YunaBraska force-pushed the feature/array-access-main-20260901 branch from cb23587 to a82fa4a Compare September 1, 2026 02:43
@YunaBraska
YunaBraska force-pushed the feature/object-array-store-main-20260901 branch from 09f8926 to 117d5a7 Compare September 1, 2026 02:52

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant