[Bug sanitizer/84340] [8 regression] g++.dg/asan/use-after-scope-types-1.C (and others) fails after r257585

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84340

--- Comment #11 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Paolo Bonzini from comment #10)
> > Note that we only instrument ASAN_CHECK for memory references. x=0 is not that 
> > case.
> 
> That depends... in use-after-scope-types-1.C there is inlining involved. 
> With my pass ordering change ASAN_CHECK is added before inlining, when there
> is still a *ptr.t dereference.  After inlining you get:
> 

Note that we're in stage4 and the pass reordering is not possible now. Thus we
should fix current regressions. Is the consensus that we can't use 'W' and 'R'
fn spec as there's memory indirection (which happens for shadow memory)?