From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 15 Apr 2021 16:00:52 +0000 (+0200)
Subject: [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK
X-Git-Tag: basepoints/gcc-13~6417
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=38b57d67e85df1636c5e4300defe337e28878412;p=thirdparty%2Fgcc.git

[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 --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb
index f643c8da6fc6..8fd20760c34b 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 904c87d2914d..b0cbd828e47f 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);