diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-04-15 18:00:52 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-29 14:23:48 +0000 |
| commit | 38b57d67e85df1636c5e4300defe337e28878412 (patch) | |
| tree | 199b4f7651d54181f9b90cc1b12c3e4b1dc45f00 /gcc/ada/errout.ads | |
| parent | 339bf0a2a972fe0655dfa3b6508312e748d4fbcc (diff) | |
| download | gcc-38b57d67e85df1636c5e4300defe337e28878412.zip gcc-38b57d67e85df1636c5e4300defe337e28878412.tar.gz gcc-38b57d67e85df1636c5e4300defe337e28878412.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 904c87d..b0cbd82 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); |