Ximoon (./22) :
./20 > C'est bien beau tout ça, mais est-il certifié pour l'aéronautique, pour le militaire, ou pour quoi que ce soit ? Offre-t-il des garanties en terme d'exactitude du code généré ? Ses développeurs fournissent-ils un support client ? Être gratuit n'est pas forcément une force...

Je sais que la version professionnelle de GNAT (le frontend ADA de GCC) a des certifications comme ça (en revanche, la version que tu trouves dans le SVN de la FSF n'a aucune garantie), je ne sais pas si certaines de ces certifications comprennent aussi le frontend C.