Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc()
129 ProgramStateRef new_state = makeWithStore(newStore); in bindDefault()
195 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl()
211 return makeWithStore(newStore); in invalidateRegionsImpl()
224 return makeWithStore(newStore); in killBinding()
232 return makeWithStore(NewStore); in enterStackFrame()
403 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore() function in ProgramState
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h94 ProgramStateRef makeWithStore(const StoreRef &store) const;