Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp119 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc()
134 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultInitial()
143 ProgramStateRef new_state = makeWithStore(newStore); in bindDefaultZero()
206 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()
227 return makeWithStore(newStore); in killBinding()
235 return makeWithStore(NewStore); in enterStackFrame()
434 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore() function in ProgramState
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h129 ProgramStateRef makeWithStore(const StoreRef &store) const;