I think it was a joke about compilers removing code by reasoning about undefined behavior.