> So how much can the compiler ever guarantee anything, really?

Well, the compiler is guaranteed that no mistakes will happen. It's the programmer who looses his guarantees in this case.