[Bug tree-optimization/86572] unsafe strlen folding of const arguments with non-const offset

[edlinger at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86572

--- Comment #3 from Bernd Edlinger <edlinger at gcc dot gnu.org> ---
Author: edlinger
Date: Sun Nov  4 19:51:09 2018
New Revision: 265778

URL: https://gcc.gnu.org/viewcvs?rev=265778&root=gcc&view=rev
Log:
gcc:
2018-11-04  Bernd Edlinger  <bernd.edlin...@hotmail.de>

        PR tree-optimization/86572
        * builtins.c (c_strlen): Handle negative offsets in a safe way.

testsuite:
2018-11-04  Bernd Edlinger  <bernd.edlin...@hotmail.de>

        PR tree-optimization/86572
        * gcc.dg/pr86572.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr86572.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.c
    trunk/gcc/testsuite/ChangeLog