Kevin Kofler (./20) :
Même si je ne comprends pas trop les raisons d'un tel choix (GCC étant gratuit, compatible entre plateformes (avec ce genre d'extensions de langage justement, et aussi avec les fonctionnalités du standard ISO C99) et optimisant plutôt bien).

Problème de qualification d'un outil.
Ca coute beaucoup de sous pour le faire, donc on ne le fait pas souvent.

Ximoon (./22) :
C'est bien beau tout ça, mais est-il certifié pour l'aéronautique, pour le militaire, ou pour quoi que ce soit ?

Ca ne m'étonnerait pas qu'une boite quelconque l'ai fait.

Ximoon (./22) :
Offre-t-il des garanties en terme d'exactitude du code généré ?

C'est pas parce que c'est qualifié que c'est sans bug

Ximoon (./22) :
Ses développeurs fournissent-ils un support client ?

Ah ! Le support client ! J'aimerais bien avoir un support client pour résoudre tous les cas tordus qui arrive dans la vie réelle et qui ne sont pas expliqués dans les doc à 2 balles !
Mais la seule qui est qualifiée n'est plus supportée par le constructeur...