Skip to content

fix(rt): add fallback for zero-sized constants in operand decoding#821

Closed
Stevengre wants to merge 1 commit intomasterfrom
jh/zero-sized-constant
Closed

fix(rt): add fallback for zero-sized constants in operand decoding#821
Stevengre wants to merge 1 commit intomasterfrom
jh/zero-sized-constant

Conversation

@Stevengre
Copy link
Copy Markdown
Contributor

@Stevengre Stevengre commented Nov 10, 2025

Need to investigate more after other changes merged.

@Stevengre Stevengre force-pushed the jh/zero-sized-constant branch 2 times, most recently from 6cf37d7 to 1527d68 Compare March 23, 2026 12:06
@Stevengre
Copy link
Copy Markdown
Contributor Author

Closing: after analysis, the fallback rule covers a case that does not arise in practice. All 797 executable constantKindZeroSized constants across 53 SMIR test files are fully covered by the existing two rules (type table lookup or function table lookup). The gap case (ty in neither table) only appears in var_debug_info, which the K semantics does not execute.

@Stevengre Stevengre closed this Mar 23, 2026
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