[LLVMdev] finding integer undefined behaviors using clang

Cameron Zwarich zwarich at apple.com
Fri Apr 8 16:11:39 PDT 2011

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.


More information about the llvm-dev mailing list