> If the gimple IR were a strict subset of GNU C, then by all means > let's re-use the C FE. However, gimple encodes things that are > necessary for other languages but are not C. C++ gimple dumps have > try-finally. Fortran dumps use explicit parentheses "((x))". Surely, > Ada adds its own quirks to gimple.
No, it doesn't, only to GENERIC, i.e. everything is lowered in GIMPLE and as far as I know there are no Ada-specific constructs in GIMPLE, so you can take Ada completely out of the picture here. -- Eric Botcazou