https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86114
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-invalid-code
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2018-06-11
Known to work| |7.3.0
Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot
gnu.org
Ever confirmed|0 |1
Known to fail| |8.1.0, 9.0
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
The ICE was introduced in r256457:
r256457 | msebor | 2018-01-10 16:40:14 -0500 (Wed, 10 Jan 2018) | 21 lines
PR tree-optimization/83671 - Fix for false positive reported by
-Wstringop-overflow does not work with inlining
gcc/ChangeLog:
PR tree-optimization/83671
* builtins.c (c_strlen): Unconditionally return zero for the empty
string.
Use -Warray-bounds for warnings.
* gimple-fold.c (get_range_strlen): Handle non-constant lengths
for non-constant array indices with COMPONENT_REF, arrays of
arrays, and pointers to arrays.
(gimple_fold_builtin_strlen): Determine and set length range for
non-constant character arrays.
