| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 48 const MemRegion* R = X->getRegion(); in getAsFunctionDecl()
86 const MemRegion *R = X->getRegion(); in getLocSymbolInBase()
122 return X->getRegion(); in getAsRegion()
140 return Visit(MRV.getRegion()); in VisitMemRegionVal()
163 return LCV.getRegion()->getValueType(); in VisitLazyCompoundVal()
187 return getRegion()->StripCasts(StripBaseCasts); in stripCasts()
194 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion() function in nonloc::LazyCompoundVal
195 return static_cast<const LazyCompoundValData*>(Data)->getRegion(); in getRegion()
333 << ',' << C.getRegion() in dumpToStream()
372 os << '&' << castAs<loc::MemRegionVal>().getRegion()->getString(); in dumpToStream()
|
| H A D | SymbolManager.cpp | 94 << getRegion() << '}'; in dumpToStream()
98 os << getKindStr() << getSymbolID() << '{' << getRegion() << '}'; in dumpToStream()
102 os << getKindStr() << getSymbolID() << '{' << getRegion() << ',' << T << '}'; in dumpToStream()
469 KnownLive = isReadableRegion(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 | 75 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion() function in __anon23ceefa80111::BindingKey
89 return getRegion()->getBaseRegion(); in getBaseRegion()
121 return BindingKey(RO.getRegion(), RO.getOffset(), k); in Make()
811 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
878 if (NextKey.getRegion() == TopKey.getRegion()) { in collectSubRegionBindings()
1949 if (!O.getRegion()) in getBindingForElement()
2259 const SubRegion *LazyR = LCV.getRegion(); in getInterestingValues()
2350 if (const MemRegion* R = LV->getRegion()) in killBinding()
2818 SymReaper.markElementIndicesLive(Key.getRegion()); in VisitCluster()
2828 SymReaper.markLazilyCopied(LCS->getRegion()); in VisitBinding()
[all …]
|
| H A D | ProgramState.cpp | 132 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultInitial()
141 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefaultZero()
241 return getSVal(getRegion(SelfDecl, LCtx)); in getSelfSVal()
553 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
580 return scan(X->getRegion()); in scan()
|
| H A D | Store.cpp | 174 const MemRegion *baseR = rawOff.getRegion(); in castRegion()
407 BaseR = cast<SubRegion>(BaseL.castAs<loc::MemRegionVal>().getRegion()); in getLValueFieldOrIvar()
|
| H A D | ExprEngineObjC.cpp | 60 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
|
| H A D | SValBuilder.cpp | 721 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
782 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
847 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 40 if (isa<CXXThisRegion>(S->getRegion())) in isThisObject()
69 const MemRegion *R = V.getRegion(); in VisitMemRegionVal()
101 return "lazily frozen compound value of " + Visit(V.getRegion()); in VisitLazyCompoundVal()
105 const MemRegion *R = S->getRegion(); in VisitSymbolRegionValue()
120 ") for " + Visit(S->getRegion()); in VisitSymbolDerived()
124 return "extent of " + Visit(S->getRegion()); in VisitSymbolExtent()
129 Visit(S->getRegion()); in VisitSymbolMetadata()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 375 const TypedValueRegion *getRegion() const;
449 const MemRegion *getRegion() const { return castDataAs<MemRegion>(); } in getRegion() function
457 return dyn_cast<REGION>(getRegion()); in getRegionAs()
461 return getRegion() == R.getRegion();
465 return getRegion() != R.getRegion();
|
| H A D | SymbolManager.h | 53 const TypedValueRegion* getRegion() const { return R; } in getRegion() function
67 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
150 const TypedValueRegion *getRegion() const { return R; } in getRegion() function
157 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
189 const SubRegion *getRegion() const { return R; } in getRegion() function
237 const MemRegion *getRegion() const { return R; } in getRegion() function
|
| H A D | Store.h | 98 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
274 const MemRegion *getRegion() { return Binding; } in getRegion() function
|
| H A D | BasicValueFactory.h | 77 const TypedValueRegion *getRegion() const { return region; } in getRegion() function
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CoverageMappingGen.cpp | 996 SourceMappingRegion &getRegion() { in getRegion() function
1010 Counter ExitCount = getRegion().getCounter(); in propagateCounts()
1103 if (getRegion().hasEndLoc() && in adjustForOutOfOrderTraversal()
1188 SourceMappingRegion &Region = getRegion(); in extendRegion()
1199 SourceMappingRegion &Region = getRegion(); in terminateRegion()
1268 getRegion().setGap(true); in fillGapAreaWithCount()
1331 getRegion().setSkipped(true); in markSkipped()
1703 getRegion().setGap(true); in VisitSwitchStmt()
1764 SourceMappingRegion &Parent = getRegion(); in VisitSwitchCase()
2012 Counter ParentCnt = getRegion().getCounter(); in VisitBinLAnd()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObject.h | 117 const FieldRegion *getRegion() const { return FR; } in getRegion() function
189 const FieldRegion *getUninitRegion() const { return getHead().getRegion(); } in getUninitRegion()
338 assert(!contains(FN.getRegion()) && in add()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 240 Reg = SRV->getRegion(); in findInvalidatedSymbolicBase()
241 if (const auto *VarReg = dyn_cast<VarRegion>(SRV->getRegion())) in findInvalidatedSymbolicBase()
320 State->getRegion(FD->parameters()[2], C.getLocationContext()); in checkBeginFunction()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 71 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()
285 const TypedValueRegion *R = SD->getRegion(); in getTaintedSymbolsImpl()
303 getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly); in getTaintedSymbolsImpl()
|
| H A D | CXXSelfAssignmentChecker.cpp | 51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
|
| H A D | CheckObjCDealloc.cpp | 502 const MemRegion *SelfRegion = SelfVal.castAs<loc::MemRegionVal>().getRegion(); in diagnoseMissingReleases()
522 cast<SymbolRegionValue>(IvarSymbol)->getRegion(); in diagnoseMissingReleases()
627 if (DeallocedInstance.castAs<loc::MemRegionVal>().getRegion() != in findPropertyOnDeallocatingInstance()
977 SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx)); in isInInstanceDealloc()
|
| H A D | Iterator.cpp | 191 return State->get<IteratorRegionMap>(LCVal->getRegion()); in getIteratorPosition()
204 return State->set<IteratorRegionMap>(LCVal->getRegion(), Pos); in setIteratorPosition()
|
| H A D | UndefResultChecker.cpp | 48 const MemRegion *MR = Loc.castAs<loc::MemRegionVal>().getRegion(); in isArrayIndexOutOfBounds()
|
| H A D | BuiltinFunctionChecker.cpp | 95 state = setDynamicExtent(state, R.getRegion(), *DefSize, SVB); in evalCall()
|
| H A D | NullabilityChecker.cpp | 326 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
395 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
432 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
585 const VarRegion *ParamRegion = State->getRegion(Param, LCtx); in checkBeginFunction()
935 const MemRegion *SelfRegion = ValueRegionSVal->getRegion(); in getReceiverNullability()
|
| H A D | NSErrorChecker.cpp | 202 const MemRegion* R = X->getRegion(); in parameterTypeFromSVal()
|
| H A D | VLASizeChecker.cpp | 303 setDynamicExtent(State, State->getRegion(VD, C.getLocationContext()), in checkPreStmt()
|
| H A D | ErrnoModeling.cpp | 145 State->getRegion(ErrnoVar, C.getLocationContext()); in checkBeginFunction()
|