aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/a-cofove.ads
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-11-07 14:51:20 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2014-11-07 14:51:20 +0100
commit8ad1c2df7449624fa5f7d6b9186099d2dfc1b6ab (patch)
tree4550df1ec611f0fa0456eb8345bb6d218bdebd7f /gcc/ada/a-cofove.ads
parenta98480ddbbe03479ae6606ed674de2999e24c022 (diff)
downloadgcc-8ad1c2df7449624fa5f7d6b9186099d2dfc1b6ab.zip
gcc-8ad1c2df7449624fa5f7d6b9186099d2dfc1b6ab.tar.gz
gcc-8ad1c2df7449624fa5f7d6b9186099d2dfc1b6ab.tar.bz2
[multiple changes]
2014-11-07 Robert Dewar <dewar@adacore.com> * freeze.adb: Code clean up. 2014-11-07 Yannick Moy <moy@adacore.com> * a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cfinve.ads, * a-cforma.ads, a-cforse.ads, a-cofove.ads: Mark First_To_Previous, Current_To_Last and Strict_Equal as Ghost. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: Code clean up. From-SVN: r217225
Diffstat (limited to 'gcc/ada/a-cofove.ads')
-rw-r--r--gcc/ada/a-cofove.ads3
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/a-cofove.ads b/gcc/ada/a-cofove.ads
index cff122a..6ac7918 100644
--- a/gcc/ada/a-cofove.ads
+++ b/gcc/ada/a-cofove.ads
@@ -212,11 +212,14 @@ package Ada.Containers.Formal_Vectors is
(Container : Vector;
Current : Index_Type) return Vector
with
+ Ghost,
Global => null;
+
function Current_To_Last
(Container : Vector;
Current : Index_Type) return Vector
with
+ Ghost,
Global => null;
-- First_To_Previous returns a container containing all elements preceding
-- Current (excluded) in Container. Current_To_Last returns a container