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

/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
129 ProgramStateRef new_state = makeWithStore(newStore);
196 ProgramStateRef newState = makeWithStore(newStore);
212 return makeWithStore(newStore);
225 return makeWithStore(newStore);
233 return makeWithStore(NewStore);
404 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { function in class:ProgramState
/freebsd-10.1-release/contrib/llvm/tools/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 156 milliseconds