[LLVMdev] finding integer undefined behaviors using clang

[John Regehr]

Thanks Nick-- this all sounds great!

> it looks like that's never used, only the clang::NoIntegerCheckAttr is 
> needed. Any reason to keep the llvm attribute around?

I doubt it, but will double check with Peng.

> Is there a repository with this code that I can hack on? Or what should I do 
> from here?

I'm not sure what's the best way to open up this patch for hacking, but am 
open to suggestions.

John