Searched refs:CoreEngine (Results 1 - 6 of 6) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | CoreEngine.cpp | 1 //===- 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 D | CoreEngine.h | 1 //===- 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 D | ExplodedGraph.h | 67 friend class CoreEngine; 306 friend class CoreEngine;
|
H A D | ExprEngine.h | 10 // 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 D | AnalyzerStatsChecker.cpp | 118 typedef CoreEngine::BlocksExhausted::const_iterator ExhaustedIterator; 119 const CoreEngine &CE = Eng.getCoreEngine();
|
/freebsd-11-stable/lib/clang/libclang/ |
H A D | Makefile | 639 SRCS_FUL+= StaticAnalyzer/Core/CoreEngine.cpp
|
Completed in 118 milliseconds