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