| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 52 const MemRegion *R = RV->getRegion(); in hasConjuredSymbol() 65 const MemRegion* R = X->getRegion(); in getAsFunctionDecl() 91 const MemRegion *R = X->getRegion(); in getAsLocSymbol() 107 const MemRegion *R = X->getRegion(); in getLocSymbolInBase() 153 return X->getRegion(); in getAsRegion() 162 const MemRegion *R = getRegion(); in stripCasts() 170 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion() function in nonloc::LazyCompoundVal 171 return static_cast<const LazyCompoundValData*>(Data)->getRegion(); in getRegion() 340 << ',' << C.getRegion() in dumpToStream() 379 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
|
| H A D | SymbolManager.cpp | 97 << getParentSymbol() << ',' << getRegion() << '}'; in dumpToStream() 101 os << "extent_$" << getSymbolID() << '{' << getRegion() << '}'; in dumpToStream() 106 << getRegion() << ',' << T.getAsString() << '}'; in dumpToStream() 469 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive() 478 KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion()); in isLive() 482 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion()); in isLive()
|
| H A D | RegionStore.cpp | 74 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion() function in __anonf243ef2f0111::BindingKey 88 return getRegion()->getBaseRegion(); in getBaseRegion() 120 return BindingKey(RO.getRegion(), RO.getOffset(), k); in Make() 126 os << '(' << K.getRegion(); in operator <<() 780 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields() 848 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings() 1587 return std::make_pair(V->getStore(), V->getRegion()); in findLazyBinding() 1703 if (!O.getRegion()) in getBindingForElement() 1707 dyn_cast_or_null<TypedValueRegion>(O.getRegion())) { in getBindingForElement() 2000 const SubRegion *LazyR = LCV.getRegion(); in getInterestingValues() [all …]
|
| H A D | ProgramState.cpp | 138 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial() 147 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero() 553 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan() 582 return scan(X->getRegion()); in scan() 689 return addPartialTaint(Sym, LCV->getRegion(), Kind); in addTaint() 797 const TypedValueRegion *R = SD->getRegion(); in isTainted() 811 if (isTainted(SRV->getRegion(), Kind)) in isTainted()
|
| H A D | Store.cpp | 166 const MemRegion *baseR = rawOff.getRegion(); in castRegion() 442 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
|
| H A D | BugReporterVisitors.cpp | 178 return LLCV->getRegion() == RLCV->getRegion() && in hasVisibleUpdate() 1682 report.addVisitor(llvm::make_unique<UndefOrNullArgVisitor>(L->getRegion())); in trackExpressionValue() 1689 if (const auto *SR = dyn_cast<SymbolicRegion>(L->getRegion())) in trackExpressionValue() 1700 RVal = LVState->getSVal(L->getRegion()); in trackExpressionValue() 1706 *KV, L->getRegion(), EnableNullFPSuppression)); in trackExpressionValue() 2401 State->getSVal(State->getRegion(Met->getParamDecl(0), LCtx)); in VisitNode()
|
| H A D | SimpleSValBuilder.cpp | 152 const MemRegion *R = val.castAs<loc::MemRegionVal>().getRegion(); in evalCastFromLoc() 1059 if (LeftOffset.getRegion() != nullptr && in evalBinOpLL() 1060 LeftOffset.getRegion() == RightOffset.getRegion() && in evalBinOpLL()
|
| H A D | ExprEngineObjC.cpp | 63 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
|
| H A D | ExprEngine.cpp | 240 const MemRegion *R = state->getRegion(PD, InitLoc); in getInitialState() 266 const MemRegion *R = state->getRegion(SelfD, InitLoc); in getInitialState() 908 const MemRegion *Region = dest.castAs<loc::MemRegionVal>().getRegion(); in ProcessAutomaticObjDtor() 989 VisitCXXDestructor(BaseTy, BaseVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessBaseDtor() 1013 VisitCXXDestructor(T, FieldVal.castAs<loc::MemRegionVal>().getRegion(), in ProcessMemberDtor() 2637 escapes = !regionLoc->getRegion()->hasStackStorage(); in processPointerEscapedOnBind() 2645 SVal StoredVal = State->getSVal(regionLoc->getRegion()); in processPointerEscapedOnBind() 2749 LocReg = LocRegVal->getRegion(); in evalBind()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 39 if (isa<CXXThisRegion>(S->getRegion())) in isThisObject() 56 const MemRegion *R = V.getRegion(); in VisitLocMemRegionVal() 88 return "lazily frozen compound value of " + Visit(V.getRegion()); in VisitNonLocLazyCompoundVal() 92 const MemRegion *R = S->getRegion(); in VisitSymbolRegionValue() 107 ") for " + Visit(S->getRegion()); in VisitSymbolDerived() 111 return "extent of " + Visit(S->getRegion()); in VisitSymbolExtent() 116 Visit(S->getRegion()); in VisitSymbolMetadata()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/CodeGen/ |
| H A D | CoverageMappingGen.cpp | 654 SourceMappingRegion &getRegion() { in getRegion() function 668 Counter ExitCount = getRegion().getCounter(); in propagateCounts() 700 if (getRegion().hasEndLoc() && in adjustForOutOfOrderTraversal() 776 SourceMappingRegion &Region = getRegion(); in extendRegion() 789 SourceMappingRegion &Region = getRegion(); in terminateRegion() 794 auto &ZeroRegion = getRegion(); in terminateRegion() 826 getRegion().setGap(true); in fillGapAreaWithCount() 954 Counter ParentCount = getRegion().getCounter(); in VisitWhileStmt() 983 Counter ParentCount = getRegion().getCounter(); in VisitDoStmt() 1006 Counter ParentCount = getRegion().getCounter(); in VisitForStmt() [all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 58 const SubRegion *getRegion() const { return baseRegion; } in getRegion() function in __anon7e27a6510111::RegionRawOffsetV2 133 if (!rawOffset.getRegion()) in checkLocation() 142 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); in checkLocation() 180 rawOffset.getRegion()->getExtent(svalBuilder); in checkLocation() 269 os << "raw_offset_v2{" << getRegion() << ',' << getByteOffset() << '}'; in dumpToStream()
|
| H A D | CXXSelfAssignmentChecker.cpp | 52 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
|
| H A D | CheckObjCDealloc.cpp | 495 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases() 515 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases() 621 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance() 988 SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx)); in isInInstanceDealloc()
|
| H A D | NullabilityChecker.cpp | 282 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion() 350 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation() 387 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation() 805 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
|
| H A D | VLASizeChecker.cpp | 170 state->getRegion(VD, LC)->getExtent(svalBuilder); in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
|
| H A D | VirtualCallChecker.cpp | 110 const MemRegion *Reg = ThiSVal.castAs<loc::MemRegionVal>().getRegion(); in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | NSErrorChecker.cpp | 191 const MemRegion* R = X->getRegion(); in parameterTypeFromSVal()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 496 const TypedValueRegion *getRegion() const; 603 const MemRegion *getRegion() const { in getRegion() function 612 return dyn_cast<REGION>(getRegion()); in getRegionAs() 616 return getRegion() == R.getRegion(); 620 return getRegion() != R.getRegion();
|
| H A D | SymbolManager.h | 52 const TypedValueRegion* getRegion() const { return R; } in getRegion() function 64 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion() 141 const TypedValueRegion *getRegion() const { return R; } in getRegion() function 146 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion() 177 const SubRegion *getRegion() const { return R; } in getRegion() function 222 const MemRegion *getRegion() const { return R; } in getRegion() function
|
| H A D | Store.h | 98 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding() 280 const MemRegion *getRegion() { return Binding; } in getRegion() function
|
| H A D | BasicValueFactory.h | 73 const TypedValueRegion *getRegion() const { return region; } in getRegion() function
|
| H A D | ProgramState.h | 232 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const; 684 inline const VarRegion* ProgramState::getRegion(const VarDecl *D, in getRegion() function
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObject.h | 110 const FieldRegion *getRegion() const { return FR; } in getRegion() function 182 const FieldRegion *getUninitRegion() const { return getHead().getRegion(); } in getUninitRegion() 331 assert(!contains(FN.getRegion()) && in add()
|