Correct a function pre/postcondition [PR102403].

[thirdparty/gcc.git] / gcc / gcov-tool.c

diff --git a/gcc/gcov-tool.c b/gcc/gcov-tool.c
index c06769ef1c03626ad13cd7eb432ec3c7138de09e..71bdfdaa1f01da30fffccefa5c9c1f8863ac6124 100644 (file)
--- a/gcc/gcov-tool.c
+++ b/gcc/gcov-tool.c
@@ -1,5 +1,5 @@
 /* Gcc offline profile processing tool support. */
-/* Copyright (C) 2014-2019 Free Software Foundation, Inc.
+/* Copyright (C) 2014-2021 Free Software Foundation, Inc.
    Contributed by Rong Xu <xur@google.com>.
 
 This file is part of GCC.
@@ -188,7 +188,7 @@ static const struct option merge_options[] =
 
 /* Print merge usage and exit.  */
 
-static void
+static void ATTRIBUTE_NORETURN
 merge_usage (void)
 {
   fnotice (stderr, "Merge subcomand usage:");
@@ -284,7 +284,7 @@ static const struct option rewrite_options[] =
 
 /* Print profile rewrite usage and exit.  */
 
-static void
+static void ATTRIBUTE_NORETURN
 rewrite_usage (void)
 {
   fnotice (stderr, "Rewrite subcommand usage:");
@@ -525,12 +525,11 @@ static void
 print_version (void)
 {
   fnotice (stdout, "%s %s%s\n", progname, pkgversion_string, version_string);
-  fnotice (stdout, "Copyright %s 2019 Free Software Foundation, Inc.\n",
+  fnotice (stdout, "Copyright %s 2021 Free Software Foundation, Inc.\n",
            _("(C)"));
   fnotice (stdout,
-           _("This is free software; see the source for copying conditions.\n"
-             "There is NO warranty; not even for MERCHANTABILITY or \n"
-             "FITNESS FOR A PARTICULAR PURPOSE.\n\n"));
+          _("This is free software; see the source for copying conditions.  There is NO\n\
+warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\n"));
   exit (SUCCESS_EXIT_CODE);
 }