[Ada] Remove obsolete a-assert
authorMarc Poulhiès <poulhies@adacore.com>
Tue, 23 Nov 2021 09:53:06 +0000 (10:53 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Dec 2021 16:26:32 +0000 (16:26 +0000)
gcc/ada/

* gcc-interface/a-assert.ads, gcc-interface/a-assert.adb: Remove.

gcc/ada/gcc-interface/a-assert.adb [deleted file]
gcc/ada/gcc-interface/a-assert.ads [deleted file]

diff --git a/gcc/ada/gcc-interface/a-assert.adb b/gcc/ada/gcc-interface/a-assert.adb
deleted file mode 100644 (file)
index 429b14b..0000000
+++ /dev/null
@@ -1,52 +0,0 @@
-------------------------------------------------------------------------------
---                                                                          --
---                         GNAT RUN-TIME COMPONENTS                         --
---                                                                          --
---                           A D A . A S S E R T                            --
---                                                                          --
---                                 B o d y                                  --
---                                                                          --
---         Copyright (C) 2007-2021, 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- --
--- ware  Foundation;  either version 3,  or (at your option) any later ver- --
--- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
--- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
---                                                                          --
--- As a special exception under Section 7 of GPL version 3, you are granted --
--- additional permissions described in the GCC Runtime Library Exception,   --
--- version 3.1, as published by the Free Software Foundation.               --
---                                                                          --
--- You should have received a copy of the GNU General Public License and    --
--- a copy of the GCC Runtime Library Exception along with this program;     --
--- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
--- <http://www.gnu.org/licenses/>.                                          --
---                                                                          --
--- GNAT was originally developed  by the GNAT team at  New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc.      --
---                                                                          --
-------------------------------------------------------------------------------
-
-package body Ada.Assertions is
-
-   ------------
-   -- Assert --
-   ------------
-
-   procedure Assert (Check : Boolean) is
-   begin
-      if Check = False then
-         raise Ada.Assertions.Assertion_Error;
-      end if;
-   end Assert;
-
-   procedure Assert (Check : Boolean; Message : String) is
-   begin
-      if Check = False then
-         raise Ada.Assertions.Assertion_Error with Message;
-      end if;
-   end Assert;
-
-end Ada.Assertions;
diff --git a/gcc/ada/gcc-interface/a-assert.ads b/gcc/ada/gcc-interface/a-assert.ads
deleted file mode 100644 (file)
index 55ed806..0000000
+++ /dev/null
@@ -1,50 +0,0 @@
-------------------------------------------------------------------------------
---                                                                          --
---                         GNAT RUN-TIME COMPONENTS                         --
---                                                                          --
---                       A D A . A S S E R T I O N S                        --
---                                                                          --
---            Copyright (C) 2015-2021, Free Software Foundation, Inc.       --
---                                                                          --
---                                 S p e c                                  --
---                                                                          --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the contracts that have been added.                      --
---                                                                          --
--- 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- --
--- ware  Foundation;  either version 3,  or (at your option) any later ver- --
--- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
--- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
---                                                                          --
--- As a special exception under Section 7 of GPL version 3, you are granted --
--- additional permissions described in the GCC Runtime Library Exception,   --
--- version 3.1, as published by the Free Software Foundation.               --
---                                                                          --
--- You should have received a copy of the GNU General Public License and    --
--- a copy of the GCC Runtime Library Exception along with this program;     --
--- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
--- <http://www.gnu.org/licenses/>.                                          --
---                                                                          --
--- GNAT was originally developed  by the GNAT team at  New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc. --
---                                                                          --
-------------------------------------------------------------------------------
-
---  This version is used to bootstrap the compiler only.
---  It can be removed when we switch to using a GNAT from 2014 or later.
-
-pragma Compiler_Unit_Warning;
-
-package Ada.Assertions is
-   pragma Pure;
-
-   Assertion_Error : exception;
-
-   procedure Assert (Check : Boolean);
-
-   procedure Assert (Check : Boolean; Message : String);
-
-end Ada.Assertions;