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