https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125602
Bug ID: 125602
Summary: [17 Regression] ICE at -O2 -fsanitize=undefined during
GIMPLE pass: evrp
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: xxs_chy at outlook dot com
Target Milestone: ---
Reproducer: https://godbolt.org/z/o884jT4a9
Testcase:
#include <stdint.h>
void f7()
{
int8_t v10;
lbl_b1:
v10 = -86 - 42 + v10;
if (0 > v10) goto lbl_b1;
}
Dump:
during GIMPLE pass: evrp
<source>: In function 'f7':
<source>:8:1: internal compiler error: tree check: expected integer_cst, have
negate_expr in to_wide, at tree.h:6674
8 | }
| ^
0x2661528 diagnostics::context::diagnostic_impl(rich_location*,
diagnostics::metadata const*, diagnostics::option_id, char const*,
__va_list_tag (*) [1], diagnostics::kind)
???:0
0x265616b internal_error(char const*, ...)
???:0
0x92fadb tree_check_failed(tree_node const*, char const*, int, char const*,
...)
???:0
0xaadf70 wi::to_wide(tree_node const*)
???:0
0x13bf932 number_of_iterations_exit(loop*, edge_def*, tree_niter_desc*, bool,
bool, basic_block_def**)
???:0
0x1300f18 number_of_latch_executions(loop*)
???:0
0x13bfdfd estimate_numbers_of_iterations(loop*)
???:0
0x13c36ff scev_probably_wraps_p(tree_node*, tree_node*, tree_node*, gimple*,
loop*, bool)
???:0
0x2535f71 convert_affine_scev(loop*, tree_node*, tree_node**, tree_node**,
gimple*, bool, tree_node*)
???:0
0x1304083 scev_dfs::follow_ssa_edge_expr(gimple*, tree_node*, tree_node**, int)
???:0
0x1302a0a analyze_scalar_evolution(loop*, tree_node*)
???:0
0x1614c80 range_of_var_in_loop(vrange&, tree_node*, loop*, gimple*,
range_query*)
???:0
0xe2adeb fold_using_range::range_of_ssa_name_with_loop_info(vrange&,
tree_node*, loop*, gphi*, fur_source&)
???:0
0xe2b486 fold_using_range::range_of_phi(vrange&, gphi*, fur_source&)
???:0
0xe2f750 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&, tree_node*)
???:0
0xe1ab79 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*)
???:0
0xe1b02a gimple_ranger::register_inferred_ranges(gimple*)
???:0
0x1571228 rvrp_folder::pre_fold_bb(basic_block_def*)
???:0
0x140e808 substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
???:0
0x2383047 dom_walker::walk(basic_block_def*)
???:0
/cefs/ef/ef89a252a794dd457215da2c_gcc-trunk-20260604/bin/../libexec/gcc/x86_64-linux-gnu/17.0.0/cc1
-quiet -imultiarch x86_64-linux-gnu -iprefix
/cefs/ef/ef89a252a794dd457215da2c_gcc-trunk-20260604/bin/../lib/gcc/x86_64-linux-gnu/17.0.0/
<source> -quiet -dumpdir /app/ -dumpbase output.c -dumpbase-ext .c -masm=intel
-mtune=generic -march=x86-64 -g -O2 -fdiagnostics-color=always -fno-verbose-asm
-fsanitize=undefined -o /app/output.s
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
