[Bug middle-end/32135] [4.3 Regression] bogus array-ref fold triggering array overflow warning

[hubicka at gcc dot gnu dot org]

------- Comment #5 from hubicka at gcc dot gnu dot org  2008-01-13 11:18 -------
Subject: Bug 32135

Author: hubicka
Date: Sun Jan 13 11:18:08 2008
New Revision: 131502

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131502
Log:
        PR middle-end/32135
        * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct
        references above array bounds.  This might trigger bounds checks for
        pointers to arrays.

Added:
    trunk/gcc/testsuite/gcc.dg/pr32135.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ccp.c


-- 


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