https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93774
Bug ID: 93774
Summary: ICE in lhd_incomplete_type_error
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: ---
Is it OK now to report analyzer ICEs when testing it w/ languages other than C?
gfortran-10.0.1-alpha20200216 snapshot
(g:6e37e49616d429c5d922324ebd72ae95f12a079f) ICEs when compiling
gcc/testsuite/gfortran.dg/deferred_character_25.f90 w/ -O1 -fanalyzer:
% powerpc-e300c3-linux-gnu-gfortran-10.0.1 -O1 -fanalyzer -c
gcc/testsuite/gfortran.dg/deferred_character_25.f90
during IPA pass: analyzer
gcc/testsuite/gfortran.dg/deferred_character_25.f90:28:0:
28 | if (s%c(3) .ne. str(3)) stop 4
|
internal compiler error: in lhd_incomplete_type_error, at langhooks.c:205
0x6514ec lhd_incomplete_type_error(unsigned int, tree_node const*, tree_node
const*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/langhooks.c:205
0x1188419 size_in_bytes_loc(unsigned int, tree_node const*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/tree.c:3264
0x126797d size_in_bytes(tree_node const*)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/tree.h:4633
0x126797d ana::region_model::convert_byte_offset_to_array_index(tree_node*,
ana::svalue_id)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.1_alpha20200216/work/gcc-10-20200216/gcc/analyzer/region-model.cc:6508
0x126dbb1 ana::region_model::get_or_create_mem_ref(tree_node*, ana::svalue_id,
ana::svalue_id, 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:6606
0x1276233 ana::region_model::on_assignment(gassign const*,
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:4000
0x124cf77 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:971
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.)
