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

Is it possible for the CFG mismatch problem to affect try-unwind? #132

Closed
tlively opened this issue Oct 2, 2020 · 1 comment
Closed

Is it possible for the CFG mismatch problem to affect try-unwind? #132

tlively opened this issue Oct 2, 2020 · 1 comment

Comments

@tlively
Copy link
Member

tlively commented Oct 2, 2020

One thing that stood out to me in @ioannad's great write up is that catch_br is not allowed to redirect to a try-unwind. I was wondering whether it might be possible for the CFG mismatch problem to affect two different unwind blocks. Unless we can prove that the CFG problem cannot affect unwind blocks, it seems like it would be a good idea to allow catch_br to target them.
@tlively
Copy link
Member Author

tlively commented Oct 2, 2020

Ah, it looks like we already have consensus that catch_br should be able to target unwind. Sorry for the noise!

@tlively tlively closed this as completed Oct 2, 2020
ioannad pushed a commit to ioannad/exception-handling that referenced this issue Feb 23, 2021
@rossberg
Merge upstream bulk instructions proposal (WebAssembly#132)
1f4297e
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tlively