Esempio n. 1
0
CompoundStmt *TransformWCR::getWCR(int id) {
  for (WCRSetTy::iterator I = WCRs.begin(), E = WCRs.end(); I != E; ++I) {
    CompoundStmt *WCR = *I;
    if (WCR->getWCRID() == id) return WCR;
  }
  assert(0 && "Invalid WCR ID");
  return 0;
}
Esempio n. 2
0
////////////////////////////////////////////////////////////////////////////
/// Printing functions for debugging
////////////////////////////////////////////////////////////////////////////
void TransformWCR::printWCRs() {
  OS << "All WCRs(" << WCRs.size() << ") = { ";
  for (WCRSetTy::iterator I = WCRs.begin(), E = WCRs.end(); I != E; ++I) {
    if (I != WCRs.begin()) OS << ", ";
    CompoundStmt *WCR = *I;
    OS << "W" << WCR->getWCRID();
    if (isLandPad(WCR)) OS << "(LP)";
  }
  OS << " }\n";
  OS.flush();
}