diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-05-24 07:07:49 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-08 13:34:16 +0000 |
| commit | 3cb32058b49f20d6532beabf6bee4f7862a515d5 (patch) | |
| tree | 63bb0025bd6daa179dbf8bfa967581db20f3d723 | |
| parent | 79a8b14237eca20a0e8256f5683d6ca092f38a0b (diff) | |
| download | gcc-3cb32058b49f20d6532beabf6bee4f7862a515d5.zip gcc-3cb32058b49f20d6532beabf6bee4f7862a515d5.tar.gz gcc-3cb32058b49f20d6532beabf6bee4f7862a515d5.tar.bz2 | |
[Ada] Make tools compatible with No_Dynamic_Accessibility_Checks
gcc/ada/
* make.adb, osint.adb: Make code compatible with
No_Dynamic_Accessibility_Checks restriction.
| -rw-r--r-- | gcc/ada/make.adb | 9 | ||||
| -rw-r--r-- | 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 f7f166c..6e74e90 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 3e5db36..4ee6aa8 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; |