vhdl: handle locally static attributes on entity/architecture/configurations

Attributes of entity/architecture/configurations are expected to be locally
static so that they can be referenced from outside (so on the non-instantiated
entity).

But many designs break this assumption.  In relaxed mode, non-locally static
attributes are allowed but now cannot be referenced outside the entity.

Locally static attributes can be referenced from outside.

Fix #1528

1 files changed, 10 insertions, 1 deletions

diff --git a/src/vhdl/vhdl-sem_names.adb b/src/vhdl/vhdl-sem_names.adb
index 636979880..17db8ba99 100644
--- a/src/vhdl/vhdl-sem_names.adb
+++ b/src/vhdl/vhdl-sem_names.adb
@@ -3315,7 +3315,7 @@ package body Vhdl.Sem_Names is
            | Iir_Kind_Unit_Declaration
            | Iir_Kind_Component_Declaration
            | Iir_Kinds_Library_Unit =>
-            --  FIXME: to complete
+            --  FIXME: complete
             null;
          when Iir_Kinds_Sequential_Statement
            | Iir_Kinds_Concurrent_Statement =>
@@ -3341,6 +3341,15 @@ package body Vhdl.Sem_Names is
 
       Xref_Ref (Attr, Value);
 
+      if Get_Static_Attribute_Flag (Get_Attribute_Specification (Value))
+        and then not Get_Is_Within_Flag (Prefix)
+        and then Get_Expr_Staticness (Value) /= Locally
+      then
+         Error_Msg_Sem
+           (+Attr, "non-locally static attribute cannot be referenced here");
+         return Error_Mark;
+      end if;
+
       return Value;
    end Sem_User_Attribute;