HomeSort by relevance Sort by last modified time
    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