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