StaticAnalyzer/Core/RegionStore.cpp

30 #include "llvm/ADT/Optional.h"
197   Optional<SVal> getDirectBinding(const MemRegion *R) const;
201   Optional<SVal> getDefaultBinding(const MemRegion *R) const;
225 Optional<SVal> RegionBindingsRef::getDirectBinding(const MemRegion *R) const {
226   return Optional<SVal>::create(lookup(R, BindingKey::Direct));
229 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const {
235   return Optional<SVal>::create(lookup(R, BindingKey::Default));
438   Optional<RegionBindingsRef> tryBindSmallStruct(RegionBindingsConstRef B,
529   Optional<SVal> getBindingForDerivedDefaultValue(RegionBindingsConstRef B,
812   if (Optional<nonloc::ConcreteInt> ExtentCI =
984   if (Optional<nonloc::LazyCompoundVal> LCS =
1032         if (Optional<Loc> L = V.getAs<Loc>()) {
1092       Optional<uint64_t> NumElements;
1127         Optional<uint64_t> ROffset =
1128             BK.hasSymbolicOffset() ? Optional<uint64_t>() : BK.getOffset();
1217     if (Optional<nonloc::LazyCompoundVal> LCS =
1493 static Optional<nonloc::LazyCompoundVal>
1496   Optional<SVal> V = B.getDefaultBinding(R);
1500   Optional<nonloc::LazyCompoundVal> LCV = V->getAs<nonloc::LazyCompoundVal>();
1533     if (Optional<nonloc::LazyCompoundVal> V =
1577   if (const Optional<SVal> &V = B.getDirectBinding(R))
1592     if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) {
1631           if (const Optional<SVal> &V = B.getDirectBinding(superR)) {
1652   if (const Optional<SVal> &V = B.getDirectBinding(R))
1659 Optional<SVal>
1665   if (const Optional<SVal> &D = B.getDefaultBinding(superR)) {
1755     if (Optional<SVal> D = getBindingForDerivedDefaultValue(B, Base, R, Ty)) {
1804   if (const Optional<SVal> &V = B.getDirectBinding(R))
1810   if (const Optional<SVal> &V = B.getDefaultBinding(superR)) {
1825   if (const Optional<SVal> &V = B.getDirectBinding(R))
1839       if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
1855     if (Optional<SVal> V = getBindingForDerivedDefaultValue(B, MS, R, T)) {
1900     if (Optional<nonloc::LazyCompoundVal> InnerLCV =
1915   if (Optional<nonloc::LazyCompoundVal> V =
1976   if (Optional<loc::MemRegionVal> LV = L.getAs<loc::MemRegionVal>())
2056   Optional<uint64_t> Size;
2062   if (Optional<loc::MemRegionVal> MRV = Init.getAs<loc::MemRegionVal>()) {
2152 Optional<RegionBindingsRef>
2208   if (Optional<nonloc::LazyCompoundVal> LCV =
2210     if (Optional<RegionBindingsRef> NewB = tryBindSmallStruct(B, R, RD, *LCV))
2361   if (Optional<nonloc::LazyCompoundVal> LCS =