5 ms·
As to what compiler NASA uses, their C Coding Standard [1] nominates a set of flags for GCC (page 8). http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf ht
by _sh 14y ago
As to what compiler NASA uses, their C Coding Standard [1] nominates a set of flags for GCC (page 8).
http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf
- sausagefeet 14y agoInteresting, I'm curious if they have looked into CompCert, and if so what they think of it. Maybe it doesn't target the architecture they want. There is also vellvm which seems like something a space mission would care about. Although, I've never heard of a gcc compiler bug being the cause of a NASA mission failure so perhaps gcc is Good Enough?
- sanxiyn 14y agoCompCert does support PowerPC which RAD750 implements. On the other hand, compiler bugs are probably not the weakest link.