https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93373
Bug ID: 93373 Summary: ICE: Segmentation fault (in tree_class_check) 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.0-alpha20200119 snapshot (g:3684bbb022cd75da55e1457673f269980aa12cdf) ICEs when compiling gcc/testsuite/gcc.dg/Warray-bounds-41.c w/ -O2 -fanalyzer: % gcc-10.0.0-alpha20200119 -O2 -fanalyzer -c gcc/testsuite/gcc.dg/Warray-bounds-41.c during IPA pass: analyzer gcc/testsuite/gcc.dg/Warray-bounds-41.c: In function 'test_vptr_arith_vla_cst': gcc/testsuite/gcc.dg/Warray-bounds-41.c:14:1: internal compiler error: Segmentation fault 14 | { | ^ 0xd8568f crash_signal /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/toplev.c:328 0xa8fde3 tree_class_check(tree_node*, tree_code_class, char const*, int, char const*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/tree.h:3400 0xa8fde3 useless_type_conversion_p(tree_node*, tree_node*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/gimple-expr.c:88 0x1100801 region_model::get_lvalue(path_var, region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:4713 0x1101c1c region_model::get_rvalue_1(path_var, region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:4755 0x1101d93 region_model::get_rvalue(path_var, region_model_context*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:4792 0x10eee72 sm_state_map::purge_for_unknown_fncall(exploded_graph const&, state_machine const&, gcall const*, tree_node*, region_model*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/program-state.cc:367 0x10e1b42 exploded_node::on_stmt(exploded_graph&, supernode const*, gimple const*, program_state*, state_change*) const /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:1033 0x10e24d1 exploded_graph::process_node(exploded_node*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2433 0x10e29b2 exploded_graph::process_worklist() /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2253 0x10e3039 impl_run_checkers(logger*) /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3570 0x10e3ad3 run_checkers() /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3624 0x10d9558 execute /var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/analyzer-pass.cc:84