From e1af0a762a6df2e2630b504e782740ba77e323af Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 26 Jan 2016 05:37:01 +0100 Subject: simul: fix attribute specification, noop type conversion, indiv sig assoc. --- src/vhdl/simulate/iir_values.adb | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) (limited to 'src/vhdl/simulate/iir_values.adb') diff --git a/src/vhdl/simulate/iir_values.adb b/src/vhdl/simulate/iir_values.adb index fb0dab0..c79ac8f 100644 --- a/src/vhdl/simulate/iir_values.adb +++ b/src/vhdl/simulate/iir_values.adb @@ -262,8 +262,10 @@ package body Iir_Values is Dest.File := Src.File; when Iir_Value_Protected => Dest.Prot := Src.Prot; - when Iir_Value_Signal - | Iir_Value_Range + when Iir_Value_Signal => + pragma Assert (Dest.Sig = null); + Dest.Sig := Src.Sig; + when Iir_Value_Range | Iir_Value_Quantity | Iir_Value_Terminal => raise Internal_Error; @@ -637,8 +639,11 @@ package body Iir_Values is when Iir_Value_Protected => return Create_Protected_Value (Src.Prot); - when Iir_Value_Signal - | Iir_Value_Quantity + when Iir_Value_Signal => + pragma Assert (Src.Sig = null); + return Create_Signal_Value (Src.Sig); + + when Iir_Value_Quantity | Iir_Value_Terminal => raise Internal_Error; end case; -- cgit