Home
last modified time | relevance | path

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

123

/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDMemRegion.h47 const MemRegion *R;
58 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} in RegionOffset()
60 const MemRegion *getRegion() const { return R; } in getRegion()
77 class MemRegion : public llvm::FoldingSetNode {
127 MemRegion(Kind k) : kind(k) {} in MemRegion() function
128 virtual ~MemRegion();
139 const MemRegion *getBaseRegion() const;
142 virtual bool isSubRegionOf(const MemRegion *R) const;
144 const MemRegion *StripCasts(bool StripBaseCasts = true) const;
193 class MemSpaceRegion : public MemRegion {
[all …]
HDStore.h72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
107 const MemRegion *region, in getSizeInElements()
137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
142 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
148 const MemRegion *region) const = 0;
159 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions;
203 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
213 const MemRegion *region, SVal val) = 0;
219 const MemRegion* Binding;
226 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
[all …]
HDSubEngine.h41 class MemRegion; variable
127 ArrayRef<const MemRegion *> ExplicitRegions,
128 ArrayRef<const MemRegion *> Regions,
134 const MemRegion* MR) { in processRegionChange()
144 ArrayRef<const MemRegion *> ExplicitRegions,
145 ArrayRef<const MemRegion *> Regions,
HDProgramState.h239 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
289 SVal getSVal(const MemRegion* R) const;
291 SVal getSValAsScalarOrLoc(const MemRegion *R) const;
309 bool scanReachableSymbols(const MemRegion * const *I,
310 const MemRegion * const *E,
318 scanReachableSymbols(const MemRegion * const *beg,
319 const MemRegion * const *end) const;
330 ProgramStateRef addTaint(const MemRegion *R,
338 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
341 DynamicTypeInfo getDynamicTypeInfo(const MemRegion *Reg) const;
[all …]
HDSymbolManager.h35 class MemRegion; variable
268 const MemRegion* R;
274 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, in SymbolMetadata()
278 const MemRegion *getRegion() const { return R; } in getRegion()
287 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, in Profile()
519 const SymbolMetadata *getMetadataSymbol(const MemRegion *R, const Stmt *S,
565 typedef llvm::DenseSet<const MemRegion *> RegionSetTy;
577 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
595 bool isLiveRegion(const MemRegion *region);
641 void markLive(const MemRegion *region);
[all …]
HDSVals.h35 class MemRegion; variable
172 const MemRegion *getAsRegion() const;
493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} in MemRegionVal()
496 const MemRegion* getRegion() const { in getRegion()
497 return static_cast<const MemRegion*>(Data); in getRegion()
501 const MemRegion* stripCasts(bool StripBaseCasts = true) const;
HDExprEngine.h290 ArrayRef<const MemRegion *> ExplicitRegions,
291 ArrayRef<const MemRegion *> Regions,
434 void VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest,
504 ArrayRef<const MemRegion *> ExplicitRegions,
505 ArrayRef<const MemRegion *> Regions,
582 void BifurcateCall(const MemRegion *BifurReg,
HDCallEvent.h86 const MemRegion *R;
91 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {} in RuntimeDefinition()
101 const MemRegion *getDispatchRegion() { return R; } in getDispatchRegion()
643 typedef llvm::PointerIntPair<const MemRegion *, 1, bool> DtorDataTy;
653 const MemRegion *Target, bool IsBaseDestructor, in CXXDestructorCall()
698 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, in CXXConstructorCall()
966 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, in getCXXConstructorCall()
973 const MemRegion *Target, bool IsBase, in getCXXDestructorCall()
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDStore.cpp45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, in MakeElementRegion()
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { in BindDefault()
55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, in GetElementZeroRegion()
62 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { in castRegion()
102 case MemRegion::CXXThisRegionKind: in castRegion()
103 case MemRegion::GenericMemSpaceRegionKind: in castRegion()
104 case MemRegion::StackLocalsSpaceRegionKind: in castRegion()
105 case MemRegion::StackArgumentsSpaceRegionKind: in castRegion()
106 case MemRegion::HeapSpaceRegionKind: in castRegion()
107 case MemRegion::UnknownSpaceRegionKind: in castRegion()
[all …]
HDMemRegion.cpp59 const MemRegion *superRegion) {
98 const MemRegion *superRegion) {
117 const MemRegion *superRegion) {
138 MemRegion::~MemRegion() {} in ~MemRegion()
149 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
150 const MemRegion* r = getSuperRegion(); in isSubRegionOf()
165 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
229 ObjCIvarRegion::ObjCIvarRegion(const ObjCIvarDecl *ivd, const MemRegion* sReg) in ObjCIvarRegion()
264 const MemRegion* superRegion) { in ProfileRegion()
272 const MemRegion* superRegion) { in ProfileRegion()
[all …]
HDRegionStore.cpp47 llvm::PointerIntPair<const MemRegion *, 2> P;
59 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) in BindingKey()
70 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion()
81 const MemRegion *getBaseRegion() const { in getBaseRegion()
92 static BindingKey Make(const MemRegion *R, Kind k);
111 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { in Make()
146 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
150 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
154 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>
160 : llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>(T, F), in RegionBindingsRef()
[all …]
HDProgramState.cpp118 const MemRegion *MR = LV.getAsRegion(); in bindLoc()
127 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); in bindDefault()
135 typedef ArrayRef<const MemRegion *> RegionList;
235 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const { in getSValAsScalarOrLoc()
517 const MemRegion *R = val.getRegion()->getBaseRegion(); in scan()
582 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()
600 const MemRegion *Super = SR->getSuperRegion(); in scan()
640 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, in scanReachableSymbols()
641 const MemRegion * const *E, in scanReachableSymbols()
661 const MemRegion *R = getSVal(S, LCtx).getAsRegion(); in addTaint()
[all …]
HDSVals.cpp40 const MemRegion *R = RV->getRegion(); in hasConjuredSymbol()
53 const MemRegion* R = X->getRegion(); in getAsFunctionDecl()
75 const MemRegion *R = X->getRegion(); in getAsLocSymbol()
91 const MemRegion *R = X->getRegion(); in getLocSymbolInBase()
135 const MemRegion *SVal::getAsRegion() const { in getAsRegion()
145 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
146 const MemRegion *R = getRegion(); in stripCasts()
HDBugReporterVisitors.cpp311 if (const MemRegion *MR = LValue->getAsRegion()) { in visitNodeInitial()
469 const MemRegion *FieldReg = (const MemRegion *)PIP->getLocationValue(); in VisitNode()
837 static const MemRegion *getLocationRegionIfReference(const Expr *E, in getLocationRegionIfReference()
947 const MemRegion *R = nullptr; in trackNullOrUndefValue()
968 if (const MemRegion *RR = getLocationRegionIfReference(Inner, N)) in trackNullOrUndefValue()
976 if (const MemRegion *RR = getLocationRegionIfReference(Inner, N)) { in trackNullOrUndefValue()
1038 const MemRegion *RegionRVal = RVal.getAsRegion(); in trackNullOrUndefValue()
1280 if (const MemRegion *R = state->getLValue(cast<VarDecl>(DR->getDecl()), in patternMatch()
1441 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitConditionVariable()
1485 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitTrueTest()
[all …]
HDCallEvent.cpp161 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
433 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
540 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
554 if (const MemRegion *R = getBlockRegion()) in getExtraInvalidatedValues()
569 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
575 Values.push_back(loc::MemRegionVal(static_cast<const MemRegion *>(Data))); in getExtraInvalidatedValues()
792 const MemRegion *Receiver = nullptr; in getRuntimeDefinition()
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDStackAddrEscapeChecker.cpp38 void EmitStackError(CheckerContext &C, const MemRegion *R,
40 static SourceRange genName(raw_ostream &os, const MemRegion *R,
45 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R, in genName()
95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R, in EmitStackError()
129 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
172 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V; in checkEndFunction()
180 const MemRegion *region, SVal val) override { in checkEndFunction()
185 const MemRegion *vR = val.getAsRegion(); in checkEndFunction()
HDDynamicTypePropagation.cpp46 static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD, in recordFixedType()
78 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
91 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
110 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); in checkPostCall()
140 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
165 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in checkPostStmt()
201 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
HDCStringChecker.cpp71 ArrayRef<const MemRegion *> ExplicitRegions,
72 ArrayRef<const MemRegion *> Regions,
127 const MemRegion *MR,
132 const MemRegion *MR,
151 const MemRegion *MR);
200 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
271 const MemRegion *R = l.getAsRegion(); in CheckLocation()
620 const MemRegion *MR, in setCStringLength()
627 case MemRegion::StringRegionKind: in setCStringLength()
632 case MemRegion::SymbolicRegionKind: in setCStringLength()
[all …]
HDPointerSubChecker.cpp47 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
48 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
53 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()
54 const MemRegion *BaseRR = RR->getBaseRegion(); in checkPreStmt()
HDPthreadLockChecker.cpp77 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument
79 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState) in REGISTER_LIST_WITH_PROGRAMSTATE()
128 const MemRegion *lockR = lock.getAsRegion(); in AcquireLock()
196 const MemRegion *lockR = lock.getAsRegion(); in ReleaseLock()
226 const MemRegion *firstLockR = LS.getHead(); in ReleaseLock()
251 const MemRegion *LockR = Lock.getAsRegion(); in DestroyLock()
286 const MemRegion *LockR = Lock.getAsRegion(); in InitLock()
HDArrayBoundCheckerV2.cpp69 const MemRegion *region) { in computeExtentBegin()
74 case MemRegion::SymbolicRegionKind: in computeExtentBegin()
78 case MemRegion::ElementRegionKind: in computeExtentBegin()
260 const MemRegion *region = location.getAsRegion(); in computeOffset()
273 case MemRegion::ElementRegionKind: { in computeOffset()
HDCheckerDocumentation.cpp252 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
253 ArrayRef<const MemRegion *> Regions, in checkRegionChanges()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporterVisitor.h28 class MemRegion; variable
98 const MemRegion *R;
112 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R, in FindLastStoreBRVisitor()
283 const MemRegion *R;
286 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {} in UndefOrNullArgVisitor()
/NextBSD/lib/clang/libclangstaticanalyzercore/
HDMakefile.depend216 MemRegion.o: AttrList.inc.h
217 MemRegion.o: Attrs.inc.h
218 MemRegion.o: CommentCommandList.inc.h
219 MemRegion.o: DeclNodes.inc.h
220 MemRegion.o: DiagnosticCommonKinds.inc.h
221 MemRegion.o: StmtNodes.inc.h
222 MemRegion.po: AttrList.inc.h
223 MemRegion.po: Attrs.inc.h
224 MemRegion.po: CommentCommandList.inc.h
225 MemRegion.po: DeclNodes.inc.h
[all …]
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h45 class MemRegion; variable
322 ArrayRef<const MemRegion *> ExplicitRegions,
323 ArrayRef<const MemRegion *> Regions,
427 ArrayRef<const MemRegion *> ExplicitRegions,
428 ArrayRef<const MemRegion *> Regions,

123