diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-25 15:30:09 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-25 15:30:09 +0000 |
| commit | 1d1b38b0508fe0eb0cb2e0dbb0cf74d635a796f3 (patch) | |
| tree | 0b4ee010f8f17eeae93b58244a06c4db1d8650d9 /gcc/ada/a-exetim-mingw.ads | |
| parent | 3eacd753fd31b052824460a3f3b078b79e555edf (diff) | |
| download | gcc-1d1b38b0508fe0eb0cb2e0dbb0cf74d635a796f3.tar.gz | |
2015-11-25 Eric Botcazou <ebotcazou@adacore.com>
* gnatlink.adb (Gnatlink): Do not reinstate -fsjlj for the linker
from the switches saved in the ALI file but from the exception
settings.
2015-11-25 Arnaud Charlet <charlet@adacore.com>
* lib-xref-spark_specific.adb
(Add_SPARK_Scope): Take entry families into account.
* a-exetim.ads, a-exetim-default.ads, a-exetim-mingw.ads (Clock,
Clock_For_Interrupts): preconditions added.
* a-extiin.ads (Clock): preconditions added.
* par-ch3.adb (P_Declarative_Items): In case of misplaced
aspect specifications, ensure that flag Done is properly set to
continue parsing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230879 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-exetim-mingw.ads')
| -rw-r--r-- | gcc/ada/a-exetim-mingw.ads | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/ada/a-exetim-mingw.ads b/gcc/ada/a-exetim-mingw.ads index 8e1e764e50b..5ba3e08c386 100644 --- a/gcc/ada/a-exetim-mingw.ads +++ b/gcc/ada/a-exetim-mingw.ads @@ -49,13 +49,16 @@ is CPU_Time_Unit : constant := 0.000001; CPU_Tick : constant Ada.Real_Time.Time_Span; + use type Ada.Task_Identification.Task_Id; + function Clock (T : Ada.Task_Identification.Task_Id := Ada.Task_Identification.Current_Task) return CPU_Time with Volatile_Function, - Global => Ada.Real_Time.Clock_Time; + Global => Ada.Real_Time.Clock_Time, + Pre => T /= Ada.Task_Identification.Null_Task_Id; function "+" (Left : CPU_Time; @@ -105,9 +108,12 @@ is Interrupt_Clocks_Supported : constant Boolean := False; Separate_Interrupt_Clocks_Supported : constant Boolean := False; + pragma Warnings (Off, "check will fail at run time"); function Clock_For_Interrupts return CPU_Time with Volatile_Function, - Global => Ada.Real_Time.Clock_Time; + Global => Ada.Real_Time.Clock_Time, + Pre => Interrupt_Clocks_Supported; + pragma Warnings (On, "check will fail at run time"); private pragma SPARK_Mode (Off); |