Lines Matching full:argregion
2971 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion());
2972 if (!ArgRegion)
2975 QualType PointeeTy = ArgRegion->getValueType();
2979 SVal PointeeVal = State->getSVal(ArgRegion);
3401 if (const MemRegion *ArgRegion = RetVal.getAsRegion()) {
3409 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx,
