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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
H A DExprEngine.h151 /// getInitialState - Return the initial state used for the root vertex
153 ProgramStateRef getInitialState(const LocationContext *InitLoc);
H A DProgramState.h454 ProgramStateRef getInitialState(const LocationContext *InitLoc);
/external/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp195 generateNode(StartLoc, SubEng.getInitialState(L), 0);
H A DProgramState.cpp335 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);
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/org.eclipse.pde.build_3.6.1.R36x_v20100823/
H A Dpdebuild.jarMETA-INF/ META-INF/MANIFEST.MF org/ org/eclipse/ org/eclipse/pde/ org/eclipse/pde/build/ ...

Completed in 384 milliseconds