diff options
| -rw-r--r-- | src/synth/elab-vhdl_expr.adb | 7 | ||||
| -rw-r--r-- | src/synth/elab-vhdl_types.adb | 2 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/synth/elab-vhdl_expr.adb b/src/synth/elab-vhdl_expr.adb index 76a9a59e8..72a0e2b8c 100644 --- a/src/synth/elab-vhdl_expr.adb +++ b/src/synth/elab-vhdl_expr.adb @@ -698,6 +698,13 @@ package body Elab.Vhdl_Expr is Val := Elab.Vhdl_Heap.Synth_Dereference (Read_Access (Val)); return Val.Typ; end; + when Iir_Kind_Function_Call => + declare + Val : Valtyp; + begin + Val := Synth.Vhdl_Expr.Synth_Expression (Syn_Inst, Name); + return Val.Typ; + end; when others => Error_Kind ("exec_name_subtype", Name); end case; diff --git a/src/synth/elab-vhdl_types.adb b/src/synth/elab-vhdl_types.adb index ad43277fb..ffddd20ae 100644 --- a/src/synth/elab-vhdl_types.adb +++ b/src/synth/elab-vhdl_types.adb @@ -82,6 +82,8 @@ package body Elab.Vhdl_Types is -- TODO: does this cover all the cases ? Typ := Get_Subtype_Object (Syn_Inst, Get_Subtype_Indication (Prefix)); else + -- The expression cannot be fully executed as it can be a signal + -- (whose evaluation is not allowed during elaboration). Typ := Exec_Name_Subtype (Syn_Inst, Prefix_Name); end if; |