https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89503
Bug ID: 89503
Summary: Checking ICE in 'gcc.dg/warn-strlen-no-nul.c'
Product: gcc
Version: 9.0
Status: UNCONFIRMED
Keywords: ice-checking, ice-on-valid-code
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: tschwinge at gcc dot gnu.org
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Build: x86_64-pc-linux-gnu
Comparing a '--enable-checking=yes' build with a
'--enable-checking=yes,extra,df,fold,rtl' build of r269110 (but this started
earlier, but can't tell exactly when), I see:
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
100)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
101)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
103)
[...]
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
230)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
231)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
232)
PASS: gcc.dg/warn-strlen-no-nul.c (test for warnings, line 26)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
27)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
276)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
277)
[...]
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
74)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
75)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
76)
PASS: gcc.dg/warn-strlen-no-nul.c (test for warnings, line 8)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
81)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
85)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
92)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
96)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
98)
[-PASS:-]{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for warnings, line
99)
[-PASS:-]{+FAIL: gcc.dg/warn-strlen-no-nul.c (internal compiler error)+}
{+FAIL:+} gcc.dg/warn-strlen-no-nul.c (test for excess errors)
[...]/gcc/testsuite/gcc.dg/warn-strlen-no-nul.c: In function 'test_26':
[...]/gcc/testsuite/gcc.dg/warn-strlen-no-nul.c:26:1: warning: 'strlen'
argument missing terminating nul [-Wstringop-overflow=]
[...]/gcc/testsuite/gcc.dg/warn-strlen-no-nul.c:8:12: note: referenced
argument declared here
[...]/gcc/testsuite/gcc.dg/warn-strlen-no-nul.c:26:1: internal compiler
error: fold check: original tree changed by fold
0xc5ce8f fold_check_failed
[...]/gcc/fold-const.c:12106
0xc90d44 fold(tree_node*)
[...]/gcc/fold-const.c:12083
0xa4935e c_fully_fold_internal
[...]/gcc/c/c-fold.c:626
0xa4bb07 c_fully_fold(tree_node*, bool, bool*, bool)
[...]/gcc/c/c-fold.c:125
0xa123c7 convert_arguments
[...]/gcc/c/c-typeck.c:3542
0xa123c7 build_function_call_vec(unsigned int, vec<unsigned int, va_heap,
vl_ptr>, tree_node*, vec<tree_node*, va_gc, vl_embed>*, vec<tree_node*, va_gc,
vl_embed>*)
[...]/gcc/c/c-typeck.c:3084
0xa2ef11 c_parser_postfix_expression_after_primary
[...]/gcc/c/c-parser.c:9591
0xa207a1 c_parser_postfix_expression
[...]/gcc/c/c-parser.c:9270
0xa2a35f c_parser_unary_expression
[...]/gcc/c/c-parser.c:7380
0xa2b9cf c_parser_cast_expression
[...]/gcc/c/c-parser.c:7222
0xa2bc48 c_parser_binary_expression
[...]/gcc/c/c-parser.c:7025
0xa2cc15 c_parser_conditional_expression
[...]/gcc/c/c-parser.c:6759
0xa2d240 c_parser_expr_no_commas
[...]/gcc/c/c-parser.c:6676
0xa2d4a1 c_parser_expression
[...]/gcc/c/c-parser.c:9727
0xa2dbc7 c_parser_expression_conv
[...]/gcc/c/c-parser.c:9760
0xa3d17b c_parser_statement_after_labels
[...]/gcc/c/c-parser.c:5610
0xa3f27a c_parser_compound_statement_nostart
[...]/gcc/c/c-parser.c:5148
0xa3f808 c_parser_compound_statement
[...]/gcc/c/c-parser.c:4982
0xa40f12 c_parser_declaration_or_fndef
[...]/gcc/c/c-parser.c:2354
0xa47f6f c_parser_external_declaration
[...]/gcc/c/c-parser.c:1653
