From: Martin Liska <mliska@suse.cz>
Date: Mon, 11 Jan 2021 17:12:54 +0000 (+0100)
Subject: Call toplev::finalize in CHECKING_P mode.
X-Git-Tag: basepoints/gcc-13~8265
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a63035ae262078cd70927b06a2bd3ee94cc6e56e;p=thirdparty%2Fgcc.git

Call toplev::finalize in CHECKING_P mode.

gcc/ChangeLog:

	PR jit/98615
	* main.c (main): Call toplev::finalize in CHECKING_P mode.
	* ipa-modref.c (ipa_modref_c_finalize): summaries are NULL
	when incremental LTO linking happens.
---

diff --git a/gcc/ipa-modref.c b/gcc/ipa-modref.c
index ef5e62beb0e4..e7f79caf34da 100644
--- a/gcc/ipa-modref.c
+++ b/gcc/ipa-modref.c
@@ -3867,7 +3867,8 @@ ipa_modref_c_finalize ()
   if (optimization_summaries)
     ggc_delete (optimization_summaries);
   optimization_summaries = NULL;
-  gcc_checking_assert (!summaries);
+  gcc_checking_assert (!summaries
+		       || flag_incremental_link == INCREMENTAL_LINK_LTO);
   if (summaries_lto)
     ggc_delete (summaries_lto);
   summaries_lto = NULL;
diff --git a/gcc/main.c b/gcc/main.c
index ab0244b18513..093e63954f86 100644
--- a/gcc/main.c
+++ b/gcc/main.c
@@ -36,5 +36,10 @@ main (int argc, char **argv)
   toplev toplev (NULL, /* external_timer */
 		 true /* init_signals */);
 
-  return toplev.main (argc, argv);
+  int r = toplev.main (argc, argv);
+#if CHECKING_P
+  toplev.finalize ();
+#endif
+
+  return r;
 }