DIF_VAR_OTHER_UBASE
DIF_VAR_OTHER_UBASE, DIF_VAR_OTHER_MAX);
DIF_VAR_OTHER_UBASE, DIF_VAR_OTHER_MAX);
DIF_VAR_OTHER_UBASE, DIF_VAR_OTHER_MAX);
if ((id = v->dtdv_id) < DIF_VAR_OTHER_UBASE)
id -= DIF_VAR_OTHER_UBASE;
if ((id = v->dtdv_id) < DIF_VAR_OTHER_UBASE)
id -= DIF_VAR_OTHER_UBASE;
if (v->dtdv_id < DIF_VAR_OTHER_UBASE)
if (id >= DIF_VAR_OTHER_UBASE) {
id -= DIF_VAR_OTHER_UBASE;
ASSERT(id >= DIF_VAR_OTHER_UBASE);
id -= DIF_VAR_OTHER_UBASE;
if (id < DIF_VAR_OTHER_UBASE) {
id -= DIF_VAR_OTHER_UBASE;
ASSERT(id >= DIF_VAR_OTHER_UBASE);
id -= DIF_VAR_OTHER_UBASE;
ASSERT(id >= DIF_VAR_OTHER_UBASE);
id -= DIF_VAR_OTHER_UBASE;
ASSERT(id >= DIF_VAR_OTHER_UBASE);
id -= DIF_VAR_OTHER_UBASE;
ASSERT(id >= DIF_VAR_OTHER_UBASE);
id -= DIF_VAR_OTHER_UBASE;
ASSERT(id >= DIF_VAR_OTHER_UBASE);
id -= DIF_VAR_OTHER_UBASE;
if (v < DIF_VAR_OTHER_UBASE || v > DIF_VAR_OTHER_MAX)
if (id < DIF_VAR_OTHER_UBASE)
ndx = id - DIF_VAR_OTHER_UBASE;
if (v > DIF_VAR_OTHER_UBASE + maxglobal)
if (v > DIF_VAR_OTHER_UBASE + maxtlocal)
if (v > DIF_VAR_OTHER_UBASE + maxlocal)
if (v >= DIF_VAR_OTHER_UBASE)
if (v < DIF_VAR_OTHER_UBASE) {
if (v < DIF_VAR_OTHER_UBASE) {