Method isInitializedLocalVariable

lib/inputanalysis/DefAnalyzer.cpp:260–274

}

bool DefAnalyzer::isInitializedLocalVariable(const RDNode &Node) const {
  auto &IR = Node.getTarget().getIR();
  if (!llvm::isa<llvm::AllocaInst>(&IR))
    return false;

  auto D = Node.getDefinition();
  if (!D.first)
    return false;

  auto *ADN = ASTMap->getASTDefNode(*D.first, D.second);
  if (!ADN || !ADN->getAssigned())
    return false;

  return true;
}

bool DefAnalyzer::isInvalidRDNode(ASTIRMap &Map, const RDNode &Node) const {
  auto D = Node.getDefinition();