Mercurial > hg > CbC > CbC_gcc

diff gcc/ada/make_util.ads @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
line wrap: on
line diff
--- a/gcc/ada/make_util.ads	Fri Oct 27 22:46:09 2017 +0900
+++ b/gcc/ada/make_util.ads	Thu Oct 25 07:37:49 2018 +0900
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 2004-2017, Free Software Foundation, Inc.         --
+--          Copyright (C) 2004-2018, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -184,11 +184,13 @@
    procedure Fail_Program
      (S              : String;
       Flush_Messages : Boolean := True);
+   pragma No_Return (Fail_Program);
    --  Terminate program with a message and a fatal status code
 
    procedure Finish_Program
      (Exit_Code    : Osint.Exit_Code_Type := Osint.E_Success;
       S            : String := "");
+   pragma No_Return (Finish_Program);
    --  Terminate program, with or without a message, setting the status code
    --  according to Fatal. This properly removes all temporary files.