require all array declarations that work in the static model to work in the dynamic model

[GoogleCodeExporter]

This discussion is a continuation of 
http://code.google.com/p/upc-specification/issues/detail?id=30 that focuses on 
the positive solution to the discrepancy between the static and dynamic threads 
model w.r.t. array declarations.

Dan has provided numerous examples of what works only the static model, so I'll 
just name the following as my motivating example:

shared A[THREADS][THREADS];

This should work in both the static and dynamic models.  Paul Hargrove has 
indicated that BUPC can do this an no implementer has given any evidence that 
other UPC compilers can't do this as well.

Original issue reported on code.google.com by jeff.science@gmail.com on 17 Oct 2012 at 2:25