Searched defs:enterStackFrame (Results 1 – 2 of 2) sorted by relevance
28 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame() function in StoreManager
228 ProgramState::enterStackFrame(const CallEvent &Call, in enterStackFrame() function in ProgramState