[Bug tree-optimization/49279] [4.5/4.6/4.7 Regression] Optimization incorrectly presuming constant variable inside loop in g++ 4.5 and 4.6 with -O2 and -O3 for x86_64 targets

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

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

--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-06 16:38:35 UTC ---
Author: jakub
Date: Thu Oct  6 16:38:29 2011
New Revision: 179620

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179620
Log:
    PR tree-optimization/49279
    * tree-ssa-structalias.c (find_func_aliases): Don't handle
    CAST_RESTRICT.
    * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Allow
    restrict propagation.
    * tree-ssa.c (useless_type_conversion_p): Don't return false
    if TYPE_RESTRICT differs.

    * gcc.dg/tree-ssa/restrict-4.c: XFAIL.
    * gcc.c-torture/execute/pr49279.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr49279.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-4.c
    trunk/gcc/tree-ssa-forwprop.c
    trunk/gcc/tree-ssa-structalias.c
    trunk/gcc/tree-ssa.c