reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h

   55     const MemRegion *R = V.getRegion();

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

  614     return dyn_cast<REGION>(getRegion());
  618     return getRegion() == R.getRegion();
  618     return getRegion() == R.getRegion();
  622     return getRegion() != R.getRegion();
  622     return getRegion() != R.getRegion();

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  965     const MemRegion *R = MR->getRegion()->StripCasts();
 1865     state = setCStringLength(state, dstRegVal->getRegion(), finalStrLength);

tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp

  494   const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion();
  619   if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() !=

tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp

  190     const MemRegion* R = X->getRegion();

tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp

  281   const MemRegion *Region = RegionSVal->getRegion();
  347   if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion()))
  802     const MemRegion *SelfRegion = ValueRegionSVal->getRegion();

tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

   47   const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion();

tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp

  310       SVal PSV = N->getState()->getSVal(Reg->getRegion());

tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

 2055       RVal = LVState->getSVal(L->getRegion());
 2059           std::make_unique<UndefOrNullArgVisitor>(L->getRegion()));
 2063             *KV, L->getRegion(), EnableNullFPSuppression, TKind, SFC));

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  958   const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion();
 2800       LocReg = LocRegVal->getRegion();

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

  539       assert(cast<VarRegion>(VV.castAs<loc::MemRegionVal>().getRegion())

tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp

   62       if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) {

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  137   const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion();
  146   const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion();
  568     return scan(X->getRegion());

tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

 1438       cast<SubRegion>(Array.castAs<loc::MemRegionVal>().getRegion());
 1464   const MemRegion *MR = L.castAs<loc::MemRegionVal>().getRegion();
 2156     if (const MemRegion* R = LV->getRegion())
 2171   const MemRegion *R = L.castAs<loc::MemRegionVal>().getRegion();

tools/clang/lib/StaticAnalyzer/Core/SVals.cpp

   52     const MemRegion *R = RV->getRegion();
   65     const MemRegion* R = X->getRegion();
   91     const MemRegion *R = X->getRegion();
  107   const MemRegion *R = X->getRegion();
  153     return X->getRegion();
  162   const MemRegion *R = getRegion();
  388       os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString();

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  151         const MemRegion *R = val.castAs<loc::MemRegionVal>().getRegion();

tools/clang/lib/StaticAnalyzer/Core/Store.cpp

  441     BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion());