aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-processes.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-processes.adb')
-rw-r--r--src/grt/grt-processes.adb9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/grt/grt-processes.adb b/src/grt/grt-processes.adb
index 5a657a5de..19998abd6 100644
--- a/src/grt/grt-processes.adb
+++ b/src/grt/grt-processes.adb
@@ -104,6 +104,11 @@ package body Grt.Processes is
Timeout_Chain_Next => null,
Timeout_Chain_Prev => null);
Set_Current_Process (Elab_Process);
+
+ -- LRM93 12.3 Elaboration of a declarative part
+ -- During static elaboration, the function STD.STANDARD.NOW (see 14.2)
+ -- returns the vallue 0 ns.
+ Current_Time := 0;
end Init;
function Get_Nbr_Processes return Natural is
@@ -823,7 +828,9 @@ package body Grt.Processes is
-- LRM93 12.6.4
-- At the beginning of initialization, the current time, Tc, is assumed
-- to be 0 ns.
- Current_Time := 0;
+ --
+ -- GHDL: already initialized before elaboration.
+ pragma Assert (Current_Time = 0);
-- The initialization phase consists of the following steps:
-- - The driving value and the effective value of each explicitly