OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getInitialState
(Results
1 - 6
of
6
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SubEngine.h
50
virtual const ProgramState *
getInitialState
(const LocationContext *InitLoc) = 0;
ExprEngine.h
126
///
getInitialState
- Return the initial state used for the root vertex
128
const ProgramState *
getInitialState
(const LocationContext *InitLoc);
ProgramState.h
468
const ProgramState *
getInitialState
(const LocationContext *InitLoc);
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
310
const ProgramState *ProgramStateManager::
getInitialState
(const LocationContext *InitLoc) {
ExprEngine.cpp
84
const ProgramState *ExprEngine::
getInitialState
(const LocationContext *InitLoc) {
85
const ProgramState *state = StateMgr.
getInitialState
(InitLoc);
[
all
...]
CoreEngine.cpp
180
generateNode(StartLoc, SubEng.
getInitialState
(L), 0);
Completed in 146 milliseconds