recordFunctionChange(record, 0);
recordFunctionChange(record, 1);
}
+
+ if(op1 == MCID_NODEP) {
+ record->getSet(VC_BASEINDEX + 0)->add(val1);
+ }
+
+ if(op2 == MCID_NODEP) {
+ record->getSet(VC_BASEINDEX + 1)->add(val2);
+ }
+
MCID eqmcid=getNextMCID();
ASSERT(EPList->size()==eqmcid);
EPList->push_back(epvalue);