I agree you should be able to opt-in to a safety level.  For example most programmers do expect signed integer overflows to follow 2s compliment behavior - regardless of what the standard says.<p>There really seems to be a large disconnect between the tool writers and the users of said tools.  I&#x27;ve had countless discussions with compiler writers where we&#x27;ve essentially talked passed each other.  The compiler writer arguing from a legalistic (and dare I say moral perspective) that the programmer must not write undefined code, and myself from the perspective that developers <i>do</i> write undefined code and we should therefore find a way to handle it in a safe way.  Perhaps even by standardizing more than we do currently.<p>In reflection its not unlike the drug legalization debate.