diff options
Diffstat (limited to 'src/vhdl')
-rw-r--r-- | src/vhdl/vhdl-sem_decls.adb | 3 | ||||
-rw-r--r-- | src/vhdl/vhdl-sem_names.adb | 2 |
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 |