Searched refs:InitState (Results 1 – 3 of 3) sorted by relevance
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 165 ProgramStateRef InitState) { in ExecuteWorkList() argument
193 if (!InitState) in ExecuteWorkList()
197 generateNode(StartLoc, InitState, 0); in ExecuteWorkList()
273 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
275 bool DidNotFinish = ExecuteWorkList(L, Steps, InitState); in ExecuteWorkListWithInitialState()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 118 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
120 return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst); in ExecuteWorkListWithInitialState()
|
| D | CoreEngine.h | 128 ProgramStateRef InitState);
132 ProgramStateRef InitState,
|