Method isLoopExit

lib/inputanalysis/DefMapGenerator.cpp:150–164

}

bool DefMapGenerator::isLoopExit(const RDNode &Node,
                                 const LoopAnalysisReport &LoopReport) const {
  for (const auto &Use : Node.getFirstUses()) {
    auto FuncName = Use.getFunctionName();
    auto ArgNo = Use.ArgNo;
    if (!LoopReport.has(FuncName, ArgNo))
      continue;

    auto LoopResult = LoopReport.get(FuncName, ArgNo);
    if (LoopResult.LoopExit)
      return true;
  }

  return false;
}

bool DefMapGenerator::isVarReference(const ASTDefNode &Node) const {
  auto *Assigned = Node.getAssigned();