Searched refs:getInitialState (Results 1 - 6 of 6) sorted by relevance

/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
H A DExprEngine.h156 /// getInitialState - Return the initial state used for the root vertex
158 ProgramStateRef getInitialState(const LocationContext *InitLoc);
H A DProgramState.h478 ProgramStateRef getInitialState(const LocationContext *InitLoc);
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp195 generateNode(StartLoc, SubEng.getInitialState(L), 0);
H A DProgramState.cpp385 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) { function in class:ProgramStateManager
H A DExprEngine.cpp91 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { function in class:ExprEngine
92 ProgramStateRef state = StateMgr.getInitialState(InitLoc);

Completed in 115 milliseconds