[LLVMdev] finding integer undefined behaviors using clang

Cameron Zwarich zwarich at apple.com
Fri Apr 8 16:07:37 PDT 2011

On Apr 8, 2011, at 8:27 AM, John Regehr wrote:

> Patch and documentation can be found here:
>   http://embed.cs.utah.edu/ubc/

It seems that this could be merged into -fcatch-undefined-behavior while separating mechanism from policy:

1) Adding checks for more undefined behavior.

2) Allowing different choices of trap mechanism when undefined behavior is encountered.


More information about the llvm-dev mailing list