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