Searched defs:RegionVal (Results 1 – 2 of 2) sorted by relevance
96 std::optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString() local
384 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation() local