]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e137ec) | patch
ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 30 Nov 2023 10:51:32 +0000 (11:51 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 19 Dec 2023 14:27:50 +0000 (15:27 +0100)
commit8106b4476482f44f042ae313f003647a1d43b372
tree0e73d26589d5e88bf4773058a740960787d6ca9ctree
parent3e137ec2ef7cbfb9c7129a0e4feb416ac2e960a0commit | diff
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.
gcc/ada/sinput.adb diff | blob | blame | history
gcc/ada/sinput.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git