Barrapunto

Normalmente para las piezas criticias, se usan compiladores cuya generación de código es conocizada. Asi, mucho tiempo se ha usado el gcc 2.7.x en el kernel, aunque hubiese otros más desarrollados. Lo mismo ha pasado con el egcs 1.1.x

El problema es que no sólo tiene que pasar los test que prueban el compilador en multitud de plataforma, sino cuando salga "al mundo real", probar que genera código correcto y que se comporta exactamente igual que la version que se use en el desarrollo.