[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