From d59179b15e717e87a5c27bc90e7d16f541caa740 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 2 May 2017 10:26:12 +0200 Subject: [multiple changes] 2017-05-02 Ed Schonberg * sem_ch6.adb (Fully_Conformant_Expressions): Two entity references are fully conformant if they are both expansions of the discriminant of a protected type, within one of the protected operations. One occurrence may be expanded into a constant declaration while the other is an input parameter to the corresponding generated subprogram. 2017-05-02 Justin Squirek * sem_ch3.adb (Check_For_Null_Excluding_Components): Created for recursivly searching composite-types for null-excluding access types and verifying them. (Analyze_Object_Declaration): Add a call to Check_Null_Excluding_Components for static verification of non-initialized objects. * checks.adb, checks.ads (Null_Exclusion_Static_Checks): Added a parameter for a composite-type's component and an extra case for printing component information. 2017-05-02 Yannick Moy * sem_ch10.adb (Analyze_Subunit): Take configuration pragma into account when restoring appropriate pragma for analysis of subunit. 2017-05-02 Justin Squirek * s-tasren.adb, s-tasini.adb, s-taprop-linux.adb, s-mudido-affinity.adb,, a-exetim-posix.adb, a-direio.adb, g-socket.adb, s-taenca.adb, s-fileio.adb: Remove unused use-type clauses from the runtime. From-SVN: r247465 --- gcc/ada/s-mudido-affinity.adb | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'gcc/ada/s-mudido-affinity.adb') diff --git a/gcc/ada/s-mudido-affinity.adb b/gcc/ada/s-mudido-affinity.adb index df3b4a8..b0a5fdd 100644 --- a/gcc/ada/s-mudido-affinity.adb +++ b/gcc/ada/s-mudido-affinity.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2017, Free Software Foundation, Inc. -- -- -- -- GNARL is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -77,8 +77,6 @@ package body System.Multiprocessors.Dispatching_Domains is is Target : constant ST.Task_Id := Convert_Ids (T); - use type ST.Dispatching_Domain_Access; - begin -- The exception Dispatching_Domain_Error is propagated if T is already -- assigned to a Dispatching_Domain other than @@ -127,7 +125,6 @@ package body System.Multiprocessors.Dispatching_Domains is use type ST.Dispatching_Domain; use type ST.Dispatching_Domain_Access; - use type ST.Array_Allocated_Tasks; use type ST.Task_Id; T : ST.Task_Id; @@ -331,8 +328,6 @@ package body System.Multiprocessors.Dispatching_Domains is is Target : constant ST.Task_Id := Convert_Ids (T); - use type ST.Dispatching_Domain_Access; - begin -- The exception Dispatching_Domain_Error is propagated if CPU is not -- one of the processors of the Dispatching_Domain on which T is -- cgit v1.1