Test kompilatora

[mariotti]

Mogłoby się wydawać, że tematyka kompilatorów zupełnie nie pasuje do
BOINC'owego forum, jednak bezbłędne działanie serwera, klienta, menadżera,
aplikacji liczącej i wszelkich programów pomocniczych, także zależy od
bezbłędnego działania kompilatora. Pracując na Linuxie, wiele razy spotkałem
się z trywialnymi błędami w kompilatorach. W związku z tym pytanie, czy
znacie jakieś narzędzia do przetestowanie kompilatora? Taki test, siłą rzeczy,
jednocześnie byłby testem sprzętu, bibliotek, a może nawet jądra systemu.

Wiem że takie testy się robi, wiem na czym one polegają, natomiast nie mam
bladego pojęcia czy są do tego celu jakieś gotowe narzędzia i skąd je pobrać.

Dla osób zupełnie niewtajemniczonych podam przykład takiego testu. Pisze się
program który generuje "losowe" procedury w C/C++. Następnie kompiluje się je
wieloma różnymi kompilatorami. Jeśli wyniki po uruchomieniu są różne, to
przynajmniej jeden z kompilatorów ma błąd (albo generator wygenerował
kod który może dać nieokreślony wynik - wtedy jest błąd w generatorze).

Pozdrawiam