https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87490
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-10-02
CC| |msebor at gcc dot gnu.org
Assignee|law at redhat dot com |msebor at gcc dot
gnu.org
Ever confirmed|0 |1
--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
Confirmed with the following simple test case:
$ cat c.c && gcc -O1 -S -Wall c.c
void f (int i)
{
int n = (i & 3) | 1;
if (__builtin_strnlen ("", n) != 0)
__builtin_abort ();
}
c.c: In function ‘f’:
c.c:5:7: warning: ‘__builtin_strnlen’ specified bound [1, 3] exceeds the size 0
of unterminated array [-Wstringop-overflow=]
5 | if (__builtin_strnlen ("", n) != 0)
| ^~~~~~~~~~~~~~~~~~~~~~~~~
during RTL pass: expand
c.c:5:7: internal compiler error: Segmentation fault
0x1137fd7 crash_signal
/ssd/src/gcc/svn/gcc/toplev.c:325
0x7e9a6f contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
/ssd/src/gcc/svn/gcc/tree.h:3228
0x9a1d0c expand_builtin_strnlen
/ssd/src/gcc/svn/gcc/builtins.c:3164
0x9b0ea4 expand_builtin(tree_node*, rtx_def*, rtx_def*, machine_mode, int)
/ssd/src/gcc/svn/gcc/builtins.c:7503
0xbd6116 expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
/ssd/src/gcc/svn/gcc/expr.c:10943
0xbc8587 expand_expr_real(tree_node*, rtx_def*, machine_mode, expand_modifier,
rtx_def**, bool)
/ssd/src/gcc/svn/gcc/expr.c:8210
0xbbd2a8 store_expr(tree_node*, rtx_def*, int, bool, bool)
/ssd/src/gcc/svn/gcc/expr.c:5639
0xbbb72a expand_assignment(tree_node*, tree_node*, bool)
/ssd/src/gcc/svn/gcc/expr.c:5420
0x9f7bfd expand_call_stmt
/ssd/src/gcc/svn/gcc/cfgexpand.c:2706
0x9fad32 expand_gimple_stmt_1
/ssd/src/gcc/svn/gcc/cfgexpand.c:3596
0x9fb3ed expand_gimple_stmt
/ssd/src/gcc/svn/gcc/cfgexpand.c:3755
0xa03bac expand_gimple_basic_block
/ssd/src/gcc/svn/gcc/cfgexpand.c:5791
0xa057ae execute
/ssd/src/gcc/svn/gcc/cfgexpand.c:6396
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
