aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/vhdl/errorout.ads3
-rw-r--r--src/vhdl/sem_specs.adb36
2 files changed, 35 insertions, 4 deletions
diff --git a/src/vhdl/errorout.ads b/src/vhdl/errorout.ads
index f2f07ed57..224f18cb9 100644
--- a/src/vhdl/errorout.ads
+++ b/src/vhdl/errorout.ads
@@ -340,7 +340,8 @@ private
type Warnings_Setting is array (Msgid_Warnings) of Warning_Control_Type;
Default_Warnings : constant Warnings_Setting :=
- (Warnid_Binding | Warnid_Library | Warnid_Shared | Warnid_Pure
+ (Warnid_Binding | Warnid_Library | Warnid_Shared
+ | Warnid_Pure | Warnid_Specs
| Warnid_Port => (Enabled => True, Error => False),
others => (Enabled => False, Error => False));
end Errorout;
diff --git a/src/vhdl/sem_specs.adb b/src/vhdl/sem_specs.adb
index a23d4bc1c..af5d1c3a4 100644
--- a/src/vhdl/sem_specs.adb
+++ b/src/vhdl/sem_specs.adb
@@ -700,6 +700,38 @@ package body Sem_Specs is
procedure Sem_Attribute_Specification
(Spec : Iir_Attribute_Specification; Scope : Iir)
is
+ -- Emit an error message when NAME is not found.
+ procedure Error_Attribute_Specification (Name : Iir)
+ is
+ Inter : Name_Interpretation_Type;
+ Decl : Iir;
+ begin
+ if Flag_Relaxed_Rules or Vhdl_Std = Vhdl_93c then
+ -- Some (clueless ?) vendors put attribute specifications in
+ -- architectures for ports (declared in entities). This is not
+ -- valid according to the LRM (eg: LRM02 5.1 Attribute
+ -- specification). Be tolerant.
+ Inter := Get_Interpretation (Get_Identifier (Name));
+ if Valid_Interpretation (Inter) then
+ Decl := Get_Declaration (Inter);
+ if Get_Kind (Decl) = Iir_Kind_Interface_Signal_Declaration
+ and then (Get_Kind (Get_Parent (Decl))
+ = Iir_Kind_Entity_Declaration)
+ and then Get_Kind (Scope) = Iir_Kind_Architecture_Body
+ then
+ Warning_Msg_Sem
+ (Warnid_Specs, +Name,
+ "attribute for port %i must be specified in the entity",
+ (1 => +Name));
+ return;
+ end if;
+ end if;
+ end if;
+
+ Error_Msg_Sem
+ (+Name, "no %i for attribute specification", (1 => +Name));
+ end Error_Attribute_Specification;
+
use Tokens;
Name : Iir;
@@ -806,9 +838,7 @@ package body Sem_Specs is
-- It is an error if the class of those names is not the
-- same as that denoted by entity class.
if not Sem_Named_Entities (Scope, El, Spec, True) then
- Error_Msg_Sem_Relaxed
- (El, Warnid_Specs,
- "no %i for attribute specification", (1 => +El));
+ Error_Attribute_Specification (El);
end if;
end if;
end loop;