On Thu, Jul 26, 2012 at 3:41 PM, Chris Lattner <span dir="ltr"><<a href="mailto:clattner@apple.com" target="_blank" class="cremed">clattner@apple.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Jul 26, 2012, at 9:58 AM, John Regehr wrote:<br>
> <a href="http://blog.regehr.org/archives/761" target="_blank" class="cremed">http://blog.regehr.org/archives/761</a><br>
<br>
It's an interesting post, but I'd like to point out that it is a non-goal for the project to be actively hostile to users of the compiler.  :)  It is useful to have debugging tools for people who really care, but "exploiting" undefined behavior just for the sake of breaking code is a non-goal.<br>
</blockquote><div><br></div><div>Also, as a bit of a teaser, I think Richard Smith is going to be looking into providing much more extensive optional *checking* of undefined behavior. Essentially, '-fcatch-undefined-behavior' may grow some serious teeth. This should allow users to check their code fairly aggressively for UB but not needlessly punish code or those debugging code.</div>
</div></div>