From 162561a5659c6276368fde2fd5eaebd8400c0e57 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 21 Jul 2022 21:33:57 +0200 Subject: elab-vhdl_decls: elaborate dot attribute --- src/vhdl/vhdl-sem_decls.adb | 3 --- src/vhdl/vhdl-sem_names.adb | 2 +- 2 files changed, 1 insertion(+), 4 deletions(-) (limited to 'src/vhdl') diff --git a/src/vhdl/vhdl-sem_decls.adb b/src/vhdl/vhdl-sem_decls.adb index 11a07a1ae..8d7cbe50f 100644 --- a/src/vhdl/vhdl-sem_decls.adb +++ b/src/vhdl/vhdl-sem_decls.adb @@ -68,9 +68,6 @@ package body Vhdl.Sem_Decls is is Decl : Iir; begin - -- We deal only with signal attribute. - pragma Assert (Get_Kind (Attr) in Iir_Kinds_AMS_Signal_Attribute); - -- There must be a declarative part for implicit signals. pragma Assert (Current_Signals_Region.Decls_Parent /= Null_Iir); diff --git a/src/vhdl/vhdl-sem_names.adb b/src/vhdl/vhdl-sem_names.adb index e7a1f836a..3993cae22 100644 --- a/src/vhdl/vhdl-sem_names.adb +++ b/src/vhdl/vhdl-sem_names.adb @@ -2030,7 +2030,7 @@ package body Vhdl.Sem_Names is return Res; when Iir_Kind_Dot_Attribute | Iir_Kind_Integ_Attribute => - -- Already finished. + Sem_Decls.Add_Implicit_Declaration (Res); return Res; when Iir_Kinds_Type_Attribute | Iir_Kind_Subtype_Attribute -- cgit v1.2.3