He's emitting C as an intermediate form. I'm asking if the C that's emitted is meeting MISRA or any other recognized standard for secure and robust C code.
you can't have a compiler automatically generate misra C. Because misra is a set of programmer discipline guidelines. How would you automatically convert a program that does dynamic allocation into one that preallocates all memory up front in the init phase?
One rule is "no malloc after initialization". so no, you probably aren't. Nor should you be. misra is intended for the programmerc not the compiler