Searched refs:makeWithStore (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
129 ProgramStateRef new_state = makeWithStore(newStore);
195 ProgramStateRef newState = makeWithStore(newStore);
211 return makeWithStore(newStore);
224 return makeWithStore(newStore);
232 return makeWithStore(NewStore);
403 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { function in class:ProgramState
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h90 /// makeWithStore - Return a ProgramState with the same values as the current
92 ProgramStateRef makeWithStore(const StoreRef &store) const;

Completed in 56 milliseconds