diff options
| author | Meador Inge <meadori@codesourcery.com> | 2013-08-30 16:36:46 +0000 |
|---|---|---|
| committer | Meador Inge <meadori@gcc.gnu.org> | 2013-08-30 16:36:46 +0000 |
| commit | 0a6ea5c9c9fb6fdc077bedeba45446c809bb6850 (patch) | |
| tree | e4bdf9b8eefe7d0700bc6cb490ad32d9a3766dae /gcc/tree-vrp.c | |
| parent | de5a5fa1395db2cb5da4d0593fef40ec22378576 (diff) | |
| download | gcc-0a6ea5c9c9fb6fdc077bedeba45446c809bb6850.zip gcc-0a6ea5c9c9fb6fdc077bedeba45446c809bb6850.tar.gz gcc-0a6ea5c9c9fb6fdc077bedeba45446c809bb6850.tar.bz2 | |
tree-vrp.c (check_array_ref): Bail out on zero-length arrays.
gcc/
2013-08-30 Meador Inge <meadori@codesourcery.com>
* tree-vrp.c (check_array_ref): Bail out on zero-length arrays.
gcc/testsuite/
2013-08-30 Meador Inge <meadori@codesourcery.com>
* gcc.dg/Warray-bounds-11.c: New testcase.
From-SVN: r202115
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index d5548ff..062e03c 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6137,9 +6137,10 @@ check_array_ref (location_t location, tree ref, bool ignore_off_by_one) low_sub = up_sub = TREE_OPERAND (ref, 1); up_bound = array_ref_up_bound (ref); - /* Can not check flexible arrays. */ + /* Can not check flexible arrays or zero-length arrays. */ if (!up_bound - || TREE_CODE (up_bound) != INTEGER_CST) + || TREE_CODE (up_bound) != INTEGER_CST + || tree_int_cst_equal (up_bound, integer_minus_one_node)) return; /* Accesses to trailing arrays via pointers may access storage |