So use a language with proper semantics, like later C versions. Why would you ever expect the compiler to honor a contract that was never written?