Searched refs:cloneWithState (Results 1 – 3 of 3) sorted by relevance
92 CallEventRef<T> cloneWithState(ProgramStateRef State) const { in cloneWithState() function93 return this->get()->template cloneWithState<T>(State); in cloneWithState()379 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;382 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function383 return cloneWithState<CallEvent>(NewState); in cloneWithState()1473 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function
231 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()289 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()525 checkFn(cast<CXXAllocatorCall>(*Call.cloneWithState(Pred->getState())), in runChecker()
396 CallEventRef<> UpdatedCall = Call.cloneWithState(CEEState); in processCallExit()1219 CallEventRef<> Call = CallTemplate.cloneWithState(State); in defaultEvalCall()