Method updateFieldFlow

lib/propanalysis/LoopAnalyzer.cpp:210–236

}

void LoopAnalyzer::updateFieldFlow(ArgFlow &AF, std::vector<int> Indices) {
  auto &A = AF.getLLVMArg();
  auto *T = A.getType();
  while (isa<llvm::PointerType>(T))
    T = T->getPointerElementType();

  auto *ST = dyn_cast_or_null<llvm::StructType>(T);
  if (!ST)
    return;

  for (unsigned S = 0; S < ST->getNumElements(); ++S) {
    Indices.push_back(S);
    if (!Report.has(A, Indices)) {
      Indices.pop_back();
      continue;
    }

    AF.setStruct(ST);
    auto &FF = AF.getOrCreateFieldFlow(S);
    auto Value = Report.get(A, Indices);
    FF.LoopExit = Value.LoopExit;
    FF.LoopDepth = Value.LoopDepth;
    auto FI = FF.getFieldInfo();
    updateFieldFlow(FF, Indices);
    Indices.pop_back();
  }
}

} // namespace ftg