Ejemplos de ConcatExpr::hash en C++ (Cpp)

Ejemplo n.º 1

Archivo: ArrayExprVisitor.cpp Proyecto: ccadar/klee

//-------------------------- VALUE-BASED OPTIMIZATION------------------------//
ExprVisitor::Action ArrayReadExprVisitor::visitConcat(const ConcatExpr &ce) {
  ReadExpr *base = ArrayExprHelper::hasOrderedReads(ce);
  if (base) {
    return inspectRead(ce.hash(), ce.getWidth(), *base);
  }
  return Action::doChildren();
}

Ejemplo n.º 2

Archivo: ArrayExprVisitor.cpp Proyecto: ccadar/klee

ExprVisitor::Action
ArrayValueOptReplaceVisitor::visitConcat(const ConcatExpr &ce) {
  auto found = optimized.find(ce.hash());
  if (found != optimized.end()) {
    return Action::changeTo((*found).second.get());
  }
  return Action::doChildren();
}