PR tree-optimization/91294 - [10 Regression] wrong strlen result of a conditional...
authorMartin Sebor <msebor@redhat.com>
Wed, 14 Aug 2019 16:27:59 +0000 (16:27 +0000)
committerMartin Sebor <msebor@gcc.gnu.org>
Wed, 14 Aug 2019 16:27:59 +0000 (10:27 -0600)
commit34fcf41e30ff56155e996f5e04f6ca13948a19b6
tree8a9f0642405ff0af870ba30ae6b2b919832c3b1b
parentb1c0d18515f6899bc8362d9dc861021c929127f9
PR tree-optimization/91294 - [10 Regression] wrong strlen result of a conditional with an offset

gcc/testsuite/ChangeLog:

PR tree-optimization/91294
* gcc.dg/strlenopt-44.c: Adjust tested result.
* gcc.dg/strlenopt-70.c: Avoid exercising unimplemnted optimization.
* gcc.dg/strlenopt-73.c: New test.
* gcc.dg/strlenopt-74.c: New test.
* gcc.dg/strlenopt-75.c: New test.
* gcc.dg/strlenopt-76.c: New test.
* gcc.dg/strlenopt-77.c: New test.

gcc/ChangeLog:

PR tree-optimization/91294
* tree-ssa-strlen.c (handle_store): Avoid treating lower bound of
source length as exact.

From-SVN: r274486
12 files changed:
gcc/ChangeLog
gcc/gimple-fold.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/strlenopt-44.c
gcc/testsuite/gcc.dg/strlenopt-70.c
gcc/testsuite/gcc.dg/strlenopt-73.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-74.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-75.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-76.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/strlenopt-77.c [new file with mode: 0644]
gcc/tree-ssa-strlen.c
gcc/tree-ssa-strlen.h