diff options
author | Martin Sebor <msebor@redhat.com> | 2017-12-18 22:49:57 +0000 |
---|---|---|
committer | Martin Sebor <msebor@gcc.gnu.org> | 2017-12-18 15:49:57 -0700 |
commit | 06199618c1c047366fdafd2b0fafdace1fb44abc (patch) | |
tree | a0d1d0ffb97b3a497c587d6dd9e1ecfd092a08ec /gcc/tree-vect-loop.c | |
parent | adaefe2a50b56505b9745955da5231cd87ce9d8a (diff) | |
download | gcc-06199618c1c047366fdafd2b0fafdace1fb44abc.zip gcc-06199618c1c047366fdafd2b0fafdace1fb44abc.tar.gz gcc-06199618c1c047366fdafd2b0fafdace1fb44abc.tar.bz2 |
PR middle-end/83373 - False positive reported by -Wstringop-overflow
PR middle-end/83373 - False positive reported by -Wstringop-overflow
PR tree-optimization/78450 - strlen(s) return value can be assumed to be less than the size of s
gcc/ChangeLog:
PR middle-end/83373
PR tree-optimization/78450
* tree-ssa-strlen.c (maybe_set_strlen_range): New function.
(handle_builtin_strlen): Call it.
gcc/testsuite/ChangeLog:
PR middle-end/83373
PR tree-optimization/78450
* gcc.dg/pr83373.c: New test.
* gcc.dg/strlenopt-36.c: New test.
* gcc.dg/strlenopt-37.c: New test.
From-SVN: r255790
Diffstat (limited to 'gcc/tree-vect-loop.c')
0 files changed, 0 insertions, 0 deletions