Searched refs:RecDynType (Results 1 – 1 of 1) sorted by relevance
354 DynamicTypeInfo RecDynType = getDynamicTypeInfo(State, RecReg); in checkPostCall() local355 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()