Searched refs:RegionVal (Results 1 – 3 of 3) sorted by relevance
94 Optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString() local95 if (!RegionVal) in isGlobalConstString()97 auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion()); in isGlobalConstString()
340 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation() local341 if (!RegionVal) in checkValueAtLValForInvariantViolation()350 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
366 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation() local367 if (!RegionVal) in checkValueAtLValForInvariantViolation()371 State->getSVal(RegionVal->getRegion()).getAs<DefinedOrUnknownSVal>(); in checkValueAtLValForInvariantViolation()