Known Bugs
----------

(a) enumerator types cannot be initialized at the time of declaration:
    the SpecC compiler issues a (false) error message in this case;
    as a simple work around, enumerator variables can be initialized
    by use of standard assignment statements at the beginning of execution;

(b) port access restrictions are not enforced for composite data types;
    for example, the array port p1 can be write-accessed as follows:

	behavior B(in int p1[40])
	{
	   void main(void)
	   {
	      p1[14] = 4;	// must not be allowed!
	   }
	};

    this is a low-priority bug since the program is invalid and
    all valid programs are compiled correctly;


Rainer Doemer, January 3, 2002.
