[SystemSafety] Critical systems Linux

[Ben Brosgol]

On 11/22/2018 5:47 AM, Olwen Morgan wrote:
> Incidentally, you're in the same boat with other languages whose 
> compilers are implemented by translating their source code to C. AFAI 
> recall, the Ada compiler in the GNAT tool set falls into this category.
> 

Actually the GNAT Ada compiler does not generate C source code, it 
comprises an Ada front end and the gcc code generator for the relevant 
target processor.

AdaCore does have a product, the GNAT Common Code Generator (CCG), which 
compiles a SPARK-like subset of Ada into C source code, but that's a 
separate tool.