PR tree-optimization/86204 - wrong strlen result after prior strnlen
commit819a85a88230d78bfce41cd6a327a5f974cc686d
authormsebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 25 Jun 2018 20:46:45 +0000 (25 20:46 +0000)
committermsebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 25 Jun 2018 20:46:45 +0000 (25 20:46 +0000)
tree5b89ff8ce0de4a470d9653841c70fa1d0d32d042
parent38baf565d486f13d986ddf720ad988b10280ff7d
PR tree-optimization/86204 -  wrong strlen result after prior strnlen

gcc/ChangeLog:

PR tree-optimization/86204
* tree-ssa-strlen.c (handle_builtin_strlen): Avoid storing
a strnlen result if it's less than the length of the string.

gcc/testsuite/ChangeLog:

PR tree-optimization/86204
* gcc.dg/strlenopt-46.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@262114 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/strlenopt-46.c [new file with mode: 0644]
gcc/tree-ssa-strlen.c