clang 20.0.0git
clang::ento::CoreEngine Member List

This is the complete list of members for clang::ento::CoreEngine, including all inherited members.

aborted_blocks() constclang::ento::CoreEngineinline
addAbortedBlock(const ExplodedNode *node, const CFGBlock *block)clang::ento::CoreEngineinline
BlocksAborted typedefclang::ento::CoreEngine
BlocksExhausted typedefclang::ento::CoreEngine
CommonNodeBuilderclang::ento::CoreEnginefriend
CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS, AnalyzerOptions &Opts)clang::ento::CoreEngine
CoreEngine(const CoreEngine &)=deleteclang::ento::CoreEngine
dispatchWorkItem(ExplodedNode *Pred, ProgramPoint Loc, const WorkListUnit &WU)clang::ento::CoreEngine
EndOfFunctionNodeBuilderclang::ento::CoreEnginefriend
enqueue(ExplodedNodeSet &Set)clang::ento::CoreEngine
enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx)clang::ento::CoreEngine
enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS)clang::ento::CoreEngine
enqueueStmtNode(ExplodedNode *N, const CFGBlock *Block, unsigned Idx)clang::ento::CoreEngine
ExecuteWorkList(const LocationContext *L, unsigned Steps, ProgramStateRef InitState)clang::ento::CoreEngine
exhausted_blocks() constclang::ento::CoreEngineinline
ExprEngineclang::ento::CoreEnginefriend
getCTUWorkList() constclang::ento::CoreEngineinline
getDataTags()clang::ento::CoreEngineinline
getGraph()clang::ento::CoreEngineinline
getWorkList() constclang::ento::CoreEngineinline
hasWorkRemaining() constclang::ento::CoreEngineinline
IndirectGotoNodeBuilderclang::ento::CoreEnginefriend
NodeBuilderclang::ento::CoreEnginefriend
NodeBuilderContextclang::ento::CoreEnginefriend
operator=(const CoreEngine &)=deleteclang::ento::CoreEngine
SwitchNodeBuilderclang::ento::CoreEnginefriend
wasBlockAborted() constclang::ento::CoreEngineinline
wasBlocksExhausted() constclang::ento::CoreEngineinline