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

  177     OS << " of " + Visit(R->getSuperRegion());
  200            Visit(R->getSuperRegion());
  205            Visit(R->getSuperRegion());
  215            "' inside " + Visit(R->getSuperRegion());

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

   58     = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),

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

  347         region = elemReg->getSuperRegion();

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

  331   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
  939   const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
  970       R = ER->getSuperRegion();
 2332       MR = SR->getSuperRegion();
 2353       Super = SR->getSuperRegion();

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

  518     if (SelfRegion != IvarRegion->getSuperRegion())
  620       IvarRegion->getSuperRegion())

tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp

   36   if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
   66   if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
  154       SuperRegion = cast<SubRegion>(ER->getSuperRegion());

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

   59     SR = dyn_cast<SubRegion>(SR->getSuperRegion());

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

 2068       MR = ER->getSuperRegion();
 2376       MR = ER->getSuperRegion();
 2790     if (VR->getSuperRegion() == R) {

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

  285       return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion());
  287       return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion());

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

  152       R = SR->getSuperRegion();

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

  123     Region = BaseRegion->getSuperRegion();
  127     Region = ElemRegion->getSuperRegion();

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

  172     if (VR->getSuperRegion() == R) {
  490     cast<SubRegion>(MR)->getSuperRegion());

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

   58     = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),

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

  142     return isTainted(State, ER->getSuperRegion(), K) ||
  149     return isTainted(State, ER->getSuperRegion(), K);

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

   54       state, ER->getSuperRegion(), ER->getValueType());

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp

  265     const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion());

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

  183   return (EReg && VaListModelledAsArray) ? EReg->getSuperRegion() : Reg;

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

  725     R = cast<SubRegion>(R)->getSuperRegion();

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

  138       r = sr->getSuperRegion();
  148     const MemRegion *superRegion = r->getSuperRegion();
  331   SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
  383   BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion());
  394   ProfileRegion(ID, Ex, getSuperRegion());
  527   if (isa<HeapSpaceRegion>(getSuperRegion()))
  683     R = ER->getSuperRegion();
 1085         Super = cast<SubRegion>(Base->getSuperRegion());
 1133     R = SR->getSuperRegion();
 1169         R = cast<SubRegion>(R)->getSuperRegion();
 1184     R = BR->getSuperRegion();
 1204       R = ER->getSuperRegion();
 1211       R = cast<TypedValueRegion>(R)->getSuperRegion();
 1225     SubR = dyn_cast<SubRegion>(SubR->getSuperRegion());
 1239     superR = ER->getSuperRegion();
 1343       R = BOR->getSuperRegion();
 1400       R = ER->getSuperRegion();
 1428       R = FR->getSuperRegion();

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

  607     const MemRegion *Super = SR->getSuperRegion();

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

  833     R = cast<SubRegion>(R)->getSuperRegion();
 1640     Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()),
 1647     Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()),
 1657     Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()),
 1678   const MemRegion* superR = R->getSuperRegion();
 1794   const MemRegion* superR = R->getSuperRegion();
 1915     const MemRegion *Base = SR->getSuperRegion();
 1941             dyn_cast<TypedValueRegion>(R->getSuperRegion())) {
 1968   const MemRegion *superR = R->getSuperRegion();
 2563         cast<StackArgumentsSpaceRegion>(TR->getSuperRegion());

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

  113       R = SR->getSuperRegion();

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

  786   if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
  786   if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
 1023       if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
 1023       if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
 1181       superR = cast<SubRegion>(elemReg->getSuperRegion());

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

  287             dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion()))
  291     DerivedReg = AlreadyDerivedReg->getSuperRegion();
  350       MR = BaseR->getSuperRegion();
  526         elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()), Ctx));
  537   const SubRegion *ArrayR = cast<SubRegion>(ElemR->getSuperRegion());

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

  413        SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {