[Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass

[raj.khem at gmail dot com]

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

            Bug ID: 100011
           Summary: internal compiler error in analyzer during IPA pass
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: raj.khem at gmail dot com
  Target Milestone: ---

I am seeing a ICE in gcc when compiling attached reduced testcase from gnutls
project. This is caused by 3a66c289a3f395e50de79424e1e6f401a4dc1ab7

done for #99042, #99774

a.i
=========================================
void terminate(int sig)
{
 char buf[64] = { 0 };
 exit(1);
}

int main(int argc, char **argv)
{
 signal(0, terminate);
 return 0;
}
=========================================

$ /tmp/gcc/gcc/cc1 a.i -fanalyzer

Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> {heap 884k} <visibility> {heap 884k} <build_ssa_passes>
{heap 884k} <opt_local_passes> {heap 884k} <remove_symbols> {heap 1076k}
<targetclone> {heap 1076k} <free-fnsummary> {heap 1076k}Streaming LTO
 <analyzer>during IPA pass: analyzer
a.i: At top level:
a.i:10:9: internal compiler error: Segmentation fault
   10 |  return 0;
      |         ^
0xdf96cf crash_signal
        /home/kraj/work/gcc/gcc/toplev.c:327
0x11b4e06 ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
        /home/kraj/work/gcc/gcc/analyzer/region-model.cc:729
0x195128a ana::diagnostic_manager::add_events_for_eedge(ana::path_builder
const&, ana::exploded_edge const&, ana::checker_path*) const
        /home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1554
0x1951c04 ana::diagnostic_manager::build_emission_path(ana::path_builder
const&, ana::exploded_path const&, ana::checker_path*) const
        /home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1183
0x1951dcb ana::diagnostic_manager::emit_saved_diagnostic(ana::exploded_graph
const&, ana::saved_diagnostic const&)
        /home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1128
0x195527f ana::dedupe_winners::emit_best(ana::diagnostic_manager*,
ana::exploded_graph const&)
        /home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1051
0x1952250 ana::diagnostic_manager::emit_saved_diagnostics(ana::exploded_graph
const&)
        /home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1100
0x119650c ana::impl_run_checkers(ana::logger*)
        /home/kraj/work/gcc/gcc/analyzer/engine.cc:4887
0x11972dc ana::run_checkers()
        /home/kraj/work/gcc/gcc/analyzer/engine.cc:4944
0x1189af8 execute
        /home/kraj/work/gcc/gcc/analyzer/analyzer-pass.cc:87