// marked dead (due to it being predicated), then skip it.
if (!BBI.IsEnqueued || BBI.IsDone)
continue;
+ BBI.IsEnqueued = false;
bool RetVal = false;
switch (BBI.Kind) {
case ICTriangleFalse:
case ICTriangleFRev:
case ICDiamond:
+ BBI.IsEnqueued = true;
Candidates.push_back(&BBI);
break;
default:
E = BB->pred_end(); PI != E; ++PI) {
BBInfo &PBBI = BBAnalysis[(*PI)->getNumber()];
if (!PBBI.IsDone && PBBI.Kind == ICNotClassfied) {
- assert(PBBI.IsEnqueued && "Unexpected");
+ assert(!PBBI.IsEnqueued && "Unexpected");
PBBI.IsAnalyzed = false;
}
}
}
}
+ BBI.IsAnalyzed = false;
BBI.NonPredSize = 0;
std::copy(Cond.begin(), Cond.end(), std::back_inserter(BBI.Predicate));
std::copy(FromBBI.Predicate.begin(), FromBBI.Predicate.end(),
std::back_inserter(ToBBI.Predicate));
FromBBI.Predicate.clear();
+
+ ToBBI.IsAnalyzed = false;
+ FromBBI.IsAnalyzed = false;
}