[gcc r12-2142] [Ada] Make tools compatible with No_Dynamic_Accessibility_Checks

[gcc r12-2142] [Ada] Make tools compatible with No_Dynamic_Accessibility_Checks

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:3cb32058b49f20d6532beabf6bee4f7862a515d5

commit r12-2142-g3cb32058b49f20d6532beabf6bee4f7862a515d5
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Mon May 24 07:07:49 2021 -0400

    [Ada] Make tools compatible with No_Dynamic_Accessibility_Checks
    
    gcc/ada/
    
            * make.adb, osint.adb: Make code compatible with
            No_Dynamic_Accessibility_Checks restriction.

Diff:
---
 gcc/ada/make.adb  | 9 +++++----
 gcc/ada/osint.adb | 5 +++--
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb
index f7f166ccfed..6e74e9038b8 100644
--- a/gcc/ada/make.adb
+++ b/gcc/ada/make.adb
@@ -2364,7 +2364,7 @@ package body Make is
             Osint.Full_Source_Name
               (Source.File,
                Full_File => Full_Source_File,
-               Attr      => Source_File_Attr'Access);
+               Attr      => Source_File_Attr'Unchecked_Access);
 
             Lib_File := Osint.Lib_File_Name (Source.File, Source.Index);
 
@@ -2392,7 +2392,7 @@ package body Make is
                   Get_Name_String (Full_Lib_File);
                   Name_Buffer (Name_Len + 1) := ASCII.NUL;
                   Read_Only := not Is_Writable_File
-                    (Name_Buffer'Address, Lib_File_Attr'Access);
+                    (Name_Buffer'Address, Lib_File_Attr'Unchecked_Access);
                else
                   Read_Only := False;
                end if;
@@ -2460,7 +2460,7 @@ package body Make is
                          The_Args       => Args,
                          Lib_File       => Lib_File,
                          Full_Lib_File  => Full_Lib_File,
-                         Lib_File_Attr  => Lib_File_Attr'Access,
+                         Lib_File_Attr  => Lib_File_Attr'Unchecked_Access,
                          Read_Only      => Read_Only,
                          ALI            => ALI,
                          O_File         => Obj_File,
@@ -2630,7 +2630,8 @@ package body Make is
 
                   Text :=
                     Read_Library_Info_From_Full
-                      (Data.Full_Lib_File, Data.Lib_File_Attr'Access);
+                      (Data.Full_Lib_File,
+                       Data.Lib_File_Attr'Unchecked_Access);
 
                   --  Restore Check_Object_Consistency to its initial value
 
diff --git a/gcc/ada/osint.adb b/gcc/ada/osint.adb
index 3e5db3612d6..4ee6aa802ed 100644
--- a/gcc/ada/osint.adb
+++ b/gcc/ada/osint.adb
@@ -1915,7 +1915,8 @@ package body Osint is
       begin
          if Opt.Look_In_Primary_Dir then
             Locate_File
-              (N, Source, Primary_Directory, File_Name, File, Attr'Access);
+              (N, Source, Primary_Directory, File_Name, File,
+               Attr'Unchecked_Access);
 
             if File /= No_File and then T = File_Stamp (N) then
                return File;
@@ -1925,7 +1926,7 @@ package body Osint is
          Last_Dir := Src_Search_Directories.Last;
 
          for D in Primary_Directory + 1 .. Last_Dir loop
-            Locate_File (N, Source, D, File_Name, File, Attr'Access);
+            Locate_File (N, Source, D, File_Name, File, Attr'Unchecked_Access);
 
             if File /= No_File and then T = File_Stamp (File) then
                return File;