[Bug tree-optimization/52406] [4.7 Regression] likely wrong code bug

[rguenth at gcc dot gnu.org]

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

--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-04-03 14:30:38 UTC ---
Author: rguenth
Date: Tue Apr  3 14:30:32 2012
New Revision: 186108

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186108
Log:
2012-04-03  Richard Guenther  <rguenther@suse.de>

    Backport from mainline
    2012-03-02  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/52406
    * tree-data-ref.h: Update documentation about DR_BASE_OBJECT.
    (struct indices): Add unconstrained_base member.
    (struct dr_alias): Remove unused vops member.
    (DR_UNCONSTRAINED_BASE): New define.
    * tree-data-ref.c (dr_analyze_indices): For COMPONENT_REFs
    add indices to allow their disambiguation.  Make DR_BASE_OBJECT
    be an artificial access that covers the whole indexed object,
    or mark it with DR_UNCONSTRAINED_BASE if we cannot do so.  Canonicalize
    plain decl base-objects to their MEM_REF variant.
    (dr_may_alias_p): When the base-object of either data reference
    has unknown size use only points-to information.
    (compute_affine_dependence): Make dumps easier to read and
    more verbose.
    * tree-vect-data-ref.c (vector_alignment_reachable_p): Use
    DR_REF when looking for packed references.
    (vect_supportable_dr_alignment): Likewise.

    * gcc.dg/torture/pr52406.c: New testcase.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr52406.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-data-ref.c
    branches/gcc-4_7-branch/gcc/tree-data-ref.h
    branches/gcc-4_7-branch/gcc/tree-vect-data-refs.c