Los compiladores como todo software, también serían propensos a errores, errores lógicos.

¿Cómo se valida uno el resultado generado por el compilador? Típicamente, mi pregunta es (son)

¿Cómo validar que el código de máquina generado es correcto?

Cómo asegurarse de que el código de máquina generado esté de acuerdo con la especificación del idioma.

¿Tiene sentido simplemente elegir un proyecto de código abierto (en C si uno también está escribiendo un compilador en C) para simplemente compilarlo a través del "compilador"? También en ese caso, ¿cómo juzgar que el compilador se comporta como se espera?

¿Hay algún caso de prueba formal (literatura) proporcionado por el comité de estándares de idioma que un compilador que "cumpla con el idioma" tiene que satisfacer?

¿Cuáles son los "indicios" seguros de que el problema en un programa compilado por uncompilador es un error de compilación y no un error de programa.

- ¿Algún ejemplo en el que los compiladores convencionales se confundan y compilen el código de forma incorrecta?

Se agradecerán los enlaces a cualquier literatura.