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

[John Regehr]

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...

John