diff options
| author | Cheng Shao <astrohavoc@gmail.com> | 2022-09-04 14:04:51 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-19 09:07:43 -0400 |
| commit | 1e1ed8c5224a2a2d8ccf502da08a24ce71fd5ac6 (patch) | |
| tree | 9b8601a2ca4f601999ad80867f3cfa77b644c135 /docs | |
| parent | c1f81b38625a5fea7fb8160a3a62ae6be078a7b1 (diff) | |
| download | haskell-1e1ed8c5224a2a2d8ccf502da08a24ce71fd5ac6.tar.gz | |
CmmToC: emit __builtin_unreachable() after noreturn ccalls
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.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions