Comment by ChrisGreenHeur
16 days ago
they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)
16 days ago
they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)
Ok, but we treat them as bugs that we can reproduce and assume that they are solvable? We don't just assume that it's intrinsic to the compiler that it must have bugs, and that they will occur in random, non-deterministic ways?