Kompilatory, takie jak całe oprogramowanie, byłyby również podatne na błędy, błędy logiczne.

Jak sprawdzić poprawność danych wyjściowych generowanych przez kompilator. Zazwyczaj moje pytanie brzmi (są)

Jak sprawdzić, czy wygenerowany kod maszynowy jest poprawny?

Jak upewnić się, że wygenerowany kod maszynowy jest zgodny ze specyfikacją języka.

Czy ma sens wybranie projektu open source (w C, jeśli pisze się także kompilator w C), aby skompilować go przez „kompilator”. W takim przypadku również, jak ocenia się, że kompilator zachowuje się zgodnie z oczekiwaniami.

Czy są jakieś formalne przypadki testowe (literatura) dostarczone przez komitet norm językowych, który musi spełnić kompilator „zgodny z językiem”?

Na pewno „rozdawać”, że problem w programie skompilowanym przez akompilator to błąd kompilatora, a nie błąd programu.

- Jakieś przykłady, w których kompilatory głównego nurtu są zdezorientowane i źle kompilują kod?

Doceniono by linki do dowolnej literatury.