Searched refs:InitState (Results 1 – 3 of 3) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 82 ProgramStateRef InitState) { in ExecuteWorkList() argument
107 if (!InitState) in ExecuteWorkList()
108 InitState = SubEng.getInitialState(L); in ExecuteWorkList()
111 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew); in ExecuteWorkList()
200 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
202 bool DidNotFinish = ExecuteWorkList(L, Steps, InitState); in ExecuteWorkListWithInitialState()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 139 ProgramStateRef InitState);
144 ProgramStateRef InitState,
|
| H A D | ExprEngine.h | 173 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
175 return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst); in ExecuteWorkListWithInitialState()
|