[llvm-dev] Dynamic detection of signed integer overflow

[Pflanzer, Moritz via llvm-dev]

Thanks John, seems like a dynamic runtime instrumentation is then not a good idea. I had a look at the UBSan features in Clang and I might be able to use them instead. But it seems like that vector operations are not instrumented with overflow checks if I specify the option -fsanitize=signed-integer-overflow. Am I missing some other option or is there a special reason why vector operations are not checked?

Regards,

Moritz


> On 14 Sep 2015, at 08:25, John Regehr <regehr at cs.utah.edu> wrote:
> 
> Moritz,
> 
> While implementing the dynamic integer overflow checks that eventually lead to UBSan, we did two implementations: one based on generated IR and the other inside Clang.  The latter approach was better and is the one that stuck.
> 
> John