[LLVMdev] finding integer undefined behaviors using clang

[Cameron Zwarich]

On Apr 8, 2011, at 4:07 PM, Cameron Zwarich wrote:

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

I forgot to say that this is nice work. A lot of people don't even know about undefined behavior like this, and it is hard to catch it while you are programming even if you do know about it.

Cameron