[cfe-dev] Feature request: C intrinsics for overflow detection

[David Chisnall]

See: http://clang.llvm.org/docs/LanguageExtensions.html#checked-arithmetic-builtins

David

On 9 May 2014, at 18:27, Andy Lutomirski <luto at amacapital.net> wrote:

> LLVM has the llvm.*.with.overflow.* intrinsics.  Can these be exposed
> to C code?  I imagine this would be straightforward, aside from the
> obligatory bikeshedding about exactly what the interface should be.
> 
> This would eliminate a lot of nasty hacks used to check for overflow,
> especially for multiplication overflow.  I currently write this stuff
> in inline x86 assembler -- ugh!  And maybe gcc would go along if clang
> paved the way :)
> 
> --Andy
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev