--- Comment #11 from Martin Liška <marxin at gcc dot> ---
(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)?

Reply via email to