Searched refs:DynResTy (Results 1 – 1 of 1) sorted by relevance
335 QualType DynResTy = in checkPostCall() local345 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()