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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
At least improved (but maybe not fixed) by

2010-02-16  Richard Guenther  <rguent...@suse.de>

        * alias.c (memrefs_conflict_p): Distinguish must-alias from don't know.
        (true_dependence): If memrefs_conflict_p computes must-alias
        trust it.  Move TBAA check after offset-based disambiguation.
        (canon_true_dependence): Likewise.

Reply via email to