aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2022-07-21 21:33:57 +0200
committerTristan Gingold <tgingold@free.fr>2022-07-21 21:34:44 +0200
commit162561a5659c6276368fde2fd5eaebd8400c0e57 (patch)
tree038807d726395a01a6bd7f17bbaf795be3f66c0c /src/vhdl
parent341a8698ccb6b795d46b9570bac06e240c7664de (diff)
downloadghdl-162561a5659c6276368fde2fd5eaebd8400c0e57.tar.gz
ghdl-162561a5659c6276368fde2fd5eaebd8400c0e57.tar.bz2
ghdl-162561a5659c6276368fde2fd5eaebd8400c0e57.zip
elab-vhdl_decls: elaborate dot attribute
Diffstat (limited to 'src/vhdl')
-rw-r--r--src/vhdl/vhdl-sem_decls.adb3
-rw-r--r--src/vhdl/vhdl-sem_names.adb2
2 files changed, 1 insertions, 4 deletions
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