Checkpoint_Load: stop using streaming attributes for non-trivial types

Use streaming attributes only for atomic data types with specific size
(Unsigned_8, Integer_32, ...). Create explicit checkpoint reading
procedures for the rest (records, containers, scalars with implicit
size, ...).

Author: pmderodat

tools/gnatcov/ali_files.adb

@@ -23,6 +23,7 @@ with Ada.Text_IO;             use Ada.Text_IO;
 with GNAT.Regpat; use GNAT.Regpat;
 with SCOs;
 
+with Checkpoints; use Checkpoints;
 with Diagnostics; use Diagnostics;
 with Files_Table; use Files_Table;
 with Get_SCOs;
@@ -31,6 +32,10 @@ with Outputs;     use Outputs;
 
 package body ALI_Files is
 
+   procedure Read
+     (CLS : in out Checkpoint_Load_State; Value : out ALI_Annotation);
+   --  Read a ALI_Annotation from CLS
+
    -----------------------------------------------
    -- Regular expressions for ALI files parsing --
    -----------------------------------------------
@@ -622,42 +627,57 @@ package body ALI_Files is
       return ALI_Index;
    end Load_ALI;
 
+   -----------
+   -- Write --
+   -----------
+
+   procedure Write (S : access Root_Stream_Type'Class; V : ALI_Annotation) is
+   begin
+      CU_Id'Write (S, V.CU);
+      ALI_Annotation_Kind'Write (S, V.Kind);
+      if V.Message /= null then
+         String'Output (S, V.Message.all);
+      else
+         String'Output (S, "");
+      end if;
+   end Write;
+
    ----------
    -- Read --
    ----------
 
    procedure Read
-     (S : access Root_Stream_Type'Class;
-      V : out ALI_Annotation)
-   is
+     (CLS : in out Checkpoint_Load_State; Value : out ALI_Annotation) is
    begin
-      CU_Id'Read (S, V.CU);
-      ALI_Annotation_Kind'Read (S, V.Kind);
+      Value.CU := CLS.Read_CU;
+      Value.Kind := ALI_Annotation_Kind'Val (CLS.Read_U8);
 
       declare
-         Msg : constant String := String'Input (S);
+         Msg : constant String := CLS.Read_String;
       begin
          if Msg'Length > 0 then
-            V.Message := new String'(Msg);
+            Value.Message := new String'(Msg);
          end if;
       end;
-      V.Violation_Count := 0;
-      V.Undetermined_Cov_Count := 0;
-   end Read;
 
-   -----------
-   -- Write --
-   -----------
+      Value.Violation_Count := 0;
+      Value.Undetermined_Cov_Count := 0;
+   end Read;
 
-   procedure Write (S : access Root_Stream_Type'Class; V : ALI_Annotation) is
+   procedure Read
+     (CLS   : access Checkpoints.Checkpoint_Load_State;
+      Value : out ALI_Annotation_Maps.Map)
+   is
+      procedure Read_Map is new Checkpoints.Read_Map
+        (Key_Type     => Source_Location,
+         Element_Type => ALI_Annotation,
+         Map_Type     => ALI_Annotation_Maps.Map,
+         Clear        => ALI_Annotation_Maps.Clear,
+         Insert       => ALI_Annotation_Maps.Insert,
+         Read_Key     => Read,
+         Read_Element => Read);
    begin
-      CU_Id'Write (S, V.CU);
-      ALI_Annotation_Kind'Write (S, V.Kind);
-      if V.Message /= null then
-         String'Output (S, V.Message.all);
-      else
-         String'Output (S, "");
-      end if;
-   end Write;
+      Read_Map (CLS.all, Value);
+   end Read;
 
 end ALI_Files;

tools/gnatcov/ali_files.ads

@@ -24,6 +24,7 @@ with Ada.Streams; use Ada.Streams;
 with GNAT.Regexp;
 with GNAT.Strings; use GNAT.Strings;
 
+limited with Checkpoints;
 with SC_Obligations; use SC_Obligations;
 with Slocs; use Slocs;
 with Types; use Types;
@@ -67,16 +68,19 @@ package ALI_Files is
       --  This is relevant only for source trace based coverage analysis.
    end record;
 
-   procedure Read (S : access Root_Stream_Type'Class; V : out ALI_Annotation);
    procedure Write (S : access Root_Stream_Type'Class; V : ALI_Annotation);
-   for ALI_Annotation'Read use Read;
    for ALI_Annotation'Write use Write;
 
    package ALI_Annotation_Maps is
      new Ada.Containers.Ordered_Maps
        (Key_Type     => Source_Location,
         Element_Type => ALI_Annotation);
 
+   procedure Read
+     (CLS   : access Checkpoints.Checkpoint_Load_State;
+      Value : out ALI_Annotation_Maps.Map);
+   --  Read a ALI_Annotation_Maps.Map from CLS
+
    ALI_Annotations : ALI_Annotation_Maps.Map;
 
    function Load_ALI