Method analyzeProperty

lib/propanalysis/LoopAnalyzer.cpp:27–33

const LoopAnalysisReport &LoopAnalyzer::result() const { return Report; }

void LoopAnalyzer::analyzeProperty(llvm::Argument &A) {
  if (updateArgFlow(A))
    return;

  analyzeLoop(A);
  Report.add(getOrCreateArgFlow(A));
}

void LoopAnalyzer::analyzeLoop(llvm::Argument &A) {
  std::set<Value *> VisitedNodes;