diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-11-20 11:16:44 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-11-20 11:16:44 +0000 |
| commit | 987bbd0d9fde9ea7ee0f805200694577e6bbb7c5 (patch) | |
| tree | f21b0d91a33cad9b9a346ca381e6543fa540445a /gcc/ada/a-cfinve.adb | |
| parent | 4bdd53442fce555334ff281ec086f867482754af (diff) | |
| download | gcc-987bbd0d9fde9ea7ee0f805200694577e6bbb7c5.tar.gz | |
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Implemented): In ASIS
(compile-only) mode, use original type declaration to determine
whether protected type implements an interface.
2014-11-20 Yannick Moy <moy@adacore.com>
* a-cfdlli.adb, a-cfdlli.ads, a-cfinve.adb, a-cfinve.ads,
* a-cofove.adb, a-cofove.ads: Mark spec as SPARK_Mode, and private
part/body as SPARK_Mode Off.
* a-cfhama.adb, a-cfhama.ads, a-cfhase.adb, a-cfhase.ads,
* a-cforma.adb, a-cforma.ads, a-cforse.adb, a-cforse.ads: Use
aspect instead of pragma for uniformity.
2014-11-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Is_EVF_Expression): Include
attributes 'Loop_Entry, 'Old and 'Update to the logic.
2014-11-20 Bob Duff <duff@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): Don't
call Left_Opnd in the case of unary operators, because they only
have Right.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217838 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfinve.adb')
| -rw-r--r-- | gcc/ada/a-cfinve.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/a-cfinve.adb b/gcc/ada/a-cfinve.adb index 793b5c3922f..e3f917aaa1e 100644 --- a/gcc/ada/a-cfinve.adb +++ b/gcc/ada/a-cfinve.adb @@ -26,7 +26,9 @@ -- <http://www.gnu.org/licenses/>. -- ------------------------------------------------------------------------------ -package body Ada.Containers.Formal_Indefinite_Vectors is +package body Ada.Containers.Formal_Indefinite_Vectors with + SPARK_Mode => Off +is function H (New_Item : Element_Type) return Holder renames To_Holder; function E (Container : Holder) return Element_Type renames Get; |