Searched refs:cloneWithState (Results 1 – 4 of 4) sorted by relevance
60 CallEventRef<T> cloneWithState(ProgramStateRef State) const { in cloneWithState() function61 return this->getPtr()->template cloneWithState<T>(State); in cloneWithState()328 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;331 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function332 return cloneWithState<CallEvent>(NewState); in cloneWithState()1007 CallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { in cloneWithState() function
158 CallEventRef<ObjCMethodCall> UpdatedMsg = Msg.cloneWithState(State); in VisitObjCMessage()
325 CallEventRef<> UpdatedCall = Call.cloneWithState(CEEState); in processCallExit()771 CallEventRef<> Call = CallTemplate.cloneWithState(State); in defaultEvalCall()
199 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()242 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()