Skip to content

Conversation

@oskgo
Copy link
Contributor

@oskgo oskgo commented Nov 18, 2025

When the list of arguments is empty we cannot determine a memory in map_inv.

We fix this by special-casing the case of having an empty argument list and getting the relevant memory from somewhere else.

This is the only place where list-based map_inv is used.

If you run into this before this is merged and released consider using call instead.

@strub strub self-assigned this Nov 18, 2025
@strub strub merged commit af8d62f into main Nov 18, 2025
29 of 30 checks passed
@strub strub deleted the fix-ecall-memories branch November 18, 2025 15:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants