Searched refs:InitState (Results 1 – 3 of 3) sorted by relevance
| /NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| HD | CoreEngine.cpp | 166 ProgramStateRef InitState) { in ExecuteWorkList() argument
194 if (!InitState) in ExecuteWorkList()
198 generateNode(StartLoc, InitState, nullptr); in ExecuteWorkList()
274 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
276 bool DidNotFinish = ExecuteWorkList(L, Steps, InitState); in ExecuteWorkListWithInitialState()
|
| /NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | CoreEngine.h | 123 ProgramStateRef InitState);
127 ProgramStateRef InitState,
|
| HD | ExprEngine.h | 117 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
119 return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst); in ExecuteWorkListWithInitialState()
|