Compilers play a key role in software development. Any high level source code
has to go through steps of compilation in order to be machine executable. Usu-
ally the application developer treats the compiler as a black box. A compiler
however is a piece of complex software. And like any complex software it can
contain bugs. The question is: Can you trust your compiler?