summaryrefslogtreecommitdiff
path: root/gcc/ada/a-coinve.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2011-12-12 12:52:04 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2011-12-12 12:52:04 +0100
commitfe58fea70b2614f36fb9e1fde78af892426ad8a6 (patch)
tree47e75a0a07789fbe0929f7955dd7427cfbfb0c0b /gcc/ada/a-coinve.adb
parentee1a757231c05815f7e2f9e5e0ced98b380c0416 (diff)
downloadgcc-fe58fea70b2614f36fb9e1fde78af892426ad8a6.tar.gz
[multiple changes]
2011-12-12 Gary Dismukes <dismukes@adacore.com> * freeze.adb (Freeze_Expression): Allow freezing of static scalar subtypes that are prefixes of an attribute, even if not yet marked static. Such attributes will get marked as static later in Eval_Attribute (as called from Resolve_Attribute). * sem_attr.adb (Eval_Attribute): Remove wrong code that does an early return for attribute prefixes that are unfrozen source-level types. This code was incorrectly bypassing folding of unfrozen static subtype attributes in default expressions (the executable example in the now-deleted comment was in fact illegal). 2011-12-12 Robert Dewar <dewar@adacore.com> * a-coinve.adb, sem_res.adb, prj-nmsc.adb, a-cobove.adb, a-convec.adb, gnatls.adb, sem_ch13.adb, prj-env.adb, prj-env.ads: Minor reformatting. 2011-12-12 Tristan Gingold <gingold@adacore.com> * gsocket.h: Adjust previous patch. From-SVN: r182228
Diffstat (limited to 'gcc/ada/a-coinve.adb')
-rw-r--r--gcc/ada/a-coinve.adb28
1 files changed, 14 insertions, 14 deletions
diff --git a/gcc/ada/a-coinve.adb b/gcc/ada/a-coinve.adb
index fed45faddda..b845e6fc7ff 100644
--- a/gcc/ada/a-coinve.adb
+++ b/gcc/ada/a-coinve.adb
@@ -1184,16 +1184,16 @@ package body Ada.Containers.Indefinite_Vectors is
-- The value of the iterator object's Index component influences the
-- behavior of the First (and Last) selector function.
- -- When the Index component is No_Index, this means the iterator object
- -- was constructed without a start expression, in which case the
+ -- When the Index component is No_Index, this means the iterator
+ -- object was constructed without a start expression, in which case the
-- (forward) iteration starts from the (logical) beginning of the entire
-- sequence of items (corresponding to Container.First, for a forward
-- iterator).
- -- Otherwise, this is iteration over a partial sequence of items. When
- -- the Index component isn't No_Index, the iterator object was
- -- constructed with a start expression, that specifies the position from
- -- which the (forward) partial iteration begins.
+ -- Otherwise, this is iteration over a partial sequence of items.
+ -- When the Index component isn't No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position
+ -- from which the (forward) partial iteration begins.
if Object.Index = No_Index then
return First (Object.Container.all);
@@ -2630,8 +2630,8 @@ package body Ada.Containers.Indefinite_Vectors is
-- is a partial iteration, over a subset of the complete sequence of
-- items. The iterator object was constructed with a start expression,
-- indicating the position from which the iteration begins. Note that
- -- the start position has the same value irrespective of whether this is
- -- a forward or reverse iteration.
+ -- the start position has the same value irrespective of whether this
+ -- is a forward or reverse iteration.
return It : constant Iterator :=
(Limited_Controlled with
@@ -2660,15 +2660,15 @@ package body Ada.Containers.Indefinite_Vectors is
-- The value of the iterator object's Index component influences the
-- behavior of the Last (and First) selector function.
- -- When the Index component is No_Index, this means the iterator object
- -- was constructed without a start expression, in which case the
+ -- When the Index component is No_Index, this means the iterator
+ -- object was constructed without a start expression, in which case the
-- (reverse) iteration starts from the (logical) beginning of the entire
-- sequence (corresponding to Container.Last, for a reverse iterator).
- -- Otherwise, this is iteration over a partial sequence of items. When
- -- the Index component is not No_Index, the iterator object was
- -- constructed with a start expression, that specifies the position from
- -- which the (reverse) partial iteration begins.
+ -- Otherwise, this is iteration over a partial sequence of items.
+ -- When the Index component is not No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position
+ -- from which the (reverse) partial iteration begins.
if Object.Index = No_Index then
return Last (Object.Container.all);