CoreEngine.cpp

Go to the documentation of this file.

//===- CoreEngine.cpp - Path-Sensitive Dataflow Engine --------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
//  This file defines a generic engine for intraprocedural, path-sensitive,
//  dataflow analysis via graph reachability engine.
//
//===----------------------------------------------------------------------===//
 
#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
#include "PrettyStackTraceStackFrame.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/EntryPointStats.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/FunctionSummary.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/WorkList.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/Support/TimeProfiler.h"
#include <algorithm>
#include <cassert>
#include <memory>
#include <optional>
#include <utility>
 
using namespace clang;
using namespace ento;
 
#define DEBUG_TYPE "CoreEngine"
 
STAT_COUNTER(NumSteps, "The # of steps executed.");
STAT_COUNTER(NumSTUSteps, "The # of STU steps executed.");
STAT_COUNTER(NumCTUSteps, "The # of CTU steps executed.");
ALWAYS_ENABLED_STATISTIC(NumReachedMaxSteps,
                         "The # of times we reached the max number of steps.");
STAT_COUNTER(NumPathsExplored, "The # of paths explored by the analyzer.");
 
//===----------------------------------------------------------------------===//
// Core analysis engine.
//===----------------------------------------------------------------------===//
 
static std::unique_ptr<WorkList> generateWorkList(AnalyzerOptions &Opts) {
  switch (Opts.getExplorationStrategy()) {
    case ExplorationStrategyKind::DFS:
      return WorkList::makeDFS();
    case ExplorationStrategyKind::BFS:
      return WorkList::makeBFS();
    case ExplorationStrategyKind::BFSBlockDFSContents:
      return WorkList::makeBFSBlockDFSContents();
    case ExplorationStrategyKind::UnexploredFirst:
      return WorkList::makeUnexploredFirst();
    case ExplorationStrategyKind::UnexploredFirstQueue:
      return WorkList::makeUnexploredFirstPriorityQueue();
    case ExplorationStrategyKind::UnexploredFirstLocationQueue:
      return WorkList::makeUnexploredFirstPriorityLocationQueue();
  }
  llvm_unreachable("Unknown AnalyzerOptions::ExplorationStrategyKind");
}
 
CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS,
                       AnalyzerOptions &Opts)
    : ExprEng(exprengine), WList(generateWorkList(Opts)),
      CTUWList(Opts.IsNaiveCTUEnabled ? generateWorkList(Opts) : nullptr),
      BCounterFactory(G.getAllocator()), FunctionSummaries(FS) {}
 
void CoreEngine::setBlockCounter(BlockCounter C) {
  WList->setBlockCounter(C);
  if (CTUWList)
    CTUWList->setBlockCounter(C);
}
 
/// ExecuteWorkList - Run the worklist algorithm for a maximum number of steps.
bool CoreEngine::ExecuteWorkList(const StackFrame *SF, unsigned MaxSteps,
                                 ProgramStateRef InitState) {
  if (G.empty()) {
    assert(!G.getRoot() && "empty graph must not have a root node");
    // Initialize the analysis by constructing the root if there are no nodes.
 
    const CFGBlock *Entry = &(SF->getCFG()->getEntry());
 
    assert(Entry->empty() && "Entry block must be empty.");
 
    assert(Entry->succ_size() == 1 && "Entry block must have 1 successor.");
 
    // Mark the entry block as visited.
    FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), SF->getDecl(),
                                             SF->getCFG()->getNumBlockIDs());
 
    // Get the solitary successor.
    const CFGBlock *Succ = *(Entry->succ_begin());
 
    // Construct an edge representing the
    // starting location in the function.
    BlockEdge StartLoc(Entry, Succ, SF);
 
    // Set the current block counter to being empty.
    setBlockCounter(BCounterFactory.GetEmptyCounter());
 
    if (!InitState)
      InitState = ExprEng.getInitialState(SF);
 
    bool IsNew;
    ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);
    assert(IsNew);
    G.designateAsRoot(Node);
 
    ExprEng.setCurrStackFrameAndBlock(Node->getStackFrame(), Succ);
 
    ExplodedNodeSet DstBegin;
    ExprEng.processBeginOfFunction(Node, DstBegin, StartLoc);
 
    enqueue(DstBegin);
  }
 
  // Check if we have a steps limit
  bool UnlimitedSteps = MaxSteps == 0;
 
  // Cap our pre-reservation in the event that the user specifies
  // a very large number of maximum steps.
  const unsigned PreReservationCap = 4000000;
  if(!UnlimitedSteps)
    G.reserve(std::min(MaxSteps, PreReservationCap));
 
  auto ProcessWList = [this, UnlimitedSteps](unsigned MaxSteps) {
    unsigned Steps = MaxSteps;
    while (WList->hasWork()) {
      if (!UnlimitedSteps) {
        if (Steps == 0) {
          NumReachedMaxSteps++;
          break;
        }
        --Steps;
      }
 
      NumSteps++;
 
      const WorkListUnit &WU = WList->dequeue();
 
      // Set the current block counter.
      setBlockCounter(WU.getBlockCounter());
 
      // Retrieve the node.
      ExplodedNode *Node = WU.getNode();
 
      dispatchWorkItem(Node, Node->getLocation(), WU);
    }
    return MaxSteps - Steps;
  };
  const unsigned STUSteps = ProcessWList(MaxSteps);
  ExploredAllSTUPaths = !WList->hasWork();
 
  if (CTUWList) {
    NumSTUSteps += STUSteps;
    const unsigned MinCTUSteps =
        this->ExprEng.getAnalysisManager().options.CTUMaxNodesMin;
    const unsigned Pct =
        this->ExprEng.getAnalysisManager().options.CTUMaxNodesPercentage;
    unsigned MaxCTUSteps = std::max(STUSteps * Pct / 100, MinCTUSteps);
 
    WList = std::move(CTUWList);
    const unsigned CTUSteps = ProcessWList(MaxCTUSteps);
    NumCTUSteps += CTUSteps;
  }
 
  ExprEng.processEndWorklist();
  return WList->hasWork();
}
 
static std::string timeTraceScopeName(const ProgramPoint &Loc) {
  if (llvm::timeTraceProfilerEnabled()) {
    return llvm::formatv("dispatchWorkItem {0}",
                         ProgramPoint::getProgramPointKindName(Loc.getKind()))
        .str();
  }
  return "";
}
 
static llvm::TimeTraceMetadata timeTraceMetadata(const ExplodedNode *Pred,
                                                 const ProgramPoint &Loc) {
  // If time-trace profiler is not enabled, this function is never called.
  assert(llvm::timeTraceProfilerEnabled());
  std::string Detail = "";
  if (const auto SP = Loc.getAs<StmtPoint>()) {
    if (const Stmt *S = SP->getStmt())
      Detail = S->getStmtClassName();
  }
  auto SLoc = Loc.getSourceLocation();
  if (!SLoc)
    return llvm::TimeTraceMetadata{std::move(Detail), ""};
  const auto &SM = Pred->getStackFrame()
                       ->getAnalysisDeclContext()
                       ->getASTContext()
                       .getSourceManager();
  auto Line = SM.getPresumedLineNumber(*SLoc);
  auto Fname = SM.getFilename(*SLoc);
  return llvm::TimeTraceMetadata{std::move(Detail), Fname.str(),
                                 static_cast<int>(Line)};
}
 
void CoreEngine::dispatchWorkItem(ExplodedNode *Pred, ProgramPoint Loc,
                                  const WorkListUnit &WU) {
  llvm::TimeTraceScope tcs{timeTraceScopeName(Loc), [Loc, Pred]() {
                             return timeTraceMetadata(Pred, Loc);
                           }};
  PrettyStackTraceStackFrame CrashInfo(Pred->getStackFrame());
 
  // This work item is not necessarily related to the previous one, so
  // the old current StackFrame and Block is no longer relevant.
  // The new current StackFrame and Block should be set soon, but this
  // guarantees that buggy access before that will trigger loud crashes instead
  // of silently using stale data.
  ExprEng.resetCurrStackFrameAndBlock();
 
  // Dispatch on the location type.
  switch (Loc.getKind()) {
    case ProgramPoint::BlockEdgeKind:
      HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred);
      break;
 
    case ProgramPoint::BlockEntranceKind:
      HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred);
      break;
 
    case ProgramPoint::BlockExitKind:
      assert(false && "BlockExit location never occur in forward analysis.");
      break;
 
    case ProgramPoint::CallEnterKind:
      HandleCallEnter(Loc.castAs<CallEnter>(), Pred);
      break;
 
    case ProgramPoint::CallExitBeginKind:
      ExprEng.processCallExit(Pred);
      break;
 
    case ProgramPoint::EpsilonKind: {
      assert(Pred->hasSinglePred() &&
             "Assume epsilon has exactly one predecessor by construction");
      ExplodedNode *PNode = Pred->getFirstPred();
      dispatchWorkItem(Pred, PNode->getLocation(), WU);
      break;
    }
    default:
      assert(Loc.getAs<PostStmt>() || Loc.getAs<PostInitializer>() ||
             Loc.getAs<PostImplicitCall>() || Loc.getAs<CallExitEnd>() ||
             Loc.getAs<LoopExit>() || Loc.getAs<LifetimeEnd>() ||
             Loc.getAs<PostAllocatorCall>());
      HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred);
      break;
  }
}
 
void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
  const CFGBlock *Blk = L.getDst();
  ExprEng.setCurrStackFrameAndBlock(Pred->getStackFrame(), Blk);
 
  // Mark this block as visited.
  const StackFrame *SF = Pred->getStackFrame();
  FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), SF->getDecl(),
                                           SF->getCFG()->getNumBlockIDs());
 
  // Display a prunable path note to the user if it's a virtual bases branch
  // and we're taking the path that skips virtual base constructors.
  if (L.getSrc()->getTerminator().isVirtualBaseBranch() &&
      L.getDst() == *L.getSrc()->succ_begin()) {
    ProgramPoint P = L.withTag(getDataTags().make<NoteTag>(
        [](BugReporterContext &, PathSensitiveBugReport &) -> std::string {
          // TODO: Just call out the name of the most derived class
          // when we know it.
          return "Virtual base initialization skipped because "
                 "it has already been handled by the most derived class";
        },
        /*IsPrunable=*/true));
    // Perform the transition.
    Pred = makeNode(P, Pred->getState(), Pred);
    if (!Pred)
      return;
  }
 
  // Check if we are entering the EXIT block.
  const CFGBlock &ExitBlk = L.getStackFrame()->getCFG()->getExit();
  if (Blk == &ExitBlk) {
    assert(ExitBlk.empty() && "EXIT block cannot contain Stmts.");
 
    // Get return statement..
    const ReturnStmt *RS = nullptr;
    if (!L.getSrc()->empty()) {
      CFGElement LastElement = L.getSrc()->back();
      if (std::optional<CFGStmt> LastStmt = LastElement.getAs<CFGStmt>()) {
        RS = dyn_cast<ReturnStmt>(LastStmt->getStmt());
      } else if (std::optional<CFGAutomaticObjDtor> AutoDtor =
                     LastElement.getAs<CFGAutomaticObjDtor>()) {
        RS = dyn_cast<ReturnStmt>(AutoDtor->getTriggerStmt());
      } else if (std::optional<CFGScopeMarker> ScopeMarker =
                     LastElement.getAs<CFGScopeMarker>()) {
        RS = dyn_cast<ReturnStmt>(ScopeMarker->getTriggerStmt());
      }
    }
 
    ExplodedNodeSet CheckerNodes;
    BlockEntrance BE(L.getSrc(), L.getDst(), Pred->getStackFrame());
    ExprEng.runCheckersForBlockEntrance(BE, Pred, CheckerNodes);
 
    // Process the final state transition.
    for (ExplodedNode *P : CheckerNodes) {
      ExprEng.processEndOfFunction(P, RS);
    }
 
    // This path is done. Don't enqueue any more nodes.
    return;
  }
 
  // Call into the ExprEngine to process entering the CFGBlock.
  BlockEntrance BE(L.getSrc(), L.getDst(), Pred->getStackFrame());
  ExplodedNode *Processed = ExprEng.processCFGBlockEntrance(BE, Pred);
 
  ExplodedNodeSet CheckerNodes;
 
  if (Processed)
    ExprEng.runCheckersForBlockEntrance(BE, Processed, CheckerNodes);
 
  // Enqueue nodes onto the worklist.
  enqueue(CheckerNodes);
}
 
void CoreEngine::HandleBlockEntrance(const BlockEntrance &L,
                                       ExplodedNode *Pred) {
  // Increment the block counter.
  const StackFrame *SF = Pred->getStackFrame();
  unsigned BlockId = L.getBlock()->getBlockID();
  BlockCounter Counter = WList->getBlockCounter();
  Counter = BCounterFactory.IncrementCount(Counter, SF, BlockId);
  setBlockCounter(Counter);
 
  // Process the entrance of the block.
  if (std::optional<CFGElement> E = L.getFirstElement()) {
    ExprEng.setCurrStackFrameAndBlock(Pred->getStackFrame(), L.getBlock());
    ExprEng.processCFGElement(*E, Pred, 0);
  } else
    HandleBlockExit(L.getBlock(), Pred);
}
 
void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
  if (const Stmt *Term = B->getTerminatorStmt()) {
    ExprEng.setCurrStackFrameAndBlock(Pred->getStackFrame(), B);
 
    switch (Term->getStmtClass()) {
      default:
        llvm_unreachable("Analysis for this terminator not implemented.");
 
      case Stmt::CXXBindTemporaryExprClass:
        HandleCleanupTemporaryBranch(
            cast<CXXBindTemporaryExpr>(Term), B, Pred);
        return;
 
      // Model static initializers.
      case Stmt::DeclStmtClass:
        HandleStaticInit(cast<DeclStmt>(Term), B, Pred);
        return;
 
      case Stmt::BinaryOperatorClass: // '&&' and '||'
        HandleBranch(cast<BinaryOperator>(Term)->getLHS(), Term, B, Pred);
        return;
 
      case Stmt::BinaryConditionalOperatorClass:
      case Stmt::ConditionalOperatorClass:
        HandleBranch(cast<AbstractConditionalOperator>(Term)->getCond(),
                     Term, B, Pred);
        return;
 
        // FIXME: Use constant-folding in CFG construction to simplify this
        // case.
 
      case Stmt::ChooseExprClass:
        HandleBranch(cast<ChooseExpr>(Term)->getCond(), Term, B, Pred);
        return;
 
      case Stmt::CXXTryStmtClass:
        // Generate a node for each of the successors.
        // Our logic for EH analysis can certainly be improved.
        for (const CFGBlock *Succ : B->succs()) {
          if (Succ) {
            BlockEdge BE(B, Succ, Pred->getStackFrame());
            if (ExplodedNode *N = makeNode(BE, Pred->State, Pred))
              WList->enqueue(N);
          }
        }
        return;
 
      case Stmt::DoStmtClass:
        HandleBranch(cast<DoStmt>(Term)->getCond(), Term, B, Pred);
        return;
 
      case Stmt::CXXForRangeStmtClass:
        HandleBranch(cast<CXXForRangeStmt>(Term)->getCond(), Term, B, Pred);
        return;
 
      case Stmt::ForStmtClass:
        HandleBranch(cast<ForStmt>(Term)->getCond(), Term, B, Pred);
        return;
 
      case Stmt::SEHLeaveStmtClass:
      case Stmt::ContinueStmtClass:
      case Stmt::BreakStmtClass:
      case Stmt::GotoStmtClass:
        break;
 
      case Stmt::IfStmtClass:
        HandleBranch(cast<IfStmt>(Term)->getCond(), Term, B, Pred);
        return;
 
      case Stmt::IndirectGotoStmtClass: {
        // Only 1 successor: the indirect goto dispatch block.
        assert(B->succ_size() == 1);
        ExplodedNodeSet Dst;
        ExprEng.processIndirectGoto(Dst,
                                    cast<IndirectGotoStmt>(Term)->getTarget(),
                                    *(B->succ_begin()), Pred);
        enqueue(Dst);
        return;
      }
 
      case Stmt::ObjCForCollectionStmtClass:
        // In the case of ObjCForCollectionStmt, it appears twice in a CFG:
        //
        //  (1) inside a basic block, which represents the binding of the
        //      'element' variable to a value.
        //  (2) in a terminator, which represents the branch.
        //
        // For (1), ExprEngine will bind a value (i.e., 0 or 1) indicating
        // whether or not collection contains any more elements.  We cannot
        // just test to see if the element is nil because a container can
        // contain nil elements.
        HandleBranch(Term, Term, B, Pred);
        return;
 
      case Stmt::SwitchStmtClass: {
        ExplodedNodeSet Dst;
        ExprEng.processSwitch(cast<SwitchStmt>(Term), Pred, Dst);
        // Enqueue the new frontier onto the worklist.
        enqueue(Dst);
        return;
      }
 
      case Stmt::WhileStmtClass:
        HandleBranch(cast<WhileStmt>(Term)->getCond(), Term, B, Pred);
        return;
 
      case Stmt::GCCAsmStmtClass:
        assert(cast<GCCAsmStmt>(Term)->isAsmGoto() && "Encountered GCCAsmStmt without labels");
        // TODO: Handle jumping to labels
        return;
    }
  }
 
  if (B->getTerminator().isVirtualBaseBranch()) {
    HandleVirtualBaseBranch(B, Pred);
    return;
  }
 
  assert(B->succ_size() == 1 &&
         "Blocks with no terminator should have at most 1 successor.");
 
  BlockEdge BE(B, *(B->succ_begin()), Pred->getStackFrame());
  if (ExplodedNode *N = makeNode(BE, Pred->State, Pred))
    WList->enqueue(N);
}
 
void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {
  ExprEng.setCurrStackFrameAndBlock(Pred->getStackFrame(), CE.getEntry());
  ExprEng.processCallEnter(CE, Pred);
}
 
void CoreEngine::HandleBranch(const Stmt *Cond, const Stmt *Term,
                                const CFGBlock * B, ExplodedNode *Pred) {
  assert(B->succ_size() == 2);
  ExplodedNodeSet Dst;
  ExprEng.processBranch(Cond, Pred, Dst, *(B->succ_begin()),
                        *(B->succ_begin() + 1),
                        getCompletedIterationCount(B, Pred));
  // Enqueue the new frontier onto the worklist.
  enqueue(Dst);
}
 
void CoreEngine::HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE,
                                              const CFGBlock *B,
                                              ExplodedNode *Pred) {
  assert(B->succ_size() == 2);
  ExplodedNodeSet Dst;
  ExprEng.processCleanupTemporaryBranch(BTE, Pred, Dst, *(B->succ_begin()),
                                        *(B->succ_begin() + 1));
  // Enqueue the new frontier onto the worklist.
  enqueue(Dst);
}
 
void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B,
                                  ExplodedNode *Pred) {
  assert(B->succ_size() == 2);
  ExplodedNodeSet Dst;
  ExprEng.processStaticInitializer(DS, Pred, Dst, *(B->succ_begin()),
                                   *(B->succ_begin() + 1));
  // Enqueue the new frontier onto the worklist.
  enqueue(Dst);
}
 
void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx,
                                ExplodedNode *Pred) {
  assert(B);
  assert(!B->empty());
 
  // We no-op by skipping any FullExprCleanup
  while (StmtIdx < B->size() &&
         (*B)[StmtIdx].getKind() == CFGElement::FullExprCleanup) {
    StmtIdx++;
  }
 
  if (StmtIdx == B->size())
    HandleBlockExit(B, Pred);
  else {
    ExprEng.setCurrStackFrameAndBlock(Pred->getStackFrame(), B);
    ExprEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx);
  }
}
 
void CoreEngine::HandleVirtualBaseBranch(const CFGBlock *B,
                                         ExplodedNode *Pred) {
  const StackFrame *SF = Pred->getStackFrame();
  if (const auto *CallerCtor =
          dyn_cast_or_null<CXXConstructExpr>(SF->getCallSite())) {
    switch (CallerCtor->getConstructionKind()) {
    case CXXConstructionKind::NonVirtualBase:
    case CXXConstructionKind::VirtualBase: {
      BlockEdge Loc(B, *B->succ_begin(), SF);
      HandleBlockEdge(Loc, Pred);
      return;
    }
    default:
      break;
    }
  }
 
  // We either don't see a parent stack frame because we're in the top frame,
  // or the parent stack frame doesn't initialize our virtual bases.
  BlockEdge Loc(B, *(B->succ_begin() + 1), SF);
  HandleBlockEdge(Loc, Pred);
}
 
ExplodedNode *CoreEngine::makeNode(const ProgramPoint &Loc,
                                   ProgramStateRef State, ExplodedNode *Pred,
                                   bool MarkAsSink) const {
  bool IsPO = State->isPosteriorlyOverconstrained();
 
  bool IsNew;
  ExplodedNode *N = G.getNode(Loc, State, MarkAsSink || IsPO, &IsNew);
  N->addPredecessor(Pred, G);
 
  return (IsNew && !IsPO) ? N : nullptr;
}
 
void CoreEngine::enqueueStmtNode(ExplodedNode *N,
                                 const CFGBlock *Block, unsigned Idx) {
  assert(Block);
  assert(!N->isSink());
 
  // Check if this node entered a callee.
  if (N->getLocation().getAs<CallEnter>()) {
    // Still use the index of the CallExpr. It's needed to create the callee
    // StackFrame.
    WList->enqueue(N, Block, Idx);
    return;
  }
 
  // Do not create extra nodes. Move to the next CFG element.
  if (N->getLocation().getAs<PostInitializer>() ||
      N->getLocation().getAs<PostImplicitCall>() ||
      N->getLocation().getAs<LoopExit>() ||
      N->getLocation().getAs<LifetimeEnd>()) {
    WList->enqueue(N, Block, Idx + 1);
    return;
  }
 
  if (N->getLocation().getAs<EpsilonPoint>()) {
    WList->enqueue(N, Block, Idx);
    return;
  }
 
  if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) {
    WList->enqueue(N, Block, Idx+1);
    return;
  }
 
  // At this point, we know we're processing a normal statement.
  CFGStmt CS = (*Block)[Idx].castAs<CFGStmt>();
  PostStmt Loc(CS.getStmt(), N->getStackFrame());
 
  if (Loc == N->getLocation().withTag(nullptr)) {
    // Note: 'N' should be a fresh node because otherwise it shouldn't be
    // a member of Deferred.
    WList->enqueue(N, Block, Idx+1);
    return;
  }
 
  ExplodedNode *Succ = makeNode(Loc, N->getState(), N);
 
  if (Succ)
    WList->enqueue(Succ, Block, Idx+1);
}
 
std::optional<unsigned>
CoreEngine::getCompletedIterationCount(const CFGBlock *B,
                                       ExplodedNode *Pred) const {
  const StackFrame *SF = Pred->getStackFrame();
  BlockCounter Counter = WList->getBlockCounter();
  unsigned BlockCount = Counter.getNumVisited(SF, B->getBlockID());
 
  const Stmt *Term = B->getTerminatorStmt();
  if (isa<ForStmt, WhileStmt, CXXForRangeStmt>(Term)) {
    assert(BlockCount >= 1 &&
           "Block count of currently analyzed block must be >= 1");
    return BlockCount - 1;
  }
  if (isa<DoStmt>(Term)) {
    // In a do-while loop one iteration happens before the first evaluation of
    // the loop condition, so we don't subtract one.
    return BlockCount;
  }
  // ObjCForCollectionStmt is skipped intentionally because the current
  // application of the iteration counts is not relevant for it.
  return std::nullopt;
}
 
void CoreEngine::enqueue(ExplodedNodeSet &Set) {
  for (const auto I : Set)
    WList->enqueue(I);
}
 
void CoreEngine::enqueueStmtNodes(ExplodedNodeSet &Set, const CFGBlock *Block,
                                  unsigned Idx) {
  for (const auto I : Set)
    enqueueStmtNode(I, Block, Idx);
}
 
void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) {
  for (ExplodedNode *Node : Set) {
    const StackFrame *SF = Node->getStackFrame();
 
    // If we are in an inlined call, generate CallExitBegin node.
    if (SF->getParent()) {
      // Use the callee stack frame.
      CallExitBegin Loc(SF, RS);
      if (ExplodedNode *Succ = makeNode(Loc, Node->getState(), Node))
        WList->enqueue(Succ);
    } else {
      // TODO: We should run remove dead bindings here.
      G.addEndOfPath(Node);
      NumPathsExplored++;
    }
  }
}