test: moved declaration error cases to test/compiler

test/compiler/efArray.st

+program efArrayTest
+
+evflag efa[3];  /* error: array of event flags */
+
+#include "simple.st"

test/compiler/efGlobal.st

+program efGlobalTest
+
+ss x {
+    evflag a;
+    state y {
+        evflag b;
+        when () {
+            evflag c;
+        } exit
+    }
+}

test/compiler/efPointer.st

+program efPointerTest
+
+evflag *efp;    /* error: pointer to event flag */
+
+#include "simple.st"

test/compiler/foreignGlobal.st

+program foreignGlobalTest
+
+ss x {
+    foreign a;
+    state y {
+        foreign b;
+        when () {
+            foreign c;
+        } exit
+    }
+}

test/compiler/pvNotAssigned.st

+program pvNotAssigned
+
+int a;
+
+entry {
+    pvGet(a);
+    pvPut(a);
+    pvAssign(a, "");
+    pvMonitor(a);
+}
+ss x {
+    state y {
+        entry {
+            pvAssign(a, "");
+            pvMonitor(a);
+            pvGet(a);
+            pvPut(a);
+        }
+        when () {
+            pvAssign(a, "");
+            pvMonitor(a);
+            pvGet(a);
+            pvPut(a);
+        } exit
+        exit {
+            pvAssign(a, "");
+            pvMonitor(a);
+            pvGet(a);
+            pvPut(a);
+        }
+    }
+}
+exit {
+    pvAssign(a, "");
+    pvMonitor(a);
+    pvGet(a);
+    pvPut(a);
+}

test/compiler/test.plt

@@ -23,6 +23,11 @@ my @error = qw(
   syncq_size_out_of_range
   varinit
   varinitOptr
+  efArray
+  efPointer
+  efGlobal
+  foreignGlobal
+  pvNotAssigned
 );
 
 if ($host_arch =~ /64/) {

test/validate/decl.st

@@ -10,11 +10,6 @@ int *(*(*complicated)[2][3])[1] = 0;
 
 evflag ef;
 
-#if 0
-evflag efa[3];  /* error: array of event flags */
-evflag *efp;    /* error: pointer to event flag */
-#endif
-
 /* struct member access */
 %%struct r { int x; } rv;
 
@@ -53,10 +48,7 @@ ss one {
         sync c to ef;
         string s = "s";
         assign s;
-        /* evflag ef; */    /* error: event flag must be global */
-        /* foreign z; */    /* error: foreign must be global */
         entry {
-            /* pvPut(a); */ /* error: not assigned */
             pvPut(b);
             pvPut(c);
             pvPut(s);