On 12/02/2018 09:56, Richard Biener wrote: >>> I think it does, for both ASAN_CHECK and ASAN_MARK the pointer argument >>> is the second one, the first one is an integer argument with flags. >>> And ASAN_MARK, both poison and unpoison, works kind like a clobber on >>> the >>> referenced variable, before unpoison it is generally inaccessible and >>> after >>> poison too. >> Ah, indeed. > Which was an approval as well, in case you want to push this right now.
Oh cool. I was going to look at ubsan builtins too, I'll post that separately. Ok for GCC 7 too? Thanks, Paolo