Searched refs:RegionVal (Results 1 – 2 of 2) sorted by relevance
95 std::optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString() local96 if (!RegionVal) in isGlobalConstString()98 auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion()); in isGlobalConstString()
381 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation() local382 if (!RegionVal) in checkValueAtLValForInvariantViolation()391 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()