https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84340
--- Comment #7 from Paolo Bonzini <bonzini at gnu dot org> --- 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.
