Searched refs:CoreEngine (Results 1 - 6 of 6) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp1 //===- CoreEngine.cpp - Path-Sensitive Dataflow Engine --------------------===//
14 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
42 #define DEBUG_TYPE "CoreEngine"
74 CoreEngine::CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS, function in class:CoreEngine
80 bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
154 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
197 bool CoreEngine::ExecuteWorkListWithInitialState(const LocationContext *L,
209 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
277 void CoreEngine
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h1 //===- CoreEngine.h - Path-Sensitive Dataflow Engine ------------*- C++ -*-===//
47 /// CoreEngine - Implements the core logic of the graph-reachability
50 /// The template class CoreEngine (which subclasses CoreEngine)
55 class CoreEngine { class in namespace:clang::ento
131 /// Construct a CoreEngine object to analyze the provided CFG.
132 CoreEngine(SubEngine &subengine,
136 CoreEngine(const CoreEngine &) = delete;
137 CoreEngine
[all...]
H A DExplodedGraph.h67 friend class CoreEngine;
306 friend class CoreEngine;
H A DExprEngine.h10 // is built on CoreEngine, but provides the boilerplate to execute transfer
27 #include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
123 CoreEngine Engine;
270 /// processCFGElement - Called by CoreEngine. Used to generate new successor
296 /// Called by CoreEngine when processing the entrance of a CFGBlock.
301 /// ProcessBranch - Called by CoreEngine. Used to generate successor
310 /// Called by CoreEngine.
319 /// Called by CoreEngine. Used to processing branching behavior
328 /// processIndirectGoto - Called by CoreEngine. Used to generate successor
332 /// ProcessSwitch - Called by CoreEngine
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp118 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator;
119 const CoreEngine &CE = Eng.getCoreEngine();
/freebsd-11-stable/lib/clang/libclang/
H A DMakefile639 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp

Completed in 118 milliseconds