diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:26:12 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:26:12 +0200 |
commit | d59179b15e717e87a5c27bc90e7d16f541caa740 (patch) | |
tree | 4715ec2bb7050196ddf845a257e2307f8cd49c5b /gcc/ada/s-tasini.adb | |
parent | 26de50b098414b0322acad162a1797fe06bd261b (diff) | |
download | gcc-d59179b15e717e87a5c27bc90e7d16f541caa740.zip gcc-d59179b15e717e87a5c27bc90e7d16f541caa740.tar.gz gcc-d59179b15e717e87a5c27bc90e7d16f541caa740.tar.bz2 |
[multiple changes]
2017-05-02 Ed Schonberg <schonberg@adacore.com>
* 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 <squirek@adacore.com>
* 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 <moy@adacore.com>
* sem_ch10.adb (Analyze_Subunit): Take
configuration pragma into account when restoring appropriate
pragma for analysis of subunit.
2017-05-02 Justin Squirek <squirek@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/s-tasini.adb')
-rw-r--r-- | gcc/ada/s-tasini.adb | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/ada/s-tasini.adb b/gcc/ada/s-tasini.adb index 4844443..21404d0 100644 --- a/gcc/ada/s-tasini.adb +++ b/gcc/ada/s-tasini.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-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- -- @@ -38,8 +38,6 @@ pragma Polling (Off); -- routines in this package, and more to the point, if we try to poll it can -- cause infinite loops. -with Ada.Exceptions; - with System.Task_Primitives; with System.Task_Primitives.Operations; with System.Soft_Links; @@ -234,7 +232,6 @@ package body System.Tasking.Initialization is -- Call only when holding no locks procedure Do_Pending_Action (Self_ID : Task_Id) is - use type Ada.Exceptions.Exception_Id; begin pragma Assert (Self_ID = Self and then Self_ID.Deferral_Level = 0); |