diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-20 12:09:17 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-20 12:09:17 +0000 |
| commit | 31bee9067a63378e8ad67d86a53ca514f34dbf71 (patch) | |
| tree | d0a0a7d8410dfab9e8d57ee81f5cd57dfc9c35b2 /gcc/ada/a-cfinve.ads | |
| parent | 28191f15175e64d2a5cc2e542a46ae2271e428ce (diff) | |
| download | gcc-31bee9067a63378e8ad67d86a53ca514f34dbf71.tar.gz | |
2015-10-20 Jerome Lambourg <lambourg@adacore.com>
* init.c (__gnat_vxsim_error_handler): Completely disable on
VxWorks-7 as the VSBs used to build gcc do not support vxsim
architecture.
2015-10-20 Claire Dross <dross@adacore.com>
* a-cfdlli.ads, a-cfinve.ads, a-cofove.ads (Generic_Sorting): Explicit
SPARK_Mode.
* a-cfhase.ads, a-cforse.ads (Generic_Keys): Explicit SPARK_Mode.
2015-10-20 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb (Expand_N_Protected_Type_Declaration):
Check for No_Implicit_Protected_Object_Allocations.
* fe.h (Check_No_Implicit_Task_Alloc,
Check_No_Implicit_Protected_Alloc): Define and declare.
* restrict.ads, restrict.adb (Check_No_Implicit_Task_Alloc,
Check_No_Implicit_Protected_Alloc): New procedures to check the
restrictions.
* s-rident.ads (No_Implicit_Task_Allocations)
(No_Implicit_Protected_Object_Allocations): Declare new
restrictions.
2015-10-20 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Selected_Component): Only set flag
when component is defined in a variant part.
* sem_util.adb,
* sem_util.ads (Is_Declared_Within_Variant): Promote local query
as publicy visible one for use in Resolve_Selected_Component.
2015-10-20 Philippe Gil <gil@adacore.com>
* g-debpoo.adb: allow instrumented System.Memory to use Debug_Pool
from foreign threads.
* g-debpoo.adb (Print_Traceback): NEW print traceback if available
added to support Stack_Trace_Depth = 0.
(Print_Address): NEW print System.Address without no secondary
stack use (Address_Image uses secondary stack)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229058 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfinve.ads')
| -rw-r--r-- | gcc/ada/a-cfinve.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/a-cfinve.ads b/gcc/ada/a-cfinve.ads index 7559df6e4b5..2fef4af7856 100644 --- a/gcc/ada/a-cfinve.ads +++ b/gcc/ada/a-cfinve.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2014, Free Software Foundation, Inc. -- +-- Copyright (C) 2014-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 -- @@ -198,7 +198,7 @@ is generic with function "<" (Left, Right : Element_Type) return Boolean is <>; - package Generic_Sorting is + package Generic_Sorting with SPARK_Mode is function Is_Sorted (Container : Vector) return Boolean with Global => null; |