Unconstrained goto like you see in C is scoped out of the feature set in part because it makes safety checks and JIT/compiler implementations a lot trickier. A

Unconstrained goto like you see in C is scoped out of the feature set in part because it makes safety checks and JIT/compiler implementations a lot trickier. A primary goal with wasm is to provide high security so risky stuff like that got bumped out. In this case it's about flow control in general and not just "goto", though - you can represent some uses of goto in wasm.