> So there's something somewhere that generates C code using full spectrum of C > semantics? What does it generate the code from? Is the generated code really > unrestricted in any way?
Not full spectrum. Just a tiny subset to solve the problems we have. The code has some restrictions to avoid underflows, overflows, out-of-bounds, conflicting types.
