[llvm-dev] Dynamic detection of signed integer overflow

[John Regehr 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?

I might be misunderstanding you, and I haven't looked at this code lately, 
but the goal of UBSan is to check C's rules for integer UBs.  Since C does 
not have vectors, I'm not sure exactly what you are expecting here.  Could 
you give a bit more detail?

John