Allow signal declarations in entity declarative part. Issue #547

src/parse.c

@@ -6933,9 +6933,14 @@ static void p_entity_declarative_item(tree_t entity)
       p_variable_declaration(entity);
       break;
 
+   case tSIGNAL:
+      p_signal_declaration(entity);
+      break;
+
    default:
       expect(tATTRIBUTE, tTYPE, tSUBTYPE, tCONSTANT, tFUNCTION, tPROCEDURE,
-             tIMPURE, tPURE, tALIAS, tUSE, tDISCONNECT, tGROUP, tSHARED);
+             tIMPURE, tPURE, tALIAS, tUSE, tDISCONNECT, tGROUP, tSHARED,
+             tSIGNAL);
    }
 }
 

test/regress/issue547.vhd

@@ -0,0 +1,40 @@
+entity sub is
+    signal x : bit;
+end entity;
+
+architecture test of sub is
+begin
+
+    x <= '1';
+
+    process is
+    begin
+        assert x = '0';
+        wait for 0 ns;
+        assert x = '1';
+        wait;
+    end process;
+
+end architecture;
+
+-------------------------------------------------------------------------------
+
+entity issue547 is
+    signal s : natural;
+end entity;
+
+architecture test of issue547 is
+begin
+
+    u: entity work.sub;
+
+    p1: process is
+    begin
+        assert s = 0;
+        s <= 1;
+        wait for 1 ns;
+        assert s = 1;
+        wait;
+    end process;
+
+end architecture;

test/regress/testlist.txt

@@ -674,3 +674,4 @@ issue542        normal
 issue540        normal,2008
 guard3          normal
 issue543        normal,2008
+issue547        normal