[SystemSafety] Critical systems Linux

[Roderick Chapman]

On 22/11/2018 10:47, 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.

No.. that's not correct - The GNAT compiler is a full-blown

compiler, producing (internally) the GCC intermediate language

from the Ada front-end before calling up the GCC back-end

for all the common targets, such as x86, PowerPC, ARM,

SPARC and RISC-V.


AdaCore _also_ have an (unusual) alternative back-end called

"CCG" that _does_ generate C, but that's only intended

for targets where's there's a C compiler but no

traditional GCC machine description available, such as very small

microcontrollers like AVR, PIC and so on.

  - Rod