Code that exists in a program but will never be executed is dead. If the compiler can prove this, it usually removes the dead code from the compiled program.