diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:57:53 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:57:53 +0100 |
commit | 6b6041ec651c69871cc4c8d0ba3621c575b97e75 (patch) | |
tree | 695e62bceda250d6591337f5ed5f9898a0e29048 /gcc/ada/checks.adb | |
parent | 77a2f3df910f3b32cb0cbc3b6967c229d5680272 (diff) | |
download | gcc-6b6041ec651c69871cc4c8d0ba3621c575b97e75.zip gcc-6b6041ec651c69871cc4c8d0ba3621c575b97e75.tar.gz gcc-6b6041ec651c69871cc4c8d0ba3621c575b97e75.tar.bz2 |
[multiple changes]
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* exp_ch9.adb (Expand_N_Selective_Accept.Add_Accept): Always add
call to Abort_Undefer, as expected by the runtime.
* s-tasren.adb (Local_Complete_Rendezvous): Replace
Defer_Abort_Nestable by Defer_Abort, since we do not expect abort to be
deferred at this point. Update comments.
2014-01-21 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb, exp_ch5.adb, checks.adb: Minor reformatting.
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb, usage.adb, gnat_ugn.texi: Mark -gnates as internal,
remove from doc.
From-SVN: r206873
Diffstat (limited to 'gcc/ada/checks.adb')
-rw-r--r-- | gcc/ada/checks.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 496c3a2..f496055 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1508,7 +1508,7 @@ package body Checks is return; end if; - -- Suppress checks if the subtypes are the same. the check must be + -- Suppress checks if the subtypes are the same. The check must be -- preserved in an assignment to a formal, because the constraint is -- given by the actual. @@ -1552,7 +1552,7 @@ package body Checks is -- the constraints are constants. In this case, we can do the check -- successfully at compile time. - -- We skip this check for the case where the node is rewritten`as + -- We skip this check for the case where the node is rewritten as -- an allocator, because it already carries the context subtype, -- and extracting the discriminants from the aggregate is messy. @@ -1569,7 +1569,7 @@ package body Checks is begin -- S_Typ may not have discriminants in the case where it is a -- private type completed by a default discriminated type. In that - -- case, we need to get the constraints from the underlying_type. + -- case, we need to get the constraints from the underlying type. -- If the underlying type is unconstrained (i.e. has no default -- discriminants) no check is needed. |