Ticket #13 (defect)

lock_attempt.upc includes code:

lock1 = upc_all_lock_alloc();

upc_lock(lock1); check_parm = upc_lock_attempt(lock1); a = local_a; upc_unlock(lock1);

This has undefined behavior by UPC 7.2.4.5:

If the lock is already in locked state due to the calling thread setting it to locked state, the result is undefined.

Later in the code the same violation occurs on thread 0:

lock3 = upc_all_lock_alloc();

if(MYTHREAD == 0) {

upc_lock(lock3); a = local_a + MYTHREAD;

}

upc_barrier; check_parm = upc_lock_attempt(lock3);