HomeSort by relevance Sort by last modified time
    Searched refs:makeWithStore (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 119 return makeWithStore(newStore);
124 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
137 ProgramStateRef new_state = makeWithStore(newStore);
176 ProgramStateRef newState = makeWithStore(newStore);
188 return makeWithStore(newStore);
201 return makeWithStore(newStore);
209 return makeWithStore(NewStore);
376 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const {
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 90 /// makeWithStore - Return a ProgramState with the same values as the current
92 ProgramStateRef makeWithStore(const StoreRef &store) const;

Completed in 4192 milliseconds