Displaying 2 results from an estimated 2 matches for "nointegercheck".
2011 Apr 11
0
[LLVMdev] finding integer undefined behaviors using clang
...turns out to be valuable, someone more conversant
> with LLVM will figure out how it fits into the bigger 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 abou...
2011 Apr 09
2
[LLVMdev] finding integer undefined behaviors using clang
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