[Bug rtl-optimization/57425] [4.8/4.9 regression] RTL alias analysis unprepared to handle stack slot sharing

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57425

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Note that I only recently fixed a wrong alias query from using
> true_dependence to anti_dependence.  Similar issues may exist elsewhere.

That would point to cselib_invalidate_mem then.  It uses canon_true_dependence
but here we have an anti-dependence (WAR).