And you might want to access a memory location legitimately that was not written by this program, for instance a chunk of dual-port memory, a shared memory block, a piece of memory mapped hardware and so on.
In those cases some compiler override could provide the solution, while still allowing the compiler to flag all the other cases as errors.
