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