On Tue, Feb 13, 2018 at 12:15:36PM +0100, Paolo Bonzini wrote:
> On 13/02/2018 10:32, Martin Liška wrote:
> > Hello.
> >
> > It caused PR84340, I'm suggesting following fix:
> > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84340#c3
>
> I don't think EAF_DIRECT is the issue. You could think of ASAN_MARK as
> writing a global variable, which it can do because it's not const.
>
> The issue is that the ASAN_CHECK doesn't exist at early DSE time, and
> thus causes the store to disappear.
That doesn't make sense to me, because the testcases regressed with the change
of "fn spec" attribute on ASAN_{CHECK,MARK}.
If it was DSE removing the stores before asan pass, then it would FAIL
before as well.
Jakub
