diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-07 14:51:20 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-07 14:51:20 +0100 |
commit | 8ad1c2df7449624fa5f7d6b9186099d2dfc1b6ab (patch) | |
tree | 4550df1ec611f0fa0456eb8345bb6d218bdebd7f /gcc/ada/a-cofove.ads | |
parent | a98480ddbbe03479ae6606ed674de2999e24c022 (diff) | |
download | gcc-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.ads | 3 |
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 |