Searched refs:RecReg (Results 1 – 1 of 1) sorted by relevance
351 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall() local352 if (!RecReg) in checkPostCall()354 DynamicTypeInfo RecDynType = getDynamicTypeInfo(State, RecReg); in checkPostCall()