From 8eb0cb2c842801e76a543aeeb0e0a2b7bb331a1a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 15 Jan 2017 18:22:51 +0100 Subject: canon: handle all signal attributes in canon_extract_sensitivity. For #256 --- src/vhdl/canon.adb | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) (limited to 'src/vhdl') diff --git a/src/vhdl/canon.adb b/src/vhdl/canon.adb index 8f23bf2d9..595faaeb7 100644 --- a/src/vhdl/canon.adb +++ b/src/vhdl/canon.adb @@ -212,25 +212,17 @@ package body Canon is when Iir_Kinds_Type_Attribute => null; - when Iir_Kind_Event_Attribute - | Iir_Kind_Active_Attribute => + when Iir_Kinds_Signal_Value_Attribute => -- LRM 8.1 -- An attribute name: [...]; otherwise, apply this rule to the -- prefix of the attribute name. Canon_Extract_Sensitivity (Get_Prefix (Expr), Sensitivity_List, False); - - when Iir_Kind_Last_Value_Attribute => - null; - when Iir_Kind_Interface_Signal_Declaration | Iir_Kind_Signal_Declaration | Iir_Kind_Guard_Signal_Declaration - | Iir_Kind_Stable_Attribute - | Iir_Kind_Delayed_Attribute - | Iir_Kind_Quiet_Attribute - | Iir_Kind_Transaction_Attribute => + | Iir_Kinds_Signal_Attribute => -- LRM 8.1 -- A simple name that denotes a signal, add the longuest static -- prefix of the name to the sensitivity set; -- cgit v1.2.3