GCC's build process does this. GCC is built 3 separate times, starting with the host compiler, then with the compiler from the previous step. If the output of stage 2 and 3 do not match the build fails.