aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2018-11-26 20:21:19 +0100
committerTristan Gingold <tgingold@free.fr>2018-11-26 20:21:19 +0100
commit527ab4c2f7f5f8a47040ff4c7d60dc9dbf2926d8 (patch)
treef3d00a74e9bdf7fcafdfc6438181125492462c9e /src/grt
parentb8e0a9f88af799511893c6ff9ad6261f83402255 (diff)
downloadghdl-527ab4c2f7f5f8a47040ff4c7d60dc9dbf2926d8.tar.gz
ghdl-527ab4c2f7f5f8a47040ff4c7d60dc9dbf2926d8.tar.bz2
ghdl-527ab4c2f7f5f8a47040ff4c7d60dc9dbf2926d8.zip
grt: set time for elaboration.
Diffstat (limited to 'src/grt')
-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