1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
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. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 with Debug; use Debug;
27 with Binderr; use Binderr;
29 with Output; use Output;
30 with Osint; use Osint;
31 with Scans; use Scans;
34 with Snames; use Snames;
38 with System.OS_Lib; use System.OS_Lib;
40 package body ALI.Util is
42 -- Empty procedures needed to instantiate Scng. Error procedures are
43 -- empty, because we don't want to report any errors when computing
48 procedure Error_Msg (Msg : String; Flag_Location : Source_Ptr);
50 procedure Error_Msg_S (Msg : String);
52 procedure Error_Msg_SC (Msg : String);
54 procedure Error_Msg_SP (Msg : String);
56 -- Instantiation of Styleg, needed to instantiate Scng
58 package Style is new Styleg
59 (Error_Msg, Error_Msg_S, Error_Msg_SC, Error_Msg_SP);
61 -- A Scanner is needed to get checksum of a source (procedure
62 -- Get_File_Checksum).
64 package Scanner is new Scng
65 (Post_Scan, Error_Msg, Error_Msg_S, Error_Msg_SC, Error_Msg_SP, Style);
67 type Header_Num is range 0 .. 1_000;
69 function Hash (F : File_Name_Type) return Header_Num;
70 -- Function used to compute hash of ALI file name
72 package Interfaces is new Simple_HTable (
73 Header_Num => Header_Num,
76 Key => File_Name_Type,
84 function Checksums_Match (Checksum1, Checksum2 : Word) return Boolean is
86 return Checksum1 = Checksum2 and then Checksum1 /= Checksum_Error;
93 procedure Error_Msg (Msg : String; Flag_Location : Source_Ptr) is
94 pragma Warnings (Off, Msg);
95 pragma Warnings (Off, Flag_Location);
104 procedure Error_Msg_S (Msg : String) is
105 pragma Warnings (Off, Msg);
114 procedure Error_Msg_SC (Msg : String) is
115 pragma Warnings (Off, Msg);
124 procedure Error_Msg_SP (Msg : String) is
125 pragma Warnings (Off, Msg);
130 -----------------------
131 -- Get_File_Checksum --
132 -----------------------
134 function Get_File_Checksum (Fname : File_Name_Type) return Word is
135 Full_Name : File_Name_Type;
136 Source_Index : Source_File_Index;
139 Full_Name := Find_File (Fname, Osint.Source);
141 -- If we cannot find the file, then return an impossible checksum,
142 -- impossible because checksums have the high order bit zero, so
143 -- that checksums do not match.
145 if Full_Name = No_File then
146 return Checksum_Error;
149 Source_Index := Sinput.C.Load_File (Get_Name_String (Full_Name));
151 if Source_Index <= No_Source_File then
152 return Checksum_Error;
155 Scanner.Initialize_Scanner (Source_Index);
157 -- Make sure that the project language reserved words are not
158 -- recognized as reserved words, but as identifiers. The byte info for
159 -- those names have been set if we are in gnatmake.
161 Set_Name_Table_Byte (Name_Project, 0);
162 Set_Name_Table_Byte (Name_Extends, 0);
163 Set_Name_Table_Byte (Name_External, 0);
164 Set_Name_Table_Byte (Name_External_As_List, 0);
166 -- Scan the complete file to compute its checksum
170 exit when Token = Tok_EOF;
173 return Scans.Checksum;
174 end Get_File_Checksum;
180 function Hash (F : File_Name_Type) return Header_Num is
182 return Header_Num (Int (F) rem Header_Num'Range_Length);
185 ---------------------------
186 -- Initialize_ALI_Source --
187 ---------------------------
189 procedure Initialize_ALI_Source is
191 -- When (re)initializing ALI data structures the ALI user expects to
192 -- get a fresh set of data structures. Thus we first need to erase the
193 -- marks put in the name table by the previous set of ALI routine calls.
194 -- This loop is empty and harmless the first time in.
196 for J in Source.First .. Source.Last loop
197 Set_Name_Table_Int (Source.Table (J).Sfile, 0);
198 Source.Table (J).Source_Found := False;
203 end Initialize_ALI_Source;
209 procedure Post_Scan is
214 ----------------------
215 -- Read_Withed_ALIs --
216 ----------------------
218 procedure Read_Withed_ALIs (Id : ALI_Id) is
219 Afile : File_Name_Type;
220 Text : Text_Buffer_Ptr;
224 -- Process all dependent units
226 for U in ALIs.Table (Id).First_Unit .. ALIs.Table (Id).Last_Unit loop
228 W in Units.Table (U).First_With .. Units.Table (U).Last_With
230 Afile := Withs.Table (W).Afile;
232 -- Only process if not a generic (Afile /= No_File) and if
233 -- file has not been processed already.
236 and then Get_Name_Table_Int (Afile) = 0
238 Text := Read_Library_Info (Afile);
240 -- Unless in GNATprove mode, return with an error if source
241 -- cannot be found. We used to skip this check when we did not
242 -- compile library generics separately, but we now always do,
243 -- so there is no special case here anymore.
247 if not GNATprove_Mode then
248 Error_Msg_File_1 := Afile;
249 Error_Msg_File_2 := Withs.Table (W).Sfile;
250 Error_Msg ("{ not found, { must be compiled");
251 Set_Name_Table_Int (Afile, Int (No_Unit_Id));
256 -- Enter in ALIs table
267 if ALIs.Table (Idread).Compile_Errors
268 and then not GNATprove_Mode
270 Error_Msg_File_1 := Withs.Table (W).Sfile;
271 Error_Msg ("{ had errors, must be fixed, and recompiled");
272 Set_Name_Table_Int (Afile, Int (No_Unit_Id));
274 -- In GNATprove mode, object files are never generated, so
275 -- No_Object=True is not considered an error.
277 elsif ALIs.Table (Idread).No_Object
278 and then not GNATprove_Mode
280 Error_Msg_File_1 := Withs.Table (W).Sfile;
281 Error_Msg ("{ must be recompiled");
282 Set_Name_Table_Int (Afile, Int (No_Unit_Id));
285 -- If the Unit is an Interface to a Stand-Alone Library,
286 -- set the Interface flag in the Withs table, so that its
287 -- dependant are not considered for elaboration order.
289 if ALIs.Table (Idread).SAL_Interface then
290 Withs.Table (W).SAL_Interface := True;
291 Interface_Library_Unit := True;
293 -- Set the entry in the Interfaces hash table, so that
294 -- other units that import this unit will set the flag
295 -- in their entry in the Withs table.
297 Interfaces.Set (Afile, True);
300 -- Otherwise, recurse to get new dependents
302 Read_Withed_ALIs (Idread);
306 -- If the ALI file has already been processed and is an interface,
307 -- set the flag in the entry of the Withs table.
309 elsif Interface_Library_Unit and then Interfaces.Get (Afile) then
310 Withs.Table (W).SAL_Interface := True;
314 end Read_Withed_ALIs;
316 ----------------------
317 -- Set_Source_Table --
318 ----------------------
320 procedure Set_Source_Table (A : ALI_Id) is
323 Stamp : Time_Stamp_Type;
327 ALIs.Table (A).First_Sdep .. ALIs.Table (A).Last_Sdep
329 F := Sdep.Table (D).Sfile;
333 -- If this is the first time we are seeing this source file,
334 -- then make a new entry in the source table.
336 if Get_Name_Table_Int (F) = 0 then
337 Source.Increment_Last;
339 Set_Name_Table_Int (F, Int (S));
340 Source.Table (S).Sfile := F;
341 Source.Table (S).All_Timestamps_Match := True;
343 -- Initialize checksum fields
345 Source.Table (S).Checksum := Sdep.Table (D).Checksum;
346 Source.Table (S).All_Checksums_Match := True;
348 -- In check source files mode, try to get time stamp from file
350 if Opt.Check_Source_Files then
351 Stamp := Source_File_Stamp (F);
353 -- If we got the stamp, then set the stamp in the source
354 -- table entry and mark it as set from the source so that
355 -- it does not get subsequently changed.
357 if Stamp (Stamp'First) /= ' ' then
358 Source.Table (S).Stamp := Stamp;
359 Source.Table (S).Source_Found := True;
360 Source.Table (S).Stamp_File := F;
362 -- If we could not find the file, then the stamp is set
363 -- from the dependency table entry (to be possibly reset
364 -- if we find a later stamp in subsequent processing)
367 Source.Table (S).Stamp := Sdep.Table (D).Stamp;
368 Source.Table (S).Source_Found := False;
369 Source.Table (S).Stamp_File := ALIs.Table (A).Afile;
371 -- In All_Sources mode, flag error of file not found
373 if Opt.All_Sources then
374 Error_Msg_File_1 := F;
375 Error_Msg ("cannot locate {");
379 -- First time for this source file, but Check_Source_Files
380 -- is off, so simply initialize the stamp from the Sdep entry
383 Source.Table (S).Stamp := Sdep.Table (D).Stamp;
384 Source.Table (S).Source_Found := False;
385 Source.Table (S).Stamp_File := ALIs.Table (A).Afile;
388 -- Here if this is not the first time for this source file,
389 -- so that the source table entry is already constructed.
392 S := Source_Id (Get_Name_Table_Int (F));
394 -- Update checksum flag
396 if not Checksums_Match
397 (Sdep.Table (D).Checksum, Source.Table (S).Checksum)
399 Source.Table (S).All_Checksums_Match := False;
402 -- Check for time stamp mismatch
404 if Sdep.Table (D).Stamp /= Source.Table (S).Stamp then
405 Source.Table (S).All_Timestamps_Match := False;
407 -- When we have a time stamp mismatch, we go look for the
408 -- source file even if Check_Source_Files is false, since
409 -- if we find it, then we can use it to resolve which of the
410 -- two timestamps in the ALI files is likely to be correct.
411 -- We only look in the current directory, because when
412 -- Check_Source_Files is false, other search directories are
413 -- likely to be incorrect.
415 if not Check_Source_Files
416 and then Is_Regular_File (Get_Name_String (F))
418 Stamp := Source_File_Stamp (F);
420 if Stamp (Stamp'First) /= ' ' then
421 Source.Table (S).Stamp := Stamp;
422 Source.Table (S).Source_Found := True;
423 Source.Table (S).Stamp_File := F;
427 -- If the stamp in the source table entry was set from the
428 -- source file, then we do not change it (the stamp in the
429 -- source file is always taken as the "right" one).
431 if Source.Table (S).Source_Found then
434 -- Otherwise, we have no source file available, so we guess
435 -- that the later of the two timestamps is the right one.
436 -- Note that this guess only affects which error messages
437 -- are issued later on, not correct functionality.
440 if Sdep.Table (D).Stamp > Source.Table (S).Stamp then
441 Source.Table (S).Stamp := Sdep.Table (D).Stamp;
442 Source.Table (S).Stamp_File := ALIs.Table (A).Afile;
448 -- Set the checksum value in the source table
450 S := Source_Id (Get_Name_Table_Int (F));
451 Source.Table (S).Checksum := Sdep.Table (D).Checksum;
455 end Set_Source_Table;
457 ----------------------
458 -- Set_Source_Table --
459 ----------------------
461 procedure Set_Source_Table is
463 for A in ALIs.First .. ALIs.Last loop
464 Set_Source_Table (A);
466 end Set_Source_Table;
468 -------------------------
469 -- Time_Stamp_Mismatch --
470 -------------------------
472 function Time_Stamp_Mismatch
474 Read_Only : Boolean := False) return File_Name_Type
477 -- Source file Id for the current Sdep entry
480 for D in ALIs.Table (A).First_Sdep .. ALIs.Table (A).Last_Sdep loop
481 Src := Source_Id (Get_Name_Table_Int (Sdep.Table (D).Sfile));
483 if Opt.Minimal_Recompilation
484 and then Sdep.Table (D).Stamp /= Source.Table (Src).Stamp
486 -- If minimal recompilation is in action, replace the stamp
487 -- of the source file in the table if checksums match.
489 -- ??? It is probably worth updating the ALI file with a new
490 -- field to avoid recomputing it each time. In any case we ensure
491 -- that we don't gobble up string table space by doing a mark
492 -- release around this computation.
497 (Get_File_Checksum (Sdep.Table (D).Sfile),
498 Source.Table (Src).Checksum)
502 Write_Str (Get_Name_String (Sdep.Table (D).Sfile));
503 Write_Str (": up to date, different timestamps " &
504 "but same checksum");
508 Sdep.Table (D).Stamp := Source.Table (Src).Stamp;
514 if (not Read_Only) or else Source.Table (Src).Source_Found then
515 if not Source.Table (Src).Source_Found
516 or else Sdep.Table (D).Stamp /= Source.Table (Src).Stamp
518 -- If -dt debug flag set, output time stamp found/expected
520 if Source.Table (Src).Source_Found and then Debug_Flag_T then
521 Write_Str ("Source: """);
522 Get_Name_String (Sdep.Table (D).Sfile);
523 Write_Str (Name_Buffer (1 .. Name_Len));
526 Write_Str (" time stamp expected: ");
527 Write_Line (String (Sdep.Table (D).Stamp));
529 Write_Str (" time stamp found: ");
530 Write_Line (String (Source.Table (Src).Stamp));
533 -- Return the source file
535 return Source.Table (Src).Sfile;
541 end Time_Stamp_Mismatch;