files_map: add debug_source_loc.

1 files changed, 14 insertions, 5 deletions

diff --git a/src/files_map.adb b/src/files_map.adb
index 2b6fc7e56..3a8fa071c 100644
--- a/src/files_map.adb
+++ b/src/files_map.adb
@@ -1088,11 +1088,16 @@ package body Files_Map is
    end Extract_Expanded_Line;
 
    -- Debug procedures.
-   procedure Debug_Source_Lines (File: Source_File_Entry);
-   pragma Unreferenced (Debug_Source_Lines);
-
-   procedure Debug_Source_File;
-   pragma Unreferenced (Debug_Source_File);
+   procedure Debug_Source_Loc (Loc : Location_Type)
+   is
+      File : Source_File_Entry;
+      Line_Pos : Source_Ptr;
+      Line : Natural;
+      Offset : Natural;
+   begin
+      Location_To_Coord (Loc, File, Line_Pos, Line, Offset);
+      Put_Line (Extract_Expanded_Line (File, Line_Pos));
+   end Debug_Source_Loc;
 
    --  Disp sources lines of a file.
    procedure Debug_Source_Lines (File: Source_File_Entry) is
@@ -1132,6 +1137,10 @@ package body Files_Map is
       end loop;
    end Debug_Source_File;
 
+   pragma Unreferenced (Debug_Source_Lines);
+   pragma Unreferenced (Debug_Source_File);
+   pragma Unreferenced (Debug_Source_Loc);
+
    procedure Initialize is
    begin
       for I in Source_Files.First .. Source_Files.Last loop