https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96705
Bug ID: 96705
Summary: [11 Regression] ICE: in wide_int_to_tree_1, at
tree.c:1612 with -fanalyzer
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Created attachment 49081
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49081&action=edit
reduced testcase
Compiler output:
$ x86_64-pc-linux-gnu-gcc -fanalyzer testcase.c
during IPA pass: analyzer
testcase.c: In function 'foo':
testcase.c:8:5: internal compiler error: in wide_int_to_tree_1, at tree.c:1612
8 | v *= i;
| ^~
0x7b2ac7 wide_int_to_tree_1
/repo/gcc-trunk/gcc/tree.c:1612
0x136d38c wide_int_to_tree(tree_node*, poly_int<1u,
generic_wide_int<wide_int_ref_storage<false, true> > > const&)
/repo/gcc-trunk/gcc/tree.c:1724
0x136d38c build_int_cst(tree_node*, poly_int<1u, long>)
/repo/gcc-trunk/gcc/tree.c:1364
0x1451ff1 ana::region_model_manager::maybe_fold_binop(tree_node*, tree_code,
ana::svalue const*, ana::svalue const*)
/repo/gcc-trunk/gcc/analyzer/region-model-manager.cc:444
0x1450cd6 ana::region_model_manager::get_or_create_binop(tree_node*, tree_code,
ana::svalue const*, ana::svalue const*)
/repo/gcc-trunk/gcc/analyzer/region-model-manager.cc:525
0x143f637 ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
/repo/gcc-trunk/gcc/analyzer/region-model.cc:563
0x1422f70 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*) const
/repo/gcc-trunk/gcc/analyzer/engine.cc:1029
0x14240af ana::exploded_graph::process_node(ana::exploded_node*)
/repo/gcc-trunk/gcc/analyzer/engine.cc:2526
0x14249a2 ana::exploded_graph::process_worklist()
/repo/gcc-trunk/gcc/analyzer/engine.cc:2341
0x1426a19 ana::impl_run_checkers(ana::logger*)
/repo/gcc-trunk/gcc/analyzer/engine.cc:4107
0x14283ac ana::run_checkers()
/repo/gcc-trunk/gcc/analyzer/engine.cc:4175
0x141c4e8 execute
/repo/gcc-trunk/gcc/analyzer/analyzer-pass.cc:84
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.
