diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-11-30 11:51:32 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-12-19 15:27:50 +0100 |
commit | 8106b4476482f44f042ae313f003647a1d43b372 (patch) | |
tree | 0e73d26589d5e88bf4773058a740960787d6ca9c /gcc/ada | |
parent | 3e137ec2ef7cbfb9c7129a0e4feb416ac2e960a0 (diff) | |
download | gcc-8106b4476482f44f042ae313f003647a1d43b372.zip gcc-8106b4476482f44f042ae313f003647a1d43b372.tar.gz gcc-8106b4476482f44f042ae313f003647a1d43b372.tar.bz2 |
ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img
Routine Get_Logical_Line_Number_Img was introduced for splitting of
Pre/Post contracts, but subsequent patch for that feature removed its
only use. It was then used by GNATprove, but that use is now removed
as well.
gcc/ada/
* sinput.adb, sinput.ads (Get_Logical_Line_Number_Img): Remove.
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/sinput.adb | 13 | ||||
-rw-r--r-- | gcc/ada/sinput.ads | 5 |
2 files changed, 0 insertions, 18 deletions
diff --git a/gcc/ada/sinput.adb b/gcc/ada/sinput.adb index 4352cad..dc6b55a 100644 --- a/gcc/ada/sinput.adb +++ b/gcc/ada/sinput.adb @@ -460,19 +460,6 @@ package body Sinput is end if; end Get_Logical_Line_Number; - --------------------------------- - -- Get_Logical_Line_Number_Img -- - --------------------------------- - - function Get_Logical_Line_Number_Img - (P : Source_Ptr) return String - is - begin - Name_Len := 0; - Add_Nat_To_Name_Buffer (Nat (Get_Logical_Line_Number (P))); - return Name_Buffer (1 .. Name_Len); - end Get_Logical_Line_Number_Img; - ------------------------------ -- Get_Physical_Line_Number -- ------------------------------ diff --git a/gcc/ada/sinput.ads b/gcc/ada/sinput.ads index 6ce2a22..e30487e 100644 --- a/gcc/ada/sinput.ads +++ b/gcc/ada/sinput.ads @@ -541,11 +541,6 @@ package Sinput is -- WARNING: There is a matching C declaration of this subprogram in fe.h - function Get_Logical_Line_Number_Img - (P : Source_Ptr) return String; - -- Same as above function, but returns the line number as a string of - -- decimal digits, with no leading space. Destroys Name_Buffer. - function Get_Physical_Line_Number (P : Source_Ptr) return Physical_Line_Number; -- The line number of the specified source position is obtained by |