From: David Malcolm <dmalcolm@redhat.com>
Date: Thu, 6 Oct 2022 19:46:20 +0000 (-0400)
Subject: analyzer: fixes to call_summary_replay::dump_to_pp
X-Git-Tag: basepoints/gcc-14~4070
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=30d6356773a838366f6272f7e9900bacb31c44de;p=thirdparty%2Fgcc.git

analyzer: fixes to call_summary_replay::dump_to_pp

gcc/analyzer/ChangeLog:
	* call-summary.cc (call_summary_replay::dump_to_pp): Bulletproof
	against NULL caller regions/svalues.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
---

diff --git a/gcc/analyzer/call-summary.cc b/gcc/analyzer/call-summary.cc
index bc50562b5ec7..12ef82d18d6c 100644
--- a/gcc/analyzer/call-summary.cc
+++ b/gcc/analyzer/call-summary.cc
@@ -845,14 +845,20 @@ call_summary_replay::dump_to_pp (pretty_printer *pp, bool simple) const
   for (auto summary_reg : summary_regs)
     {
       pp_string (pp, "reg in summary: ");
-      summary_reg->dump_to_pp (pp, simple);
+      if (summary_reg)
+	summary_reg->dump_to_pp (pp, simple);
+      else
+	pp_string (pp, "(null)");
       pp_newline (pp);
 
       const region *caller_reg
 	= *((const_cast<region_map_t &>
 	     (m_map_region_from_summary_to_caller)).get (summary_reg));
       pp_string (pp, " reg in caller: ");
-      caller_reg->dump_to_pp (pp, simple);
+      if (caller_reg)
+	caller_reg->dump_to_pp (pp, simple);
+      else
+	pp_string (pp, "(null)");
       pp_newline (pp);
     }
 }