Searched refs:ExprEng (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 75 : ExprEng(exprengine), WList(generateWorkList(Opts)), in CoreEngine()
106 InitState = ExprEng.getInitialState(L); in ExecuteWorkList()
115 ExprEng.processBeginOfFunction(BuilderCtx, Node, DstBegin, StartLoc); in ExecuteWorkList()
149 ExprEng.processEndWorklist(); in ExecuteWorkList()
174 ExprEng.processCallExit(Pred); in dispatchWorkItem()
255 ExprEng.processEndOfFunction(BuilderCtx, Pred, RS); in HandleBlockEdge()
265 ExprEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
289 ExprEng.processCFGElement(*E, Pred, 0, &Ctx); in HandleBlockEntrance()
370 ExprEng.processIndirectGoto(builder); in HandleBlockExit()
392 ExprEng.processSwitch(builder); in HandleBlockExit()
[all …]
|
| H A D | ProgramState.cpp | 79 ExprEngine *ExprEng) in ProgramStateManager() argument
80 : Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
84 ConstraintMgr = (*CreateCMgr)(*this, ExprEng); in ProgramStateManager()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 72 ExprEngine &ExprEng;
|