From: Piotr Trojanek Date: Thu, 30 Nov 2023 10:51:32 +0000 (+0100) Subject: ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img X-Git-Tag: basepoints/gcc-15~3435 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8106b4476482f44f042ae313f003647a1d43b372;p=thirdparty%2Fgcc.git 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. --- diff --git a/gcc/ada/sinput.adb b/gcc/ada/sinput.adb index 4352cad62c77..dc6b55aede1e 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 6ce2a22e7468..e30487e276f9 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