[gcc r12-1896] [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK

[gcc r12-1896] [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:38b57d67e85df1636c5e4300defe337e28878412

commit r12-1896-g38b57d67e85df1636c5e4300defe337e28878412
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Thu Apr 15 18:00:52 2021 +0200

    [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK
    
    gcc/ada/
    
            * errout.ads (Adjust_Name_Case): Remove obsolete and now unused
            variant.
            * errout.adb (Adjust_Name_Case): Likewise; fix variant that uses
            a custom buffer to also use it for names in Standard_Location.

Diff:
---
 gcc/ada/errout.adb | 7 +------
 gcc/ada/errout.ads | 4 ----
 2 files changed, 1 insertion(+), 10 deletions(-)

diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb
index f643c8da6fc..8fd20760c34 100644
--- a/gcc/ada/errout.adb
+++ b/gcc/ada/errout.adb
@@ -3402,7 +3402,7 @@ package body Errout is
          --  For standard locations, always use mixed case
 
          if Loc <= No_Location then
-            Set_Casing (Mixed_Case);
+            Set_Casing (Buf, Mixed_Case);
 
          else
             --  Determine if the reference we are dealing with corresponds to
@@ -3440,11 +3440,6 @@ package body Errout is
       end;
    end Adjust_Name_Case;
 
-   procedure Adjust_Name_Case (Loc : Source_Ptr) is
-   begin
-      Adjust_Name_Case (Global_Name_Buffer, Loc);
-   end Adjust_Name_Case;
-
    ---------------------------
    -- Set_Identifier_Casing --
    ---------------------------
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads
index 904c87d2914..b0cbd828e47 100644
--- a/gcc/ada/errout.ads
+++ b/gcc/ada/errout.ads
@@ -985,10 +985,6 @@ package Errout is
    --  the name at that source location, we copy the casing from the source,
    --  otherwise we set appropriate default casing.
 
-   procedure Adjust_Name_Case (Loc : Source_Ptr);
-   --  Uses Buf => Global_Name_Buffer. There are no calls to this in the
-   --  compiler, but it is called in SPARK 2014.
-
    procedure Set_Identifier_Casing
      (Identifier_Name : System.Address;
       File_Name       : System.Address);