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