https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93723
Dávid Bolvanský <david.bolvansky at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |david.bolvansky at gmail dot
com
--- Comment #1 from Dávid Bolvanský <david.bolvansky at gmail dot com> ---
make_region_for_type also crashes when building zstd
https://github.com/facebook/zstd
make CC="gcc -fanalyzer -flto" -B
during IPA pass: analyzer
legacy/zstd_v07.c: In function ‘ZBUFFv07_decompressContinue’:
legacy/zstd_v07.c:4395:39: internal compiler error: in make_region_for_type, at
analyzer/region-model.cc:5983
4395 | const char* const iend = istart + *srcSizePtr;
| ^
0x100fbb9 make_region_for_type
../../gcc/analyzer/region-model.cc:5983
0x100fbb9 ana::region_model::add_region_for_type(ana::region_id, tree_node*)
../../gcc/analyzer/region-model.cc:5993
0x1011984 ana::region_model::get_or_create_view(ana::region_id, tree_node*)
../../gcc/analyzer/region-model.cc:6568
0x1017bed ana::array_region::get_element(ana::region_model*, ana::region_id,
ana::svalue_id, ana::region_model_context*)
../../gcc/analyzer/region-model.cc:2199
0x1017da3 ana::region_model::get_or_create_mem_ref(tree_node*, ana::svalue_id,
ana::svalue_id, ana::region_model_context*)
../../gcc/analyzer/region-model.cc:6526
0x101d9fa ana::region_model::get_or_create_pointer_plus_expr(tree_node*,
ana::svalue_id, ana::svalue_id, ana::region_model_context*)
../../gcc/analyzer/region-model.cc:6546
0x101d9fa ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
../../gcc/analyzer/region-model.cc:3977
0xff855b ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*, ana::state_change*) const
../../gcc/analyzer/engine.cc:948
0xff8ffb ana::exploded_graph::process_node(ana::exploded_node*)
../../gcc/analyzer/engine.cc:2439
0xff9632 ana::exploded_graph::process_worklist()
../../gcc/analyzer/engine.cc:2259
0xffac8e ana::impl_run_checkers(ana::logger*)
../../gcc/analyzer/engine.cc:3580
0xffb91d ana::run_checkers()
../../gcc/analyzer/engine.cc:3634
0xff07d8 execute
../../gcc/analyzer/analyzer-pass.cc:84
