HomePhabricator

[WebAssembly] Error out when block/loop markers mismatch

Description

[WebAssembly] Error out when block/loop markers mismatch

Summary:
Currently InstPrinter ignores if there are mismatches between block/loop
and end markers by skipping the case if ControlFlowStack is empty. I
guess it is better to explicitly error out in this case, because this
signals invalid input.

Reviewers: aardappel

Subscribers: dschuff, sbc100, jgravelle-google, sunfish, llvm-commits

Differential Revision: https://reviews.llvm.org/D53620

Details

Event Timeline

Sorry, I forgot to merge commits for D53620 before committing them, so this does not contain all contents of D53620.
D53620 was accidentally committed through 4 commits: rL345333, rL345334, rL345335, and rL345336.