Ticket #17 (defect)

blocksizeof2_neg.upc includes code:

shared [THREADS] int A[10*THREADS];

int main()
{
        /*
         * To check that the type of the result from upc_blocksizeof operator is size_t 
         */

        /* 
         * upc_blocksizeof function returns size_t type but array_block_size was defined as long type 
         * So compiler MUST raise an ERROR accordingly
         */

        long array_block_size;
        array_block_size = upc_blocksizeof(A);

This negative test relies upon the assumption that long and size_t happen to not be assignment compatible, where in fact on most systems they are. Even if they were not, C specifies rules for assignment conversion of base types such that the above code should still compile without diagnostics, although it might generate undefined results.