Skip to content

Validate function imports - #6315

Merged
kripken merged 2 commits into
WebAssembly:mainfrom
kripken:validate.imports
Feb 20, 2024
Merged

Validate function imports#6315
kripken merged 2 commits into
WebAssembly:mainfrom
kripken:validate.imports

Conversation

@kripken

Copy link
Copy Markdown
Member

We validate functions in parallel, but function-parallel passes do not run on imports,
so we did not issue a validation error on an import using a disallowed type, for example.

All the changes in visitFunction are just to group all the parts using body to the
end, and putting them behind a check for body.

(diff without whitespace is smaller)

Found using #6310#6312

@tlively

Copy link
Copy Markdown
Member

function-parallel passes do not run on imports

I wonder where else we are messing this up...

@kripken
kripken merged commit 4031538 into WebAssembly:mainFeb 20, 2024
@kripken
kripken deleted the validate.imports branch February 20, 2024 23:21
radekdoulik pushed a commit to dotnet/binaryen that referenced this pull request Jul 12, 2024
We validate functions in parallel, but function-parallel passes do not run on imports,
so we did not issue a validation error on an import using a disallowed type, for example.
All the changes in visitFunction are just to group all the parts using body to the
end, and putting them behind a check for body.
@gkdngkdn mentioned this pull request Aug 31, 2024
Sign up for freeto 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.

3 participants

@kripken@tlively@aheejin