search for: nointegercheckattr

...ger picture. Yes, I want to use this and would like to see it land in clang upstream. I don't think you need the llvm patch. That allows us to mark the llvm::Functions as having the 'nointegercheck' attribute applied to them, but it looks like that's never used, only the clang::NoIntegerCheckAttr is needed. Any reason to keep the llvm attribute around? Then the trap handler looks simple enough that it could go into clang's lib/runtime. It's not clear to me what to do about the hashtable and mersenne twister; things in lib/runtime should provide a C interface but I think we can...

Hi Cameron, I agree, it would be nice to integrate this. My quick analysis of the situation, however, was that there's probably some difference of opinion about how heavyweight the trap handler should be. Ours is very heavy, in order to produce informative messages. People using traps in production code -- for example to simulate infinitely-ranged integers -- aren't going to like