Skip to content

Avoid overflow in component ABI size calculations - #14058

Open
subotac wants to merge 1 commit into
bytecodealliance:mainfrom
subotac:fix/component-abi-size-overflow
Open

Avoid overflow in component ABI size calculations#14058
subotac wants to merge 1 commit into
bytecodealliance:mainfrom
subotac:fix/component-abi-size-overflow

Conversation

@subotac

@subotac subotac commented Aug 1, 2026

Copy link
Copy Markdown
Contributor

Fixes #13980.

Preserve the canonical ABI size overflow sentinel when aligning and composing record and variant layouts and when advancing field offsets.

Add regression coverage for dynamic and const record/variant layouts and 32-/64-bit field offsets.

Tests:

  • cargo test -p wasmtime-environ --features component-model
  • cargo clippy -p wasmtime-environ --features component-model --all-targets -- -D warnings
  • cargo fmt -p wasmtime-environ -- --check

@subotac
subotac requested a review from a team as a code owner August 1, 2026 09:56
@subotac
subotac requested review from dicej and removed request for a team August 1, 2026 09:56
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.

Fixed-length lists can overflow in ABI calculations for the size of the list

1 participant