-
Notifications
You must be signed in to change notification settings - Fork 702
improve logic of heap_type
validation when ref.null
#4372
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
PR bytecodealliance#4300 introduced the rationale for validating heap_type. This patch moves the validation before the computation of type1 to prevent potential overflow.
Further improved the heap type check logic:
|
heap_type
validation when ref.null
PR #4300 introduced the rationale for validating heap_type.
This patch moves the validation before the computation of type1 to prevent potential overflow.