Method updateArgFlow

lib/propanalysis/ArrayAnalyzer.cpp:415–440

}

bool ArrayAnalyzer::updateArgFlow(Argument &A) {
  if (!Report->has(A))
    return false;

  auto &AF = getOrCreateArgFlow(A);

  auto Value = Report->get(A);
  if (Value == ArrayAnalysisReport::NO_ARRAY)
    AF.setIsArray(false);
  else
    AF.setIsArray(true);

  if (Value >= 0) {
    auto *F = AF.getLLVMArg().getParent();
    if (!F)
      return true;

    auto *ResultArg = F->getArg(Report->get(A));
    if (!ResultArg)
      return true;

    AF.setSizeArg(*ResultArg);
  }
  updateFieldFlow(AF);
  return true;
}

void ArrayAnalyzer::updateFieldFlow(ArgFlow &AF, std::vector<int> Indices) {
  auto &A = AF.getLLVMArg();