Ticket #19 (defect)

pointer_to_shared_neg.upc:

shared int *s1;
shared int control_int_variable;

int main()
{
        /*
         * To check that pointers to shared objects cannot be cast to 
         * pointers to local objects, provided that the shared object
         * does not have affinity to the executing thread
         * the compiler MUST raise an ERROR here !!! 
         */

        int *p1;

        if(MYTHREAD == 0) {
                control_int_variable = 55;
                s1 = &control_int_variable;
                p1 = (int*) s1;
        }

        upc_barrier;

        return 0;
}

Despite the comment, this code is actually fully correct and should not generate a failure at compile or run time.

If the intent was to MYTHREAD == 1, the code would be erroneous but no compile or runtime diagnostic is required by the spec (see ticket #18).