[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 f643c8da6fc62e65b62c83edd0ec77fd2086390e..8fd20760c34b75eb821a3d17aaf96111b81164d1 100644 (file)
--- 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 904c87d2914d243d33948e481eb22ab3ee33f144..b0cbd828e47f5ca8c06e3e63314ae9c70f11163c 100644 (file)
--- 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);