Searched refs:ParamRegion (Results 1 – 1 of 1) sorted by relevance
585 const VarRegion *ParamRegion = State->getRegion(Param, LCtx); in checkBeginFunction() local587 State->getSVal(ParamRegion).getAsRegion(); in checkBeginFunction()