[Bug analyzer/97130] New: [11 Regression] ICE in deref_rvalue, at analyzer/region-model.cc:1462

[asolokha at gmx dot com]

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

            Bug ID: 97130
           Summary: [11 Regression] ICE in deref_rvalue, at
                    analyzer/region-model.cc:1462
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-11.0.0-alpha20200920 snapshot (g:363e7755f227656684c8e284307ceee451503ca4)
ICEs when compiling the following testcase w/ -fanalyzer:

void *
memset (int, int, __SIZE_TYPE__);

void
mp (int xl)
{
  memset (xl, 0, sizeof xl);
}

% gcc-11.0.0 -fanalyzer -w -c oxnsb1da.c
during IPA pass: analyzer
oxnsb1da.c: In function 'mp':
oxnsb1da.c:7:3: internal compiler error: in deref_rvalue, at
analyzer/region-model.cc:1462
    7 |   memset (xl, 0, sizeof xl);
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~
0x7335ac ana::region_model::deref_rvalue(ana::svalue const*, tree_node*,
ana::region_model_context*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/region-model.cc:1462
0x114a98e ana::region_model::impl_call_memset(ana::call_details const&)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/region-model-impl-calls.cc:312
0x114092d ana::region_model::on_call_pre(gcall const*,
ana::region_model_context*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/region-model.cc:742
0x111dfc4 ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode
const*, gimple const*, ana::program_state*) const
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:1084
0x111fa7d ana::exploded_graph::process_node(ana::exploded_node*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:2724
0x112055a ana::exploded_graph::process_worklist()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:2359
0x112265f ana::impl_run_checkers(ana::logger*)
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:4310
0x112327c ana::run_checkers()
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/engine.cc:4378
0x1117038 execute
       
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200920/work/gcc-11-20200920/gcc/analyzer/analyzer-pass.cc:84

The failing assert was introduced in
g:35e3f0829d8e9cdc7ea19917c9f3a7add3f14847.