}
// Remove writes that violate read modification order
- for (uint i = 0; i < rf_set->size(); i++) {
+ uint i = 0;
+ while (i < rf_set->size()) {
ModelAction * rf = (*rf_set)[i];
if (!r_modification_order(curr, rf, NULL, NULL, true)) {
(*rf_set)[i] = rf_set->back();
rf_set->pop_back();
- }
+ } else
+ i++;
}
while(true) {
}
return true;
}
+
+ ASSERT(false);
+ /* Following code not needed anymore */
priorset->clear();
(*rf_set)[index] = rf_set->back();
rf_set->pop_back();