simul: recompute object alias offsets

1 files changed, 14 insertions, 1 deletions

diff --git a/src/simul/simul-vhdl_elab.adb b/src/simul/simul-vhdl_elab.adb
index a8c285be6..89e75e7c7 100644
--- a/src/simul/simul-vhdl_elab.adb
+++ b/src/simul/simul-vhdl_elab.adb
@@ -358,15 +358,28 @@ package body Simul.Vhdl_Elab is
                Pfx := Compute_Sub_Signal (Inst, Get_Prefix (Decl));
                Gather_Signal ((Mode_Stable, Decl, Inst, null, null, null,
                                No_Sensitivity_Index, No_Signal_Index,
-                               T, Pfx));
+                               No_Connect_Index, T, Pfx));
             end;
          when Iir_Kind_Object_Alias_Declaration =>
             --  In case it aliases a signal.
             declare
+               Marker : Mark_Type;
                V : Valtyp;
+               Base : Valtyp;
+               Typ : Type_Acc;
+               Off : Value_Offsets;
             begin
                V := Get_Value (Inst, Decl);
                Convert_Type_Width (V.Typ);
+
+               --  Recompute alias offsets.
+               Mark_Expr_Pool (Marker);
+               Synth.Vhdl_Stmts.Synth_Assignment_Prefix
+                 (Inst, Get_Name (Decl), Base, Typ, Off);
+               V.Val.A_Off := Off;
+               pragma Assert (Base.Val = V.Val.A_Obj);
+               pragma Unreferenced (Typ);
+               Release_Expr_Pool (Marker);
             end;
          when Iir_Kind_Disconnection_Specification =>
             Gather_Disconnection (Inst, Decl);