From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 85A70398B895; Thu, 8 Jul 2021 13:36:03 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 85A70398B895 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-2142] [Ada] Make tools compatible with No_Dynamic_Accessibility_Checks X-Act-Checkin: gcc X-Git-Author: Arnaud Charlet X-Git-Refname: refs/heads/master X-Git-Oldrev: 79a8b14237eca20a0e8256f5683d6ca092f38a0b X-Git-Newrev: 3cb32058b49f20d6532beabf6bee4f7862a515d5 Message-Id: <20210708133603.85A70398B895@sourceware.org> Date: Thu, 8 Jul 2021 13:36:03 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Jul 2021 13:36:03 -0000 https://gcc.gnu.org/g:3cb32058b49f20d6532beabf6bee4f7862a515d5 commit r12-2142-g3cb32058b49f20d6532beabf6bee4f7862a515d5 Author: Arnaud Charlet 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;