[LLVMdev] finding integer undefined behaviors using clang

[Cameron Zwarich]

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.

Cameron