Home
last modified time | relevance | path

Searched refs:ExprEng (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp76 : ExprEng(exprengine), WList(generateWorkList(Opts)), in CoreEngine()
115 InitState = ExprEng.getInitialState(L); in ExecuteWorkList()
124 ExprEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc); in ExecuteWorkList()
168 this->ExprEng.getAnalysisManager().options.CTUMaxNodesMin; in ExecuteWorkList()
170 this->ExprEng.getAnalysisManager().options.CTUMaxNodesPercentage; in ExecuteWorkList()
178 ExprEng.processEndWorklist(); in ExecuteWorkList()
238 ExprEng.processCallExit(Pred); in dispatchWorkItem()
309 ExprEng.runCheckersForBlockEntrance(BuilderCtx, BE, Pred, CheckerNodes); in HandleBlockEdge()
313 ExprEng.processEndOfFunction(BuilderCtx, P, RS); in HandleBlockEdge()
324 ExprEng.processCFGBlockEntrance(L, NodeBuilder, Pred); in HandleBlockEdge()
[all …]
H A DProgramState.cpp75 ExprEngine *ExprEng) in ProgramStateManager() argument
76 : Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
80 ConstraintMgr = (*CreateCMgr)(*this, ExprEng); in ProgramStateManager()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h67 ExprEngine &ExprEng;