https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125881
Bug ID: 125881
Summary: [17 Regression] ICE at -O2/3/s 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/8PEnP8PaT
Testcase:
#include <stdlib.h>
typedef int8_t v4i8 __attribute__((vector_size(4)));
v4i8 g30;
void *f29_a1, *f32_a0;
_Bool f32_ob10;
void *f32()
{
_Bool c9;
f32_a0 = &c9;
if (f32_ob10) abort();
g30 = __builtin_shufflevector(g30, g30, 6, 2, 1, 3);
return f32_a0;
}
void f29() { f29_a1 = f32(); }
Dump at -O2/3/s:
during GIMPLE pass: evrp
<source>: In function 'f29':
<source>:14:1: internal compiler error: in value_of_expr, at tree-vrp.cc:996
14 | void f29() { f29_a1 = f32(); }
| ^~~~
0x2673a18 diagnostics::context::diagnostic_impl(rich_location*,
diagnostics::metadata const*, diagnostics::option_id, char const*,
__va_list_tag (*) [1], diagnostics::kind)
???:0
0x266865b internal_error(char const*, ...)
???:0
0xa2f702 fancy_abort(char const*, int, char const*)
???:0
0x1577971 rvrp_folder::value_of_expr(tree_node*, gimple*)
???:0
0x141372c substitute_and_fold_engine::replace_uses_in(gimple*)
???:0
0x1413a6c substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
???:0
0x230daf7 dom_walker::walk(basic_block_def*)
???:0
0x1412bfb substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
???:0
0x1574190 execute_ranger_vrp(function*, bool)
???:0
/cefs/31/31343204a68b684aaf248fd7_gcc-trunk-20260618/bin/../libexec/gcc/x86_64-linux-gnu/17.0.0/cc1
-quiet -imultiarch x86_64-linux-gnu -iprefix
/cefs/31/31343204a68b684aaf248fd7_gcc-trunk-20260618/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 -w -fdiagnostics-color=always
-fno-verbose-asm -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
