aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/a-cofove.ads
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2015-03-04 11:01:40 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2015-03-04 11:01:40 +0100
commit203876fcae96c1b556fbe86a70975597a547beaf (patch)
treee09a5e6c517c9329f65598c0cfeeacad14940e4f /gcc/ada/a-cofove.ads
parent5264d0df90c24246ba312c3bcce9b3841ca29a66 (diff)
downloadgcc-203876fcae96c1b556fbe86a70975597a547beaf.zip
gcc-203876fcae96c1b556fbe86a70975597a547beaf.tar.gz
gcc-203876fcae96c1b556fbe86a70975597a547beaf.tar.bz2
[multiple changes]
2015-03-04 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Abstract_State): Use routine Malformed_State_Error to issue general errors. (Analyze_Pragma): Diagnose a syntax error related to a state declaration with a simple option. (Malformed_State_Error): New routine. 2015-03-04 Robert Dewar <dewar@adacore.com> * a-strsup.adb (Super_Slice): Deal with super flat case. * einfo.ads: Minor reformatting. * s-imgdec.adb (Set_Decimal_Digits): Add comment about possibly redundant code. 2015-03-04 Claire Dross <dross@adacore.com> * a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads, a-cforse.ads, a-cofove.ads: Use Default_Initial_Condition on formal containers. From-SVN: r221180
Diffstat (limited to 'gcc/ada/a-cofove.ads')
-rw-r--r--gcc/ada/a-cofove.ads4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/a-cofove.ads b/gcc/ada/a-cofove.ads
index 3d4c1b3..284f034 100644
--- a/gcc/ada/a-cofove.ads
+++ b/gcc/ada/a-cofove.ads
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--- Copyright (C) 2004-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@ -61,7 +61,7 @@ is
Count_Type range 0 .. Count_Type (Index_Type'Last - Index_Type'First + 1);
type Vector (Capacity : Capacity_Range) is limited private with
- Default_Initial_Condition;
+ Default_Initial_Condition => Is_Empty (Vector);
-- In the bounded case, Capacity is the capacity of the container, which
-- never changes. In the unbounded case, Capacity is the initial capacity
-- of the container, and operations such as Reserve_Capacity and Append can