diff options
-rw-r--r-- | src/synth/synth-insts.adb | 8 | ||||
-rw-r--r-- | src/synth/synth-stmts.ads | 4 |
2 files changed, 12 insertions, 0 deletions
diff --git a/src/synth/synth-insts.adb b/src/synth/synth-insts.adb index 8b815b286..d83b8fbc1 100644 --- a/src/synth/synth-insts.adb +++ b/src/synth/synth-insts.adb @@ -1532,6 +1532,10 @@ package body Synth.Insts is end if; if not Is_Error (Syn_Inst) then + Synth_Attribute_Values (Syn_Inst, Entity); + end if; + + if not Is_Error (Syn_Inst) then Synth_Declarations (Syn_Inst, Get_Declaration_Chain (Arch)); end if; if not Is_Error (Syn_Inst) then @@ -1540,6 +1544,10 @@ package body Synth.Insts is end if; if not Is_Error (Syn_Inst) then + Synth_Attribute_Values (Syn_Inst, Arch); + end if; + + if not Is_Error (Syn_Inst) then Synth_Verification_Units (Syn_Inst, Entity); end if; if not Is_Error (Syn_Inst) then diff --git a/src/synth/synth-stmts.ads b/src/synth/synth-stmts.ads index 2fd01c17b..6da36c051 100644 --- a/src/synth/synth-stmts.ads +++ b/src/synth/synth-stmts.ads @@ -88,6 +88,10 @@ package Synth.Stmts is procedure Synth_Concurrent_Statements (Syn_Inst : Synth_Instance_Acc; Stmts : Node); + -- Apply attributes of UNIT. + procedure Synth_Attribute_Values + (Syn_Inst : Synth_Instance_Acc; Unit : Node); + procedure Synth_Verification_Unit (Syn_Inst : Synth_Instance_Acc; Unit : Node); |