Correct a function pre/postcondition [PR102403].

[thirdparty/gcc.git] / gcc / main.c

diff --git a/gcc/main.c b/gcc/main.c
index cca8170a415b6c57d84632fd4d48148bc278bfff..093e63954f86f0ef269b19460b657905a7acfc02 100644 (file)
--- a/gcc/main.c
+++ b/gcc/main.c
@@ -1,5 +1,5 @@
 /* main.c: defines main() for cc1, cc1plus, etc.
-   Copyright (C) 2007-2019 Free Software Foundation, Inc.
+   Copyright (C) 2007-2021 Free Software Foundation, Inc.
 
 This file is part of GCC.
 
@@ -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;
 }