https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126242
Bug ID: 126242
Summary: [17 Regression] ICE in lower_bound, at
value-range.h:1229 since r17-2324
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: mjires at gcc dot gnu.org
CC: roger at nextmovesoftware dot com
Target Milestone: ---
Compiling reduced testcase gfortran.dg/pr41928.f90 results in ICE since
r17-2324-g081959973e38fd.
$ cat pr41928.f90
DO bx=2,lb
END DO
END
$ gfortran pr41928.f90 -Ofast
pr41928.f90:1:4:
1 | DO bx=2,lb
| 1~
Warning: Deleted feature: Loop variable at (1) must be integer
during GIMPLE pass: ccp
pr41928.f90:3:3:
3 | END
| ^
internal compiler error: in lower_bound, at value-range.h:1229
0x2808441 internal_error(char const*, ...)
/home/mjires/git/GCC/master/gcc/diagnostic-global-context.cc:787
0x28141e3 fancy_abort(char const*, int, char const*)
/home/mjires/git/GCC/master/gcc/diagnostics/context.cc:1813
0x188e829 irange::lower_bound(unsigned int) const
/home/mjires/git/GCC/master/gcc/value-range.h:1229
0x188e829 gimple_simplify_300(gimple_match_op*, gimple**, tree_node*
(*)(tree_node*), tree_node*, tree_node**, tree_code, tree_code)
/home/mjires/build/master/gcc/gimple-match-5.cc:5406
0x187bb17 gimple_simplify_LT_EXPR(gimple_match_op*, gimple**, tree_node*
(*)(tree_node*), code_helper, tree_node*, tree_node*, tree_node*)
/home/mjires/build/master/gcc/gimple-match-4.cc:18278
0x1889977 gimple_simplify(gimple_match_op*, gimple**, tree_node*
(*)(tree_node*), code_helper, tree_node*, tree_node*, tree_node*)
/home/mjires/build/master/gcc/gimple-match-4.cc:26952
0x1b37578 gimple_resimplify2
/home/mjires/git/GCC/master/gcc/gimple-match-exports.cc:1029
0x1b3767d gimple_match_op::resimplify(gimple**, tree_node* (*)(tree_node*))
/home/mjires/git/GCC/master/gcc/gimple-match-exports.cc:113
0x1b37c3c gimple_simplify(gimple*, gimple_match_op*, gimple**, tree_node*
(*)(tree_node*), tree_node* (*)(tree_node*))
/home/mjires/git/GCC/master/gcc/gimple-match-exports.cc:896
0xcac372 gimple_fold_stmt_to_constant_1(gimple*, tree_node* (*)(tree_node*),
tree_node* (*)(tree_node*))
/home/mjires/git/GCC/master/gcc/gimple-fold.cc:9593
0x1268cb5 ccp_fold
/home/mjires/git/GCC/master/gcc/tree-ssa-ccp.cc:1304
0x1268cb5 evaluate_stmt
/home/mjires/git/GCC/master/gcc/tree-ssa-ccp.cc:2266
0x126b15f visit_cond_stmt
/home/mjires/git/GCC/master/gcc/tree-ssa-ccp.cc:2959
0x126b15f ccp_propagate::visit_stmt(gimple*, edge_def**, tree_node**)
/home/mjires/git/GCC/master/gcc/tree-ssa-ccp.cc:3017
0x134b6fb ssa_propagation_engine::simulate_stmt(gimple*)
/home/mjires/git/GCC/master/gcc/tree-ssa-propagate.cc:220
0x134ba3c ssa_propagation_engine::simulate_block(basic_block_def*)
/home/mjires/git/GCC/master/gcc/tree-ssa-propagate.cc:327
0x134bf1a ssa_propagation_engine::ssa_propagate()
/home/mjires/git/GCC/master/gcc/tree-ssa-propagate.cc:477
0x125fda1 do_ssa_ccp
/home/mjires/git/GCC/master/gcc/tree-ssa-ccp.cc:3049
0x125fda1 execute
/home/mjires/git/GCC/master/gcc/tree-ssa-ccp.cc:3095
/home/mjires/built/master/libexec/gcc/x86_64-pc-linux-gnu/17.0.0/f951
pr41928.f90 -quiet -dumpdir a- -dumpbase pr41928.f90 -dumpbase-ext .f90
-mtune=generic -march=x86-64 -Ofast -fintrinsic-modules-path
/home/mjires/built/master/lib/gcc/x86_64-pc-linux-gnu/17.0.0/finclude
-fpre-include=/usr/include/finclude/math-vector-fortran.h -o /tmp/ccwaqTB8.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.
$ gfortran -v
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/home/mjires/built/master/libexec/gcc/x86_64-pc-linux-gnu/17.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/mjires/git/GCC/master/configure
--prefix=/home/mjires/built/master --disable-bootstrap
--enable-languages=c,c++,fortran,lto --disable-multilib --disable-libsanitizer
--enable-checking : (reconfigured) /home/mjires/git/GCC/master/configure
--prefix=/home/mjires/built/master --disable-bootstrap --disable-multilib
--disable-libsanitizer --enable-checking --enable-languages=c,c++,fortran,lto
--no-create --no-recursion
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 17.0.0 20260713 (experimental) (GCC)
