Skip to content
This repository was archived by the owner on Apr 25, 2025. It is now read-only.

Rethrow/br_on_exn traps when given nullref #97

Merged
merged 2 commits into from
Jan 10, 2020

Conversation

aheejin
Copy link
Member

@aheejin aheejin commented Jan 8, 2020

Following the discussions in #90, it seems desirable and less
error-prone to make rethrow and br_on_exn trap in case the value on
top of the stack is of nullref type.

Closes #90.

Following the discussions in WebAssembly#90, it seems desirable and less
error-prone to make `rethrow` and `br_on_exn` trap in case the value on
top of the stack is of `nullref` type.
Copy link
Member

@rossberg rossberg left a comment

Choose a reason for hiding this comment

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

LGTM modulo nits.

Copy link
Contributor

@lars-t-hansen lars-t-hansen left a comment

Choose a reason for hiding this comment

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

What Andreas said.

Co-Authored-By: Andreas Rossberg <[email protected]>
@aheejin aheejin merged commit 451063d into WebAssembly:master Jan 10, 2020
@aheejin aheejin deleted the nullref_trap branch January 10, 2020 08:46
pull bot pushed a commit to p-g-krish/v8 that referenced this pull request Mar 23, 2020
The behaviour was clarified in the spec:
WebAssembly/exception-handling#97

br_on_exn (which was done in another CL) and also rethrow should trap on
nullptr. This CL implements this by an explicit check in the builtin
called for rethrow.

[email protected]
[email protected]

Bug: v8:10128
Change-Id: Icb0f4e54991b3385917bf183efa825048db4cb82
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2115430
Commit-Queue: Clemens Backes <[email protected]>
Reviewed-by: Jakob Kummerow <[email protected]>
Cr-Commit-Position: refs/heads/master@{#66827}
ioannad pushed a commit to ioannad/exception-handling that referenced this pull request Jun 6, 2020
Following the discussions in WebAssembly#90, it seems desirable and less
error-prone to make `rethrow` and `br_on_exn` trap in case the value on
top of the stack is of `nullref` type.

Closes WebAssembly#90.
ioannad pushed a commit to ioannad/exception-handling that referenced this pull request Feb 23, 2021
Following the discussions in WebAssembly#90, it seems desirable and less
error-prone to make `rethrow` and `br_on_exn` trap in case the value on
top of the stack is of `nullref` type.

Closes WebAssembly#90.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Is exnref nullable?
5 participants