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

Declarations

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

  191   const MemRegion *getAsRegion() const;

References

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

   38   const MemRegion *R = l.getAsRegion();

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

  311   const MemRegion *region = location.getAsRegion();

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

   60     dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion());

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

  319   const MemRegion *R = l.getAsRegion();
  795   const MemRegion *MR = Buf.getAsRegion();
  870   const MemRegion *bufRegion = val.getAsRegion();
  925   const MemRegion *R = BufEnd.getAsRegion();
 1051   const MemRegion *MR = MemVal.getAsRegion();
 2295     const MemRegion *MR = VarLoc.getAsRegion();

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

  172   if (const MemRegion *SValMemRegion = V.getAsRegion()) {

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

  103   const MemRegion *R = C.getSVal(E).getAsRegion();

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

  184   const MemRegion *MR = DV.getAsRegion();
  230   const MemRegion *MR = DV.getAsRegion();

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

  101   if (const MemRegion *R = ArgVal.getAsRegion()) {

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

   64   const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion();
  127   const MemRegion *M = N->getSVal(CastE).getAsRegion();

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

  252   const MemRegion *MR = L.getAsRegion();

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

  160   const MemRegion *Region = C.getSVal(CE).getAsRegion();

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

  162       if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion())
  175     const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion();
  194     const MemRegion *RetReg = Call.getReturnValue().getAsRegion();
  224         const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion();
  249       if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) {
  278   const MemRegion *ToR = C.getSVal(CE).getAsRegion();
  298   const MemRegion *MR = C.getSVal(NewE).getAsRegion();
  346   const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
  872   const MemRegion *RetRegion = M.getReturnValue().getAsRegion();

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

  230   auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());

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

  667   const MemRegion *MemReg = Val.getAsRegion();

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

  171           dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion());
  201         ICall->getCXXThisVal().getAsRegion());

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

  455     const auto *ContReg = InstCall->getCXXThisVal().getAsRegion();
  461                   InstCall->getCXXThisVal().getAsRegion());
  464                     InstCall->getCXXThisVal().getAsRegion());
  468                   InstCall->getCXXThisVal().getAsRegion());
  476                   InstCall->getCXXThisVal().getAsRegion());
 1140   const auto *ContReg = Cont.getAsRegion();
 1162   const auto *ContReg = Cont.getAsRegion();
 1199   const auto *ContReg = Cont.getAsRegion();
 1216     const auto *OldContReg = OldCont.getAsRegion();
 1274   const auto *ContReg = Cont.getAsRegion();
 1301   const auto *ContReg = Cont.getAsRegion();
 1338   const auto *ContReg = Cont.getAsRegion();
 1376   const auto *ContReg = Cont.getAsRegion();
 1409   const auto *ContReg = Cont.getAsRegion();
 2000   if (auto Reg = Val.getAsRegion()) {
 2013   if (auto Reg = Val.getAsRegion()) {
 2025   if (auto Reg = Val.getAsRegion()) {

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

  673   const MemRegion *mt = S.getAsRegion();
  686   const MemRegion *mt = S.getAsRegion();
  698   const MemRegion *mt = S.getAsRegion();
  709   const MemRegion *mt = S.getAsRegion();
  773   const MemRegion *StringRegion = S.getAsRegion();
  866           dyn_cast_or_null<ObjCStringRegion>(svTitle.getAsRegion())) {
  960           dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion());
 1016   if (LiteralSVal.getAsRegion() != NonLocalizedString)

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

   30       PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion();
  137     return CE.getArgSVal(0).getAsRegion();
  139     return CE.getArgSVal(1).getAsRegion();

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

  319     if (!isBadDeallocationArgument(ArgSVal.getAsRegion()))

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

   71   const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();

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

 1390     Region = Target.getAsRegion()
 1396     Region = Target.getAsRegion()->castAs<SubRegion>();
 1537       dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
 1777   const MemRegion *R = ArgVal.getAsRegion();
 2066     const MemRegion *MR = ArgVal.getAsRegion();
 2112     R->markInteresting(ArgVal.getAsRegion());
 2201   const MemRegion *MR = ArgVal.getAsRegion();
 2374     const MemRegion *MR = ArgVal.getAsRegion();
 2752     if (const MemRegion *MR = RetVal.getAsRegion())
 2776     cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());

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

  463   const auto ArgRegion = AFC->getArgSVal(0).getAsRegion();
  469   if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion)
  473     if (IC->getCXXThisVal().getAsRegion() == ArgRegion)
  610     State = removeFromState(State, CC->getCXXThisVal().getAsRegion());
  614       const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion();
  630   const MemRegion *ThisRegion = IC->getCXXThisVal().getAsRegion();
  665         const MemRegion *ArgRegion = IC->getArgSVal(0).getAsRegion();
  713       ThisRegion = IC->getCXXThisVal().getAsRegion();

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

   95   auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion());

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

 1056       dyn_cast_or_null<TypedValueRegion>(L.getAsRegion());

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

  140   const MemRegion *R = L.getAsRegion();

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

  110   return S.getAsRegion();
  156   const MemRegion *Region = C.getSVal(E).getAsRegion();
  229   const MemRegion *Region = SV.getAsRegion();
  250   const MemRegion *Region = AllocedVal.getAsRegion();
  266   const MemRegion *Region = CastedVal.getAsRegion();
  284   const MemRegion *Region = CastedVal.getAsRegion();

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

   44   const MemRegion *LR = LV.getAsRegion();
   45   const MemRegion *RR = RV.getAsRegion();

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

  220   const MemRegion *lockR = lock.getAsRegion();
  291   const MemRegion *lockR = lock.getAsRegion();
  350   const MemRegion *LockR = Lock.getAsRegion();
  411   const MemRegion *LockR = Lock.getAsRegion();

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

  155   auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());
  555     auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion());
 1140   const MemRegion *MR = loc.getAsRegion();

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

  177     if (const MemRegion *MR = (*CE)->getArgSVal(Idx).getAsRegion())

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

   43   const MemRegion *R = V.getAsRegion();

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

   52       cast<CXXInstanceCall>(&Call)->getCXXThisVal().getAsRegion();

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

  144     const MemRegion *Region = Val.getAsRegion();
  243             Call.getArgSVal(Idx).getAsRegion()))
  259   const MemRegion *R = V.getAsRegion();
  314       const MemRegion *VR = Val.getAsRegion();

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

   74   const MemRegion *R = V.getAsRegion();
  129   if (const MemRegion *Reg = V.getAsRegion())

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

   57   auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());

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

  466   auto *R = ObjectV.getAsRegion()->getAs<TypedValueRegion>();

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

  228   assert(V.getAsRegion() && "V must have an underlying region!");
  237   const auto *R = V.getAsRegion()->getAs<TypedValueRegion>();
  246   while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) {

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

  285   const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();

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

  166   const MemRegion *Reg = SV.getAsRegion();
  178       Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion();

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

  199   const MemRegion *MR = L.getAsRegion();

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

  113   const MemRegion *Reg = MC->getCXXThisVal().getAsRegion();
  178     const MemRegion *Reg = ThiSVal.getAsRegion();
  192     const MemRegion *Reg = ThiSVal.getAsRegion();

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

 2229   markInteresting(V.getAsRegion(), TKind);
 2241   auto RKind = getInterestingnessKind(V.getAsRegion());

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

  279                                       N->getSVal(BO->getLHS()).getAsRegion()))
  518     const MemRegion *VR = V.getAsRegion();
  564       const MemRegion *SelfRegion = MC->getReceiverSVal().getAsRegion();
  574     const MemRegion *ThisR = CCall->getCXXThisVal().getAsRegion();
  594     while (const MemRegion *MR = V.getAsRegion()) {
  863                   State->getLValue(VD, LCtx).getAsRegion()))
  866       const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion();
 1097       if (const MemRegion *MR = LValue->getAsRegion()) {
 1484               dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) {
 1992         LVNode->getSVal(Inner).getAsRegion();
 2066     const MemRegion *RegionRVal = RVal.getAsRegion();
 2354                                                 LCtx).getAsRegion()) {
 2780     const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion();

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

  309       if (const MemRegion *MR = getArgSVal(Idx).getAsRegion())
  703     const MemRegion *ThisRegion = ThisVal.getAsRegion();
  735   const MemRegion *R = getCXXThisVal().getAsRegion();
  849   const MemRegion *DataReg = getSVal(Callee).getAsRegion();
  953       if (const MemRegion *IvarRegion = IvarLVal.getAsRegion()) {
 1207       Receiver = getReceiverSVal().getAsRegion();
 1234           Receiver == getSelfSVal().getAsRegion())
 1402                                  ThisVal.getAsRegion(), State, CallerCtx);
 1425   return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(),

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

  456     *OutRegionWithAdjustments = cast<SubRegion>(Reg.getAsRegion());
  722     if (const MemRegion *MR = I.second.getAsRegion())
  881       PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame);
  892   PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame);
  961     const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion();
  978                                  CallOpts.IsArrayCtorOrDtor).getAsRegion();
 1008   const MemRegion *ArgR = ArgVal.getAsRegion();
 1040   VisitCXXDestructor(BaseTy, BaseVal.getAsRegion(), CurDtor->getBody(),
 1064   VisitCXXDestructor(T, FieldVal.getAsRegion(), CurDtor->getBody(),
 1084     MR = V->getAsRegion();
 2465       if (const MemRegion *R = V.getAsRegion())
 2622           if (const MemRegion *R = L.getAsRegion())
 2690   const MemRegion *MR = Loc.getAsRegion();

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

  212       dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) {

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

  168                 dyn_cast_or_null<SubRegion>(V.getAsRegion())) {
  499     CEMgr.getCXXConstructorCall(CE, Target.getAsRegion(), State, LCtx);
  563     const MemRegion *Target = Call->getCXXThisVal().getAsRegion();
  807     if (const auto *NewReg = cast_or_null<SubRegion>(symVal.getAsRegion())) {

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

  636     const MemRegion *TargetR = Target.getAsRegion();

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

  126   const MemRegion *MR = LV.getAsRegion();

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

 1046   if (const MemRegion *R = V.getAsRegion()) {
 1127           if (const MemRegion *LR = L->getAsRegion())
 1235           const MemRegion *R = V.getAsRegion();
 1319         if (const MemRegion *R = (*I).getAsRegion())
 1325     if (const MemRegion *R = V.getAsRegion()) {
 2141       if (const MemRegion *R = D.getAsRegion())
 2605   if (const MemRegion *R = V.getAsRegion()) {

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

  567       if (const MemRegion *R = LV->getLoc().getAsRegion()) {
  607   if (const MemRegion *R = val.getAsRegion()) {

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

  156     return X->getLoc().getAsRegion();

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

   32     const MemRegion *MR = LV->getAsRegion();

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

  960     const MemRegion *LeftMR = lhs.getAsRegion();
  963     const MemRegion *RightMR = rhs.getAsRegion();
 1169   if (const MemRegion *region = lhs.getAsRegion()) {

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

  229   const MemRegion *MR = V.getAsRegion();
  275   const MemRegion *DerivedReg = Derived.getAsRegion();
  318   const MemRegion *MR = Base.getAsRegion();
  424     if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(V.getAsRegion()))

tools/clang/unittests/StaticAnalyzer/StoreTest.cpp

   55         StMgr.BindDefaultInitial(StInit, LY0.getAsRegion(), Zero).getStore();
   57     ASSERT_EQ(Zero, *StMgr.getDefaultBinding(StY0, LY0.getAsRegion()));
   61         StMgr.BindDefaultZero(StInit, LZ0.getAsRegion()).getStore();
   66     ASSERT_EQ(NarrowZero, *StMgr.getDefaultBinding(StZ0, LZ0.getAsRegion()));
   75         StMgr.BindDefaultInitial(StInit, LY1.getAsRegion(), One).getStore();
   77     ASSERT_EQ(One, *StMgr.getDefaultBinding(StY1, LY1.getAsRegion()));