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