Comment by mpweiher

This turns out not to be the case.

Compilers have been known to remove exactly that sort of error checking code, as there was undefined behavior present.

It's a mess.