Searched refs:setDynamicTypeAndCastInfo (Results 1 – 2 of 2) sorted by relevance
249 State = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy, in addCastTransition()311 NewState = setDynamicTypeAndCastInfo(State, MR, CastFromTy, CastToTy, in addInstanceOfTransition()
111 ProgramStateRef setDynamicTypeAndCastInfo(ProgramStateRef State, in setDynamicTypeAndCastInfo() function