[LLVMdev] finding integer undefined behaviors using clang

John Regehr regehr at cs.utah.edu
Tue Apr 12 12:45:34 PDT 2011

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.


More information about the llvm-dev mailing list