No dynamic memory allocation, no recursion, no longjmp, etc. Program execution must be entirely predictable, every time.

SpaceX's programming rules are probably very similar to those used at NASA JPL: http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf