diff options
author | Martin Sebor <msebor@redhat.com> | 2018-01-10 21:40:14 +0000 |
---|---|---|
committer | Martin Sebor <msebor@gcc.gnu.org> | 2018-01-10 14:40:14 -0700 |
commit | c42d0aa0893cab444366c80fdd5b23bb45de6276 (patch) | |
tree | fafafff32b2c7dda509c5af6251cf14765cc834f /gcc/ChangeLog | |
parent | e7c6abad7f0bcbf0e60d27bc8cff1087c5195f76 (diff) | |
download | gcc-c42d0aa0893cab444366c80fdd5b23bb45de6276.zip gcc-c42d0aa0893cab444366c80fdd5b23bb45de6276.tar.gz gcc-c42d0aa0893cab444366c80fdd5b23bb45de6276.tar.bz2 |
PR tree-optimization/83671 - Fix for false positive reported by -Wstringop-overflow does not work with inlining
gcc/testsuite/ChangeLog:
PR tree-optimization/83671
* gcc.dg/strlenopt-40.c: New test.
* gcc.dg/strlenopt-41.c: New test.
gcc/ChangeLog:
PR tree-optimization/83671
* builtins.c (c_strlen): Unconditionally return zero for the empty
string.
Use -Warray-bounds for warnings.
* gimple-fold.c (get_range_strlen): Handle non-constant lengths
for non-constant array indices with COMPONENT_REF, arrays of
arrays, and pointers to arrays.
(gimple_fold_builtin_strlen): Determine and set length range for
non-constant character arrays.
From-SVN: r256457
Diffstat (limited to 'gcc/ChangeLog')
-rw-r--r-- | gcc/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ba1a844..081c04a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,15 @@ +2018-01-10 Martin Sebor <msebor@redhat.com> + + PR tree-optimization/83671 + * builtins.c (c_strlen): Unconditionally return zero for the empty + string. + Use -Warray-bounds for warnings. + * gimple-fold.c (get_range_strlen): Handle non-constant lengths + for non-constant array indices with COMPONENT_REF, arrays of + arrays, and pointers to arrays. + (gimple_fold_builtin_strlen): Determine and set length range for + non-constant character arrays. + 2018-01-10 Aldy Hernandez <aldyh@redhat.com> PR middle-end/81897 |