Comment by ChrisGreenHeur

they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)