https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84340
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Paolo Bonzini from comment #7) > The problem is not the transformation from *ptr to x, the problem is that > x=0 is later considered dead because ASAN_CHECK references are introduced > too late. Note that we only instrument ASAN_CHECK for memory references. x=0 is not that case.