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 49 virtual const GRState* getInitialState(const LocationContext *InitLoc) = 0;
ExprEngine.h 128 /// getInitialState - Return the initial state used for the root vertex
130 const GRState* getInitialState(const LocationContext *InitLoc);
GRState.h 483 const GRState *getInitialState(const LocationContext *InitLoc);
  /external/clang/lib/StaticAnalyzer/Core/
GRState.cpp 318 const GRState* GRStateManager::getInitialState(const LocationContext *InitLoc) {
CoreEngine.cpp 190 generateNode(StartLoc, SubEng.getInitialState(L), 0);
ExprEngine.cpp 99 const GRState* ExprEngine::getInitialState(const LocationContext *InitLoc) {
100 const GRState *state = StateMgr.getInitialState(InitLoc);
    [all...]

Completed in 602 milliseconds