https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86714
--- Comment #8 from Jeffrey A. Law <law at gcc dot gnu.org> --- Author: law Date: Wed Aug 29 17:17:08 2018 New Revision: 263963 URL: https://gcc.gnu.org/viewcvs?rev=263963&root=gcc&view=rev Log: PR tree-optimization/86714 PR tree-optimization/86711 * builtins.c (c_strlen): Add arguments to call to string_constant. * expr.c (string_constant): Add argument. Detect missing nul terminator and outermost declaration it's missing in. * expr.h (string_constant): Add argument. * fold-const.c (read_from_constant_string): Add arguments to call to string_constant. (c_getstr): Likewise. * tree-ssa-forwprop.c (simplify_builtin_call): Likewise. to string_constant. * tree-ssa-strlen.c (get_stridx): Likewise. PR tree-optimization/86714 PR tree-optimization/86711 * gcc.c-torture/execute/memchr-1.c: New test. * gcc.c-torture/execute/pr86714.c: New test. * gcc.c-torture/execute/widechar-3.c: New test. * gcc.dg/strlenopt-58.c: New test. Added: trunk/gcc/testsuite/gcc.c-torture/execute/memchr-1.c trunk/gcc/testsuite/gcc.c-torture/execute/pr86714.c trunk/gcc/testsuite/gcc.c-torture/execute/widechar-3.c trunk/gcc/testsuite/gcc.dg/strlenopt-58.c Modified: trunk/gcc/ChangeLog trunk/gcc/builtins.c trunk/gcc/expr.c trunk/gcc/expr.h trunk/gcc/fold-const.c trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-forwprop.c trunk/gcc/tree-ssa-strlen.c
