aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-01-21 08:57:53 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2014-01-21 08:57:53 +0100
commit6b6041ec651c69871cc4c8d0ba3621c575b97e75 (patch)
tree695e62bceda250d6591337f5ed5f9898a0e29048 /gcc/ada/checks.adb
parent77a2f3df910f3b32cb0cbc3b6967c229d5680272 (diff)
downloadgcc-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.adb6
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.