aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-07-12 19:42:48 +0200
committerTristan Gingold <tgingold@free.fr>2019-07-13 08:03:52 +0200
commit61179df112a8a039dbf234eeb9dbfa7327a1f62c (patch)
treec8cb0d149d9c5cb116ca9b01736c69d904a011f2
parent947e49c40fc96eede34af48728899205178bd40f (diff)
downloadghdl-61179df112a8a039dbf234eeb9dbfa7327a1f62c.tar.gz
ghdl-61179df112a8a039dbf234eeb9dbfa7327a1f62c.tar.bz2
ghdl-61179df112a8a039dbf234eeb9dbfa7327a1f62c.zip
simul-elaboration: rewrite assertion.
-rw-r--r--src/vhdl/simulate/simul-elaboration.adb6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/vhdl/simulate/simul-elaboration.adb b/src/vhdl/simulate/simul-elaboration.adb
index b4f690ab4..61048392b 100644
--- a/src/vhdl/simulate/simul-elaboration.adb
+++ b/src/vhdl/simulate/simul-elaboration.adb
@@ -2304,9 +2304,9 @@ package body Simul.Elaboration is
El : Iir;
Info : Sim_Info_Acc;
begin
- if List = Iir_Flist_All or else List = Iir_Flist_Others then
- raise Internal_Error;
- end if;
+ -- The list has been expanded by canon.
+ pragma Assert (List /= Iir_Flist_All
+ and then List /= Iir_Flist_Others);
for I in Flist_First .. Flist_Last (List) loop
El := Get_Nth_Element (List, I);
Info := Get_Info (Get_Named_Entity (El));