Home
last modified time | relevance | path

Searched refs:MemRegion (Results 1 – 25 of 91) sorted by relevance

1234

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp123 MemRegion::~MemRegion() = default;
134 const MemRegion* r = this; in isSubRegionOf()
663 const MemRegion *R = this; in getDescriptiveName()
1127 const MemRegion *R = this; in getMemorySpace()
1158 const MemRegion *MemRegion::getBaseRegion() const { in getBaseRegion()
1159 const MemRegion *R = this; in getBaseRegion()
1179 const MemRegion *MemRegion::getMostDerivedObjectRegion() const { in getMostDerivedObjectRegion()
1180 const MemRegion *R = this; in getMostDerivedObjectRegion()
1186 bool MemRegion::isSubRegionOf(const MemRegion *) const { in isSubRegionOf()
1194 const MemRegion *MemRegion::StripCasts(bool StripBaseAndDerivedCasts) const { in StripCasts()
[all …]
H A DStore.cpp75 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { in castRegion()
114 case MemRegion::CXXThisRegionKind: in castRegion()
115 case MemRegion::CodeSpaceRegionKind: in castRegion()
118 case MemRegion::HeapSpaceRegionKind: in castRegion()
128 case MemRegion::BlockCodeRegionKind: in castRegion()
130 case MemRegion::StringRegionKind: in castRegion()
132 case MemRegion::SymbolicRegionKind: in castRegion()
133 case MemRegion::AllocaRegionKind: in castRegion()
135 case MemRegion::FieldRegionKind: in castRegion()
136 case MemRegion::ObjCIvarRegionKind: in castRegion()
[all …]
H A DRegionStore.cpp49 llvm::PointerIntPair<const MemRegion *, 2> P;
85 const MemRegion *getBaseRegion() const { in getBaseRegion()
240 const MemRegion *Base = K.getBaseRegion(); in addBinding()
697 bool isVisited(const MemRegion *R) { in isVisited()
705 const MemRegion *Base = RI.getKey(); in GenerateClusters()
725 bool AddToWorkList(const MemRegion *R) { in AddToWorkList()
732 const MemRegion *BaseR = E; in RunWorkList()
780 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
976 bool AddToWorkList(const MemRegion *R);
1211 const MemRegion *R) { in isInitiallyIncludedGlobalRegion()
[all …]
H A DSVals.cpp52 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()
151 const MemRegion *SVal::getAsRegion() const { in getAsRegion()
161 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
162 const MemRegion *R = getRegion(); in stripCasts()
H A DDynamicTypeMap.cpp29 const MemRegion *Reg) { in getDynamicTypeInfo()
49 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg, in setDynamicTypeInfo()
65 const MemRegion *MR = I.first; in printDynamicTypeInfo()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h55 class MemRegion; variable
65 const MemRegion *R = nullptr;
108 MemRegion(Kind k) : kind(k) {} in MemRegion() function
109 virtual ~MemRegion();
120 const MemRegion *getBaseRegion() const;
436 class SubRegion : public MemRegion {
440 const MemRegion* superRegion;
442 SubRegion(const MemRegion *sReg, Kind k) : MemRegion(k), superRegion(sReg) { in SubRegion()
705 const MemRegion * const *R;
1070 const MemRegion *Region;
[all …]
H A DStore.h113 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
118 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
155 const MemRegion *region, in getSizeInElements()
193 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
199 const MemRegion *region) const = 0;
210 using InvalidatedRegions = SmallVector<const MemRegion *, 8>;
254 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
265 const MemRegion *region, SVal val) = 0;
270 const MemRegion* Binding = nullptr;
278 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
[all …]
H A DDynamicTypeMap.h27 class MemRegion; variable
34 llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>;
44 const MemRegion *Reg);
47 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
52 const MemRegion *Reg, QualType NewTy,
H A DSubEngine.h45 class MemRegion; variable
139 ArrayRef<const MemRegion *> ExplicitRegions,
140 ArrayRef<const MemRegion *> Regions,
147 const MemRegion* MR, in processRegionChange()
158 ArrayRef<const MemRegion *> ExplicitRegions,
H A DRegions.def1 //===-- Regions.def - Metadata about MemRegion kinds ------------*- C++ -*-===//
10 // The list of regions (MemRegion sub-classes) used in the Static Analyzer.
14 // REGION(Id, Parent) - for specific MemRegion sub-classes, reserving
37 ABSTRACT_REGION(MemSpaceRegion, MemRegion)
58 ABSTRACT_REGION(SubRegion, MemRegion)
H A DSymbolManager.h64 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
146 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
203 const MemRegion* R;
222 const MemRegion *getRegion() const { return R; } in getRegion()
232 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, in Profile()
557 using RegionSetTy = llvm::DenseSet<const MemRegion *>;
568 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
585 bool isLiveRegion(const MemRegion *region);
618 void markLive(const MemRegion *region);
619 void markElementIndicesLive(const MemRegion *region);
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DPointerArithChecker.cpp51 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
53 const MemRegion *getPointedRegion(const MemRegion *Region,
105 const MemRegion *
106 PointerArithChecker::getPointedRegion(const MemRegion *Region, in getPointedRegion()
118 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region, in getArrayRegion()
157 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
167 if (const MemRegion *ArrayRegion = in reportPointerArithMisuse()
230 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
251 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
267 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
[all …]
H A DMoveChecker.cpp179 const MemRegion *Region;
219 const MemRegion *Region,
247 static const MemRegion *unwrapRValueReferenceIndirection(const MemRegion *MR) { in unwrapRValueReferenceIndirection()
251 if (const MemRegion *OriginMR = Sym->getOriginRegion()) in unwrapRValueReferenceIndirection()
373 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
459 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
537 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
672 const MemRegion *Region = E.first; in checkDeadSymbols()
685 ArrayRef<const MemRegion *> RequestedRegions, in checkRegionChanges()
686 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges()
[all …]
H A DStackAddrEscapeChecker.cpp57 void EmitStackError(CheckerContext &C, const MemRegion *R,
60 static SourceRange genName(raw_ostream &os, const MemRegion *R,
62 static SmallVector<const MemRegion *, 4>
113 bool StackAddrEscapeChecker::isArcManagedBlock(const MemRegion *R, in isArcManagedBlock()
137 SmallVector<const MemRegion *, 4>
140 SmallVector<const MemRegion *, 4> Regions; in getCapturedStackRegions()
145 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
153 const MemRegion *R, in EmitStackError()
259 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
305 SmallVector<std::pair<const MemRegion *, const MemRegion *>, 10> V; in checkEndFunction()
[all …]
H A DValistChecker.cpp28 typedef SmallVector<const MemRegion *, 2> RegionVector;
57 const MemRegion *getVAListAsRegion(SVal SV, const Expr *VAExpr,
74 ValistBugVisitor(const MemRegion *Reg, bool IsLeak = false) in ValistBugVisitor()
97 const MemRegion *Reg;
139 const MemRegion *VAList = in checkPreCall()
165 const MemRegion *Reg = SV.getAsRegion(); in getVAListAsRegion()
191 const MemRegion *VAList = in checkPreStmt()
224 const MemRegion *Reg) const { in getStartCallSite()
310 const MemRegion *VAList = in checkVAListStartCall()
318 const MemRegion *Arg2 = in checkVAListStartCall()
[all …]
H A DVirtualCallChecker.cpp57 void reportBug(StringRef Msg, bool PureError, const MemRegion *Reg,
62 const MemRegion *ObjectRegion;
66 VirtualBugVisitor(const MemRegion *R) : ObjectRegion(R), Found(false) {} in VirtualBugVisitor()
82 REGISTER_MAP_WITH_PROGRAMSTATE(CtorDtorMap, const MemRegion *, ObjectState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
110 const MemRegion *Reg = ThiSVal.castAs<loc::MemRegionVal>().getRegion(); in REGISTER_MAP_WITH_PROGRAMSTATE()
190 const MemRegion *Reg = MC->getCXXThisVal().getAsRegion(); in checkPreCall()
233 const MemRegion *Reg = ThiSVal.getAsRegion(); in registerCtorDtorCallInState()
247 const MemRegion *Reg = ThiSVal.getAsRegion(); in registerCtorDtorCallInState()
259 const MemRegion *Reg, in reportBug()
H A DCStringChecker.cpp684 case MemRegion::StringRegionKind: in setCStringLength()
690 case MemRegion::AllocaRegionKind: in setCStringLength()
691 case MemRegion::VarRegionKind: in setCStringLength()
692 case MemRegion::FieldRegionKind: in setCStringLength()
795 case MemRegion::AllocaRegionKind: in getCStringLength()
796 case MemRegion::VarRegionKind: in getCStringLength()
797 case MemRegion::FieldRegionKind: in getCStringLength()
995 case MemRegion::VarRegionKind: in SummarizeRegion()
998 case MemRegion::FieldRegionKind: in SummarizeRegion()
2406 const MemRegion *MR = *I; in checkRegionChanges()
[all …]
H A DIteratorChecker.cpp90 const MemRegion *Cont;
98 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition()
102 const MemRegion *getContainer() const { return Cont; } in getContainer()
118 IteratorPosition reAssign(const MemRegion *NewCont) const { in reAssign()
225 const MemRegion *Cont) const;
246 const MemRegion *Cont) const;
341 const MemRegion *Cont,
393 const MemRegion *Reg);
2047 if (RegOrSym.is<const MemRegion *>()) { in getIteratorPosition()
2072 if (RegOrSym.is<const MemRegion *>()) { in setIteratorPosition()
[all …]
H A DPointerSubChecker.cpp45 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
46 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
51 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()
52 const MemRegion *BaseRR = RR->getBaseRegion(); in checkPreStmt()
H A DPthreadLockChecker.cpp96 const MemRegion *lockR,
102 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument
105 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState) in REGISTER_LIST_WITH_PROGRAMSTATE()
108 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef) in REGISTER_LIST_WITH_PROGRAMSTATE()
160 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const { in resolvePossiblyDestroyedMutex()
221 const MemRegion *lockR = lock.getAsRegion(); in AcquireLock()
292 const MemRegion *lockR = lock.getAsRegion(); in ReleaseLock()
325 const MemRegion *firstLockR = LS.getHead(); in ReleaseLock()
351 const MemRegion *LockR = Lock.getAsRegion(); in DestroyLock()
411 const MemRegion *LockR = Lock.getAsRegion(); in InitLock()
[all …]
H A DVforkChecker.cpp169 const MemRegion *LhsDeclReg = in checkPostCall()
172 : (const MemRegion *)VFORK_RESULT_NONE; in checkPostCall()
198 const MemRegion *VforkLhs = in checkBind()
199 static_cast<const MemRegion *>(State->get<VforkResultRegion>()); in checkBind()
200 const MemRegion *MR = L.getAsRegion(); in checkBind()
H A DMacOSXAPIChecker.cpp36 static const ObjCIvarRegion *getParentIvarRegion(const MemRegion *R);
55 MacOSXAPIChecker::getParentIvarRegion(const MemRegion *R) { in getParentIvarRegion()
72 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion(); in CheckDispatchOnce()
77 const MemRegion *RB = R->getBaseRegion(); in CheckDispatchOnce()
H A DDynamicTypeChecker.cpp43 DynamicTypeBugVisitor(const MemRegion *Reg) : Reg(Reg) {} in DynamicTypeBugVisitor()
57 const MemRegion *Reg;
61 const MemRegion *Reg, const Stmt *ReportedNode,
71 const MemRegion *Reg, in reportTypeError()
164 const MemRegion *Region = C.getSVal(CE).getAsRegion(); in checkPostStmt()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp30 const MemRegion *const MR = in checkDoubleNonblocking()
61 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent); in checkUnmatchedWaits()
70 llvm::SmallVector<const MemRegion *, 2> ReqRegions; in checkUnmatchedWaits()
135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait()
142 return (const MemRegion *)nullptr; in topRegionUsedByWait()
147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait() argument
148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const { in allRegionsUsedByWait()
176 ReqRegions.push_back(ER->getAs<MemRegion>()); in allRegionsUsedByWait()
H A DMPIBugReporter.h45 const MemRegion *const RequestRegion,
56 const MemRegion *const RequestRegion,
67 const MemRegion *const RequestRegion,
83 RequestNodeVisitor(const MemRegion *const MemoryRegion, in RequestNodeVisitor()
98 const MemRegion *const RequestRegion;

1234