Skip to content

Change encoding of Exnref to -0x12 #1276

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

Closed
wants to merge 1 commit into from
Closed

Change encoding of Exnref to -0x12 #1276

wants to merge 1 commit into from

Conversation

sbc100
Copy link
Member

@sbc100 sbc100 commented Dec 26, 2019

The spec for this was specified as -18 in decimal which is -0x12 in hex.

Fixes: WebAssembly/exception-handling#92

The spec for this was specified as -18 in decimal which is -0x12 in hex.

Fixes: WebAssembly/exception-handling#92
@sbc100 sbc100 requested a review from aheejin December 26, 2019 15:48
@Horcrux7
Copy link

This sounds wrong for me.
The value -0x12 or decimal -18 or 0x6E is the value of nullref
https://webassembly.github.io/reference-types/core/appendix/index-types.html

The value of exnref is -0x18 or decimal -24 or 0x68
https://github.com/WebAssembly/exception-handling/blob/master/proposals/Exceptions.md

@aheejin
Copy link
Member

aheejin commented Dec 26, 2019

No the current wabt implementation is correct. The correct value is hexadecimal -0x18.

@sbc100 sbc100 closed this Jan 8, 2020
@sbc100 sbc100 deleted the update_exnref branch January 8, 2020 23:07
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.

Update constant value for exnref type
3 participants