red floyd wrote:

> Because the program is ill-formed. A good compiler should issue a
> diagnostic.

It's not ill-formed. It's just undefined behavior.
The compiler is not required to figure out if the code
flows off the end at compile time.