diff options
Diffstat (limited to 'src/vhdl/sem_decls.ads')
| -rw-r--r-- | src/vhdl/sem_decls.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/vhdl/sem_decls.ads b/src/vhdl/sem_decls.ads index 49ba43a..659e80b 100644 --- a/src/vhdl/sem_decls.ads +++ b/src/vhdl/sem_decls.ads @@ -50,6 +50,12 @@ package Sem_Decls is -- is an overload list, it is destroyed. function Sem_Signature (Name : Iir; Sig : Iir_Signature) return Iir; + -- If the type of DECL is unconstrained, create a contrained subtype + -- either locally or globally static (according to VALUE). + -- This is to apply rules of LRM93 3.2.1.1 Index constraints and + -- discrete ranges. + procedure Sem_Object_Type_From_Value (Decl : Iir; Value : Iir); + -- The attribute signals ('stable, 'quiet and 'transaction) are -- implicitely declared. -- Note: guard signals are also implicitly declared but with a guard |