| "Optimizing compilers are so difficult to get right that we dare say that no optimizing compiler is completely error-free! Thus, the most important objective in writing a compiler is that it is correct." -- The Dragon Book. |
|
C/C++ Compiler test suites: Solid Sands SuperTest compiler test and validation suite. Perennial's Validation Suites. Plum-Hall's C and C++ Validation Test Suites. Something different: The CompCert C compiler - A formally verified compiler. |