From 383fc4f226fb6b8a05a9ca201c699fce119dda1d Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 17 Jan 2021 16:04:06 +0100 Subject: synth-insts: apply attributes to entities and architectures. Fix #1609 --- src/synth/synth-insts.adb | 8 ++++++++ src/synth/synth-stmts.ads | 4 ++++ 2 files changed, 12 insertions(+) (limited to 'src') 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 @@ -1531,6 +1531,10 @@ package body Synth.Insts is (Syn_Inst, Get_Concurrent_Statement_Chain (Entity)); 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; @@ -1539,6 +1543,10 @@ package body Synth.Insts is (Syn_Inst, Get_Concurrent_Statement_Chain (Arch)); 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; 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); -- cgit v1.2.3