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