diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-04-07 12:31:32 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-04-07 12:31:32 +0000 |
| commit | 12bd5a1e9f42026f7ead1bad788f9cade67f88b7 (patch) | |
| tree | 92208bc8d4ba4a670add9a969acc3e87e362914a /gcc/ChangeLog | |
| parent | a775239672d98c299f0bdde4e7465529388af8eb (diff) | |
| download | gcc-12bd5a1e9f42026f7ead1bad788f9cade67f88b7.zip gcc-12bd5a1e9f42026f7ead1bad788f9cade67f88b7.tar.gz gcc-12bd5a1e9f42026f7ead1bad788f9cade67f88b7.tar.bz2 | |
re PR tree-optimization/43270 (array-bounds false negative)
2010-04-07 Richard Guenther <rguenther@suse.de>
PR tree-optimization/43270
* tree-vrp.c (check_array_ref): Fix flexible array member
detection.
* tree-ssa-sccvn.h (fully_constant_vn_reference_p): Declare.
* tree-ssa-pre.c (phi_translate_1): Adjust.
(fully_constant_expression): Split out vn_reference handling to ...
* tree-ssa-sccvn.c (fully_constant_vn_reference_p): ... here.
Fold reads from constant strings.
(vn_reference_lookup): Handle fully constant references.
(vn_reference_lookup_pieces): Likewise.
* Makefile.in (expmed.o-warn): Add -Wno-error.
* g++.dg/warn/Warray-bounds-4.C: New testcase.
* gcc.dg/Warray-bounds-7.c: Likewise.
From-SVN: r158058
Diffstat (limited to 'gcc/ChangeLog')
| -rw-r--r-- | gcc/ChangeLog | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3121c99..ca2b7f6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,17 @@ +2010-04-07 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/43270 + * tree-vrp.c (check_array_ref): Fix flexible array member + detection. + * tree-ssa-sccvn.h (fully_constant_vn_reference_p): Declare. + * tree-ssa-pre.c (phi_translate_1): Adjust. + (fully_constant_expression): Split out vn_reference handling to ... + * tree-ssa-sccvn.c (fully_constant_vn_reference_p): ... here. + Fold reads from constant strings. + (vn_reference_lookup): Handle fully constant references. + (vn_reference_lookup_pieces): Likewise. + * Makefile.in (expmed.o-warn): Add -Wno-error. + 2010-04-07 Martin Jambor <mjambor@suse.cz> * tree-sra.c (find_param_candidates): Allow scalar va_list types. |