Skip to content

Conversation

tlively
Copy link
Member

@tlively tlively commented Jun 18, 2024

Fix the wast parser to accept IDs on quoted modules, remove tests that are
invalidated by the multimemory proposal, and add validation that the total
number of variables in a function is less than 2^32 and that the code section is
present if there is a non-empty function section.

@tlively tlively requested a review from kripken June 18, 2024 02:20
@tlively
Copy link
Member Author

tlively commented Jun 18, 2024

PTAL at the latest commit, which imposes a much smaller limit on the number of locals to avoid allocation failure on CI.

@tlively tlively force-pushed the parser-unreachable-fallback-fix branch from 1d5e9aa to cebdb16 Compare June 18, 2024 19:56
// the stack to become prior children of future expressions or to be
// implicitly dropped at the end of the scope.
*children[i].childp = builder.builder.makeUnreachable();
continue;
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(is this from the other PR?)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

pushed this branch so it should be updated again. That's a downside of this more manual workflow; graphite would push all the downstream branches for me automatically.

@tlively tlively force-pushed the malformed-binary-fixes branch from 089de6e to 11f2969 Compare June 18, 2024 20:15
@tlively
Copy link
Member Author

tlively commented Jun 18, 2024

Now I've fixed a bunch of memory leaks by using unique_ptr instead of raw allocations.

Base automatically changed from parser-unreachable-fallback-fix to main June 19, 2024 00:14
tlively added 3 commits June 18, 2024 17:18
Fix the wast parser to accept IDs on quoted modules, remove tests that are invalidated by the multimemory proposal, and add validation that the total number of variables in a function is less than 2^32 and that the code section is present if there is a non-empty function section.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants