Skip to content

CmmToC: emit __builtin_unreachable() after noreturn ccalls

Cheng Shao requested to merge TerrorJack/ghc:unreg-emit-unreachable into master

Emit a __builtin_unreachable() call after a foreign call marked as CmmNeverReturns. This is crucial to generate correctly typed code for wasm; as for other archs, this is also beneficial for the C compiler optimizations.

Merge request reports