summaryrefslogtreecommitdiff
path: root/src/vhdl/sem_names.adb
diff options
context:
space:
mode:
authorTristan Gingold2015-05-20 21:33:45 +0200
committerTristan Gingold2015-05-20 21:33:45 +0200
commit338d9cce77d60cb34cf02c6cab9ceb4a2918938f (patch)
tree7902a2299cc37f5b2b94b7982ef2375c3afdcb7b /src/vhdl/sem_names.adb
parente83033f53ffe78b0d3698a6bcf9c61824f97abc8 (diff)
downloadghdl-338d9cce77d60cb34cf02c6cab9ceb4a2918938f.tar.gz
ghdl-338d9cce77d60cb34cf02c6cab9ceb4a2918938f.tar.bz2
ghdl-338d9cce77d60cb34cf02c6cab9ceb4a2918938f.zip
Fix staticness of array attributes.
Diffstat (limited to 'src/vhdl/sem_names.adb')
-rw-r--r--src/vhdl/sem_names.adb8
1 files changed, 1 insertions, 7 deletions
diff --git a/src/vhdl/sem_names.adb b/src/vhdl/sem_names.adb
index 571bc7c..897abef 100644
--- a/src/vhdl/sem_names.adb
+++ b/src/vhdl/sem_names.adb
@@ -885,7 +885,6 @@ package body Sem_Names is
Index_Type : Iir;
Prefix : Iir;
Prefix_Name : Iir;
- Staticness : Iir_Staticness;
begin
-- LRM93 14.1
-- Parameter: A locally static expression of type universal_integer, the
@@ -986,12 +985,7 @@ package body Sem_Names is
-- A globally static array subtype is a constrained array subtype
-- formed by imposing on an unconstrained array type a globally static
-- index constraint.
- Staticness := Get_Type_Staticness (Prefix_Type);
- if Is_Type_Name (Prefix_Name) = Null_Iir then
- Staticness := Iir_Staticness'Max (Staticness,
- Get_Expr_Staticness (Prefix));
- end if;
- Set_Expr_Staticness (Attr, Staticness);
+ Set_Expr_Staticness (Attr, Get_Type_Staticness (Prefix_Type));
end Finish_Sem_Array_Attribute;
procedure Finish_Sem_Scalar_Type_Attribute