Searched refs:ArgRegion (Results 1 – 3 of 3) sorted by relevance
446 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall() local447 if (!ArgRegion) in checkPostCall()452 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()456 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()459 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()466 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()470 ObjectKind OK = classifyObject(ArgRegion, RD); in checkPostCall()597 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall() local600 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()648 const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion(); in checkPreCall() local[all …]
171 const auto *ArgRegion = in checkFunctionArguments() local173 if (!ArgRegion) in checkFunctionArguments()176 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()
570 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameters() local571 if (!ArgRegion) in updateOutParameters()574 QualType PointeeTy = ArgRegion->getValueType(); in updateOutParameters()575 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters()580 if (shouldEscapeRegion(ArgRegion)) in updateOutParameters()