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

[John Regehr]

Attached is a very small Clang patch that augments -ftrapv to check for 
divide by zero, mod by zero, and INT_MIN % -1.  The behavior on failure is 
inherited from trapv.

Thanks,

John
-------------- next part --------------
A non-text attachment was scrubbed...
Name: clang-divrem-113592.patch
Type: text/x-diff
Size: 4738 bytes
Desc: 
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20100910/877f1b93/attachment.patch>