[Bug tree-optimization/32589] [4.3 regression] exp_dbug.adb:981: error: invalid array index

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

------- Comment #10 from ebotcazou at gcc dot gnu dot org  2007-07-11 09:43 -------
Subject: Bug 32589

Author: ebotcazou
Date: Wed Jul 11 09:43:25 2007
New Revision: 126545

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126545
Log:
        PR tree-optimization/32589
        * doc/tree-ssa.texi (Rough GIMPLE Grammar): Add missing rule.
        * tree-gimple.c (is_gimple_min_invariant): Clarify head comment.
        * tree-ssa-propagate.c (valid_gimple_expression_p): New
        predicate, extracted from...
        (set_rhs): ...here.  Call it for the expression on entry.
        * tree-ssa-propagate.h (valid_gimple_expression_p): Declare.
        * tree-ssa-sccvn.c: Include tree-ssa-propagate.h.
        (simplify_binary_expression): Use valid_gimple_expression_p
        to validate the simplification.
        * Makefile.in (tree-ssa-sccvn.o): Depends on tree-ssa-propagate.h.


Added:
    trunk/gcc/testsuite/gnat.dg/invariant_index.adb
    trunk/gcc/testsuite/gnat.dg/invariant_index.ads
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/doc/tree-ssa.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-gimple.c
    trunk/gcc/tree-ssa-propagate.c
    trunk/gcc/tree-ssa-propagate.h
    trunk/gcc/tree-ssa-sccvn.c


-- 


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

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.