diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-11-07 13:51:20 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-11-07 13:51:20 +0000 |
| commit | 6a492be3423e4c39009a6e714a9a9e69a687c9d8 (patch) | |
| tree | 4550df1ec611f0fa0456eb8345bb6d218bdebd7f /gcc/ada/a-cfinve.ads | |
| parent | 7d525f2616db39bd47d9c213de182abee3968213 (diff) | |
| download | gcc-6a492be3423e4c39009a6e714a9a9e69a687c9d8.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217225 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfinve.ads')
| -rw-r--r-- | gcc/ada/a-cfinve.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/a-cfinve.ads b/gcc/ada/a-cfinve.ads index 19cc166f268..d7600335c5f 100644 --- a/gcc/ada/a-cfinve.ads +++ b/gcc/ada/a-cfinve.ads @@ -209,11 +209,14 @@ package Ada.Containers.Formal_Indefinite_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; private |