Method handleUser

lib/propanalysis/ArrayAnalyzer.cpp:287–413

}

void ArrayAnalyzer::handleUser(StackFrame &Frame, llvm::Value &User,
                               std::stack<StackFrame> &DefUseChains,
                               std::set<llvm::Value *> &VisitedNodes) {
  Value *Def = Frame.Value;
  ArgFlow &DefFlow = Frame.AnalysisResult;
  auto &A = DefFlow.getLLVMArg();

  if (auto *GEPI = dyn_cast<GetElementPtrInst>(&User)) {
    if (GEPI->getNumIndices() > 2)
      return;

    auto *Op0 = GEPI->getOperand(0);
    assert(Op0 && "Unexpected Program State");
    auto *ST = getAsStructType(*Op0);
    auto NumIndices = GEPI->getNumIndices();

    if (NumIndices > 1 && !getAsArrayType(*Op0)) {
      if (ST) {
        assert((GEPI->getNumOperands() > NumIndices) &&
               "Unexpected Program State");

        if (const auto *CI =
                dyn_cast<ConstantInt>(GEPI->getOperand(NumIndices))) {
          DefFlow.setStruct(ST);
          auto &FieldFlow = DefFlow.getOrCreateFieldFlow(CI->getLimitedValue());
          FieldFlow.getFieldInfo()->Values.insert(GEPI);
          DefUseChains.emplace(GEPI, FieldFlow);
          return;
        }
      }
    } else if (ST) { // for Struct Array
      DefUseChains.emplace(GEPI, DefFlow);
    }

    if (VisitedNodes.find(Op0) != VisitedNodes.end()) {
      assert((GEPI->getNumOperands() > NumIndices) &&
             "Unexpected Program State");

      if (const auto *CI =
              dyn_cast<ConstantInt>(GEPI->getOperand(NumIndices))) {
        if (CI->isZeroValue()) {
          DefUseChains.emplace(GEPI, DefFlow);
          return;
        }

        DefFlow.getArrIndices().insert(CI->getZExtValue());

        auto &LI = FAM.getResult<LoopAnalysis>(*A.getParent());
        if (LI.getLoopFor(GEPI->getParent()))
          DefFlow.setIsVariableLenArray(true);
      } else
        DefFlow.setIsVariableLenArray(true);

      if (DefFlow.isVariableLenArray())
        analyzeArrayLen(*GEPI, DefFlow);

      DefFlow.setIsArray(true);
    }