[Bug middle-end/80222] may_alias folded away

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed May 10 07:53:45 2017
New Revision: 247827

URL: https://gcc.gnu.org/viewcvs?rev=247827&root=gcc&view=rev
Log:
2017-05-10  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2017-03-21  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/80122
        * tree-inline.c (copy_bb): Do not expans va-arg packs or
        va_arg_pack_len when the inlined call stmt requires pack
        expansion itself.
        * tree-inline.h (struct copy_body_data): Make call_stmt a gcall *.

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

        2017-03-28  Richard Biener  <rguenther@suse.de>

        PR middle-end/80222
        * gimple-fold.c (gimple_fold_indirect_ref): Do not touch
        TYPE_REF_CAN_ALIAS_ALL references.
        * fold-const.c (fold_indirect_ref_1): Likewise.

        * g++.dg/pr80222.C: New testcase.

        2017-04-06  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/80334
        * tree-ssa-loop-ivopts.c (rewrite_use_address): Properly
        preserve alignment of accesses.

        * g++.dg/torture/pr80334.C: New testcase.

        2017-04-27  Richard Biener  <rguenther@suse.de>

        PR middle-end/80539
        * tree-chrec.c (chrec_fold_plus_poly_poly): Deal with not
        being in loop-closed SSA form conservatively.
        (chrec_fold_multiply_poly_poly): Likewise.

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

Added:
    branches/gcc-5-branch/gcc/testsuite/g++.dg/pr80222.C
    branches/gcc-5-branch/gcc/testsuite/g++.dg/torture/pr80334.C
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr80122.c
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr80539.c
Modified:
    branches/gcc-5-branch/gcc/ChangeLog
    branches/gcc-5-branch/gcc/fold-const.c
    branches/gcc-5-branch/gcc/gimple-fold.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog
    branches/gcc-5-branch/gcc/tree-chrec.c
    branches/gcc-5-branch/gcc/tree-inline.c
    branches/gcc-5-branch/gcc/tree-inline.h
    branches/gcc-5-branch/gcc/tree-ssa-loop-ivopts.c