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