Keep in mind that the compiler doesn&#x27;t always know whether code is undefined or not. Is x+y at risk of overflow? Maybe, depending on some logic in a separate compilation unit.<p>So what your asking is to define behavior for all code, such that the compiler can prove locally that&#x27;s it&#x27;s well-defined. That&#x27;s not a crazy idea, and a lot of languages do that.<p>But C counts itself as special, for better or worse.<p>I think we really just need more alternatives. There&#x27;s C++, Rust, Ada, and not much else. I am very hopeful about rust.