Searched refs:ArgRegion (Results 1 – 1 of 1) sorted by relevance
2971 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameter() local2972 if (!ArgRegion) in updateOutParameter()2975 QualType PointeeTy = ArgRegion->getValueType(); in updateOutParameter()2979 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameter()3401 if (const MemRegion *ArgRegion = RetVal.getAsRegion()) { in evalCall() local3409 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, in evalCall()