> When you have a higher level language with more accurately defined semantics, running it all through C would risk introducing undefined behaviour. No, it wou

> When you have a higher level language with more accurately defined semantics, running it all through C would risk introducing undefined behaviour. No, it wouldn't. When you target C you need to write a proper backend for its abstract machine, rather than naively rewriting code, of course. The C abstract machine is a fine IR, specially the later editions of the standard.