[Bug analyzer/93669] New: ICE in dump_exploded_nodes, at analyzer/engine.cc:3239

[asolokha at gmx dot com]

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

            Bug ID: 93669
           Summary: ICE in dump_exploded_nodes, at analyzer/engine.cc:3239
           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: ---

gcc-10.0.1-alpha20200209 snapshot (g:8686c4d84517b54cf3dfe98fca3a814b7d606502)
ICEs when compiling gcc/testsuite/gcc.dg/analyzer/paths-2.c w/ -fanalyzer
--param analyzer-max-enodes-per-program-point=2:

% gcc-10.0.1 -fanalyzer --param analyzer-max-enodes-per-program-point=2 -c
gcc/testsuite/gcc.dg/analyzer/paths-2.c
during IPA pass: analyzer
cc1: internal compiler error: in dump_exploded_nodes, at
analyzer/engine.cc:3239
0x71c445 ana::exploded_graph::dump_exploded_nodes() const
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3239
0x10e93bb ana::impl_run_checkers(ana::logger*)
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3633
0x10e9e2c ana::run_checkers()
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/engine.cc:3674
0x10df5b8 execute
       
/var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200209/work/gcc-10-20200209/gcc/analyzer/analyzer-pass.cc:84

(I believe, it should not ICE even in the face of such parameters abuse.)