https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93778
Bug ID: 93778
Summary: ICE in get_region, at analyzer/region-model.h:1732
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gfortran-10.0.1-alpha20200216 snapshot
(g:6e37e49616d429c5d922324ebd72ae95f12a079f) ICEs when compiling the following
testcase, reduced from gcc/testsuite/gfortran.dg/namelist_60.f90, w/
-fanalyzer:
program h0
type bl
integer jq
end type bl
type qn
type (bl), dimension(3) :: xi
end type qn
type (qn) ro
namelist /i2/ ro
read(10, nml = i2)
end program h0
% powerpc-e300c3-linux-gnu-gfortran-10.0.1 -fanalyzer -c vbdlscyi.f90
during IPA pass: analyzer
vbdlscyi.f90:10:0:
10 | read(10, nml = i2)
|
internal compiler error: in get_region, at analyzer/region-model.h:1732
0x74c477 ana::struct_or_union_region*
ana::region_model::get_region<ana::struct_or_union_region>(ana::region_id)
const
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/region-model.h:1732
0x74c477 ana::region_model::get_field_region(ana::region_id, tree_node*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/region-model.cc:5102
0x126e413 ana::region_model::get_lvalue(ana::path_var,
ana::region_model_context*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/region-model.cc:4774
0x126f78d ana::region_model::get_rvalue_1(ana::path_var,
ana::region_model_context*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/region-model.cc:4817
0x126f7d3 ana::region_model::get_rvalue(ana::path_var,
ana::region_model_context*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/region-model.cc:4854
0x125b91b ana::sm_state_map::purge_for_unknown_fncall(ana::exploded_graph
const&, ana::state_machine const&, gcall const*, tree_node*,
ana::region_model*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/program-state.cc:416
0x124d2d6 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*, ana::state_change*) const
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/engine.cc:1062
0x124d929 ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/engine.cc:2449
0x124ddd2 ana::exploded_graph::process_worklist()
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/engine.cc:2267
0x124f94a ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/engine.cc:3627
0x1250f11 ana::run_checkers()
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/engine.cc:3684
0x1245568 execute
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/analyzer-pass.cc:84
(While my target here is powerpc, the ICE is not target-specific.)
