[Bug analyzer/93374] New: ICE in validate, at analyzer/region-model.cc:182

asolokha at gmx dot com gcc-bugzilla@gcc.gnu.org
Wed Jan 22 05:18:00 GMT 2020


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93374

            Bug ID: 93374
           Summary: ICE in validate, at analyzer/region-model.cc:182
           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.c-torture/execute/pr27073.c w/ -O1
-fanalyzer:

% gcc-10.0.0-alpha20200119 -O1 -fanalyzer -w -c
gcc/testsuite/gcc.c-torture/execute/pr27073.c
during IPA pass: analyzer
gcc/testsuite/gcc.c-torture/execute/pr27073.c: In function 'foo':
gcc/testsuite/gcc.c-torture/execute/pr27073.c:8:12: internal compiler error: in
validate, at analyzer/region-model.cc:182
    8 |       *p++ = s1;
      |       ~~~~~^~~~
0x719ef1 svalue_id::validate(region_model const&) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:182
0x719ef1 svalue_id::validate(region_model const&) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/region-model.cc:180
0x10ee99e state_change::sm_change::validate(program_state const&) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/program-state.cc:1034
0x10ee99e state_change::validate(program_state const&) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/program-state.cc:1149
0x10dc0f3 exploded_edge::exploded_edge(exploded_node*, exploded_node*,
superedge const*, state_change const&, exploded_edge::custom_info_t*)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:1385
0x10dc0f3 exploded_graph::add_edge(exploded_node*, exploded_node*, superedge
const*, state_change const&, exploded_edge::custom_info_t*)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:1987
0x10e2204 exploded_graph::process_node(exploded_node*)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:2453
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


More information about the Gcc-bugs mailing list