gcc/ada/sinput-d.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                             S I N P U T . D                              --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --          Copyright (C) 2002-2023, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
  19 -- http://www.gnu.org/licenses for a complete copy of the license.          --
  20 --                                                                          --
  21 -- GNAT was originally developed  by the GNAT team at  New York University. --
  22 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  23 --                                                                          --
  24 ------------------------------------------------------------------------------
  25
  26 with Debug;         use Debug;
  27 with Osint;         use Osint;
  28 with Osint.C;       use Osint.C;
  29 with Output;        use Output;
  30 with System.OS_Lib; use System.OS_Lib;
  31
  32 package body Sinput.D is
  33
  34    Dfile : Source_File_Index;
  35    --  Index of currently active debug source file
  36
  37    ------------------------
  38    -- Close_Debug_Source --
  39    ------------------------
  40
  41    procedure Close_Debug_Source is
  42       FD   : File_Descriptor;
  43       SFR  : Source_File_Record renames Source_File.Table (Dfile);
  44       Src  : Source_Buffer_Ptr;
  45    begin
  46       Trim_Lines_Table (Dfile);
  47       Close_Debug_File;
  48
  49       --  Now we need to read the file that we wrote and store it in memory for
  50       --  subsequent access.
  51
  52       Read_Source_File
  53         (SFR.Full_Debug_Name, SFR.Source_First, SFR.Source_Last, Src, FD);
  54       SFR.Source_Text := Src;
  55       pragma Assert (SFR.Source_Text'First = SFR.Source_First);
  56       pragma Assert (SFR.Source_Text'Last = SFR.Source_Last);
  57    end Close_Debug_Source;
  58
  59    -------------------------
  60    -- Create_Debug_Source --
  61    -------------------------
  62
  63    procedure Create_Debug_Source
  64      (Source : Source_File_Index;
  65       Loc    : out Source_Ptr)
  66    is
  67    begin
  68       Loc :=
  69         ((Source_File.Table (Source_File.Last).Source_Last + Source_Align) /
  70            Source_Align) * Source_Align;
  71       Source_File.Append (Source_File.Table (Source));
  72       Dfile := Source_File.Last;
  73
  74       declare
  75          S : Source_File_Record renames Source_File.Table (Dfile);
  76
  77       begin
  78          S.Index             := Dfile;
  79          S.Full_Debug_Name   := Create_Debug_File (S.File_Name);
  80          S.Debug_Source_Name := Strip_Directory (S.Full_Debug_Name);
  81          S.Source_Text       := null;
  82          S.Source_First      := Loc;
  83          S.Source_Last       := Loc;
  84          S.Lines_Table       := null;
  85          S.Last_Source_Line  := 1;
  86
  87          --  Allocate lines table, guess that it needs to be three times bigger
  88          --  than the original source (in number of lines).
  89
  90          Alloc_Line_Tables
  91            (S, Int (Source_File.Table (Source).Last_Source_Line * 3));
  92          S.Lines_Table (1) := Loc;
  93
  94          if Debug_Flag_L then
  95             Write_Str ("Sinput.D.Create_Debug_Source: created source ");
  96             Write_Int (Int (Dfile));
  97             Write_Str (" for ");
  98             Write_Str (Get_Name_String (S.Full_Debug_Name));
  99             Write_Line ("");
 100          end if;
 101       end;
 102    end Create_Debug_Source;
 103
 104    ----------------------
 105    -- Write_Debug_Line --
 106    ----------------------
 107
 108    procedure Write_Debug_Line (Str : String; Loc : in out Source_Ptr) is
 109       S : Source_File_Record renames Source_File.Table (Dfile);
 110
 111    begin
 112       --  Ignore write request if null line at start of file
 113
 114       if Str'Length = 0 and then Loc = S.Source_First then
 115          return;
 116
 117       --  Here we write the line, compute the source location for the following
 118       --  line, allocate its table entry, and update the source record entry.
 119
 120       else
 121          Write_Debug_Info (Str (Str'First .. Str'Last - 1));
 122          Loc := Loc - 1 + Source_Ptr (Str'Length + Debug_File_Eol_Length);
 123          Add_Line_Tables_Entry (S, Loc);
 124          S.Source_Last := Loc;
 125          Set_Source_File_Index_Table (Dfile);
 126       end if;
 127    end Write_Debug_Line;
 128
 129 end Sinput.D;