W dniu niedziela, 19 lutego 2012, 22:26:10 UTC+1 użytkownik M.M. napisał:
> Nigdy by mi do glowy nie przyszlo ze w kompilatorach moga byc bledy.

Równie dobrze można wierzyć w UFO lub Yeti - taki sam software jak inny.

Polecam http://blog.regehr.org/, ten naukowiec m.in. testuje kompilatory
programami losowymi (poprawnymi składniowo), w ciągu 2 lat jego zespół
wykrył kilkaset błędów w gcc i llvm. Chociaż taki gcc jest pewnie odpalany
miliony razy w ciągu miesiąca.

Istnieje taki projekt compcert - kompilator podzbioru C formalnie
weryfikujący przekład po optymalizacji, tzn. dowodzi, że optymalizacje,
które zastosował nie zmieniły semantyki. AFAIR znaleziono już w nim
kilkanaście błędów, ale to młody projekt.

w.