Walter Bright:
As for the remaining handwritten part, it follows the JPL
strict C coding
standard, which is an extension of MISRA C, with so many
restrictions that
it kind of turns C into a Pascal like language.
I read that document, and it isn't that strict. In fact, I
thought a lot of it was just common sense, like not having a
#if in one file and the matching #endif in another.
In MISRA C you can't use unbounded loops (unless they are
infinite loops like the global loop in the main), any kind of
recursion, you can't allocate heap memory, there are some
restrictions in pointer and union usage, the compiler must be
able to statically know what is the function you are calling
through its pointer, you can't use goto, setjmp, and so on and
on. It's that strict.
Bye,
bearophile
