Lines Matching defs:ArgRegion

461   const auto ArgRegion = AFC->getArgSVal(0).getAsRegion();
462   if (!ArgRegion)
467   if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion)
471     if (IC->getCXXThisVal().getAsRegion() == ArgRegion)
474   const MemRegion *BaseRegion = ArgRegion->getBaseRegion();
481   if (State->get<TrackedRegionMap>(ArgRegion))
485   ObjectKind OK = classifyObject(ArgRegion, RD);
488     State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved());
613       const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion();
616       modelUse(State, ArgRegion, RD, MK, C);
664         const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion();
667         modelUse(State, ArgRegion, RD, MK, C);