Method updateFieldFlow

lib/propanalysis/AllocSizeAnalyzer.cpp:274–295

}

void AllocSizeAnalyzer::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)) {
      AF.setStruct(ST);
      auto &FF = AF.getOrCreateFieldFlow(S);
      if (Report.get(A, Indices))
        FF.setAllocSize();
      updateFieldFlow(FF, Indices);
    }
    Indices.pop_back();
  }
}

void AllocSizeAnalyzer::updateDefault(const llvm::Module &M) {
  ManualAllocLoader MAL;