[cfe-dev] request for comments on patch: detecting integer undefined behaviors

Chris Lattner clattner at apple.com
Mon Sep 6 17:11:37 PDT 2010


On Sep 6, 2010, at 4:17 PM, John Regehr wrote:

> Sounds like a good plan Chris.
> 
> Peng's patch improves on -ftrapv in three ways:
> 
> - implements more checks (shift stuff, divide by zero, etc.)
> 
> - implements some non-math undefined behavior checks (some inherited from LLVM's original -fcatch-undefined-behavior, some not)
> 
> - provides good diagnostics when a check fails
> 
> We'll proceed with trying to get this integrated in a piecewise fashion...

Excellent, thanks!

-Chris



More information about the cfe-dev mailing list