https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94099
Bug ID: 94099 Summary: ICE in make_region_for_unexpected_tree_code, at analyzer/region-model.cc:4874 Product: gcc Version: 10.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc-10.0.1-alpha20200308 snapshot (g:9de42a8e995451cb13dceb3970ae23ff88240bff) ICEs when compiling the following testcase w/ -O1 -fanalyzer: struct cg { int hk; int *bg; }; union vb { struct cg gk; }; void l3 (union vb *); void pl (void) { union vb th = { 0, }; int sc; for (sc = 0; sc < 1; ++sc) { th.gk.hk = 0; th.gk.bg[sc] = 0; l3 (&th); } } % gcc-10.0.1 -O1 -fanalyzer -c z8rkwib5.c during IPA pass: analyzer z8rkwib5.c:21:16: internal compiler error: in make_region_for_unexpected_tree_code, at analyzer/region-model.cc:4874 21 | th.gk.hk = 0; | ~~~~~~~~~^~~ 0x71e1d3 ana::region_model::make_region_for_unexpected_tree_code(ana::region_model_context*, tree_node*, dump_location_t const&) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4874 0x110e3cb ana::region_model::get_lvalue_1(ana::path_var, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4738 0x110e973 ana::region_model::get_lvalue(ana::path_var, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4899 0x110e8c8 ana::region_model::get_lvalue_1(ana::path_var, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4821 0x110e973 ana::region_model::get_lvalue(ana::path_var, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4899 0x110fffc ana::region_model::get_rvalue_1(ana::path_var, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4965 0x11100d3 ana::region_model::get_rvalue(ana::path_var, ana::region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/region-model.cc:4979 0x17befd2 ana::for_each_state_change(ana::program_state const&, ana::program_state const&, ana::extrinsic_state const&, ana::state_change_visitor*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/diagnostic-manager.cc:772 0x17bffae ana::diagnostic_manager::add_events_for_eedge(ana::path_builder const&, ana::exploded_edge const&, ana::checker_path*) const /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/diagnostic-manager.cc:833 0x17c0534 ana::diagnostic_manager::build_emission_path(ana::path_builder const&, ana::exploded_path const&, ana::checker_path*) const /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/diagnostic-manager.cc:614 0x17c1382 ana::diagnostic_manager::emit_saved_diagnostic(ana::exploded_graph const&, ana::saved_diagnostic const&, ana::exploded_path const&, gimple const*, int) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/diagnostic-manager.cc:517 0x17c35ae ana::dedupe_winners::emit_best(ana::diagnostic_manager*, ana::exploded_graph const&) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/diagnostic-manager.cc:446 0x17c1743 ana::diagnostic_manager::emit_saved_diagnostics(ana::exploded_graph const&) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/diagnostic-manager.cc:489 0x10ef82e ana::impl_run_checkers(ana::logger*) /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/engine.cc:3799 0x10f028c ana::run_checkers() /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/engine.cc:3842 0x10e50e8 execute /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gcc/analyzer/analyzer-pass.cc:84