reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  168     return Engine.ExecuteWorkList(L, Steps, nullptr);
  178     return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst);
  400   NoteTag::Factory &getNoteTags() { return Engine.getNoteTags(); }
  404   bool wasBlocksExhausted() const { return Engine.wasBlocksExhausted(); }
  405   bool hasEmptyWorkList() const { return !Engine.getWorkList()->hasWork(); }
  406   bool hasWorkRemaining() const { return Engine.hasWorkRemaining(); }
  408   const CoreEngine &getCoreEngine() const { return Engine; }
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  209       Engine(*this, FS, mgr.getAnalyzerOptions()), G(Engine.getGraph()),
  795   Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
  813   Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
  901   Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
  928   Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
  947   Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
 1288       Engine.addAbortedBlock(node, currBldrCtx->getBlock());
 1526         Engine.addAbortedBlock(node, currBldrCtx->getBlock());
 1902   Engine.enqueueStmtNode(NewNode, CalleeSF->getCallSiteBlock(),
 1963       Engine.FunctionSummaries->markReachedMaxBlockCount(CalleeSF->getDecl());
 1977     Engine.blocksExhausted.push_back(std::make_pair(L, Sink));
 2331   Engine.enqueueEndOfFunction(Dst, RS);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
   66     Engine.enqueue(DstBegin);
  318     NodeBuilderContext Ctx(Engine, calleeCtx->getCallSiteBlock(), CEENode);
  361       Engine.getWorkList()->enqueue(*PSI, calleeCtx->getCallSiteBlock(),
  467       Engine.getWorkList()->enqueue(N);
  475   Engine.FunctionSummaries->bumpNumTimesInlined(D);
  937   Optional<bool> MayInline = Engine.FunctionSummaries->mayInline(D);
  946       Engine.FunctionSummaries->markMayInline(D);
  948       Engine.FunctionSummaries->markShouldNotInline(D);
  961       Engine.FunctionSummaries->markShouldNotInline(D);
  975   if ((Engine.FunctionSummaries->getNumTimesInlined(D) >