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
>>> referenced variable, before unpoison it is generally inaccessible and
>>> 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?