Home
last modified time | relevance | path

Searched refs:RegionVal (Results 1 – 2 of 2) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DNonnullGlobalConstantsChecker.cpp93 Optional<loc::MemRegionVal> RegionVal = V.getAs<loc::MemRegionVal>(); in isGlobalConstString() local
94 if (!RegionVal) in isGlobalConstString()
96 auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion()); in isGlobalConstString()
H A DNullabilityChecker.cpp339 auto RegionVal = LV.getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation() local
340 if (!RegionVal) in checkValueAtLValForInvariantViolation()
349 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()