Searched refs:MemRegion (Results 1 - 25 of 96) sorted by relevance

1234

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicType.h33 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
37 const MemRegion *MR);
41 const MemRegion *MR,
46 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
50 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
55 const MemRegion *MR,
H A DMemRegion.h1 //==- MemRegion.h - Abstract memory regions for static analysis -*- C++ -*--==//
9 // This file defines MemRegion and its subclasses. MemRegion defines a
54 class MemRegion;
64 const MemRegion *R = nullptr;
75 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
77 const MemRegion *getRegion() const { return R; }
93 /// MemRegion - The root abstract class for all memory regions.
94 class MemRegion : public llvm::FoldingSetNode { class in namespace:clang::ento
107 MemRegion(Kin function in class:clang::ento::MemRegion
[all...]
H A DStore.h17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
86 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
112 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
117 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
129 /// used to query and manipulate MemRegion objects.
154 const MemRegion *region,
190 /// a MemRegion* to a specific location type. 'R' is the region being
192 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
198 const MemRegion *regio
[all...]
H A DSubEngine.h45 class MemRegion;
139 ArrayRef<const MemRegion *> ExplicitRegions,
140 ArrayRef<const MemRegion *> Regions,
147 const MemRegion* MR,
160 ArrayRef<const MemRegion *> ExplicitRegions,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMove.h24 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region);
H A DAllocationState.h31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
H A DPointerSubChecker.cpp44 const MemRegion *LR = LV.getAsRegion();
45 const MemRegion *RR = RV.getAsRegion();
50 const MemRegion *BaseLR = LR->getBaseRegion();
51 const MemRegion *BaseRR = RR->getBaseRegion();
H A DStackAddrEscapeChecker.cpp56 void EmitStackError(CheckerContext &C, const MemRegion *R,
59 static SourceRange genName(raw_ostream &os, const MemRegion *R,
61 static SmallVector<const MemRegion *, 4>
63 static bool isArcManagedBlock(const MemRegion *R, CheckerContext &C);
64 static bool isNotInCurrentFrame(const MemRegion *R, CheckerContext &C);
68 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R,
112 bool StackAddrEscapeChecker::isArcManagedBlock(const MemRegion *R,
114 assert(R && "MemRegion should not be null");
119 bool StackAddrEscapeChecker::isNotInCurrentFrame(const MemRegion *R,
136 SmallVector<const MemRegion *,
[all...]
H A DIterator.h30 const MemRegion *Cont;
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of)
42 const MemRegion *getContainer() const { return Cont; }
50 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) {
58 IteratorPosition reAssign(const MemRegion *NewCont) const {
119 using IteratorRegionMapTy = CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, IteratorPosition);
120 using ContainerMapTy = CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, ContainerData);
157 const MemRegion *Cont);
H A DMacOSXAPIChecker.cpp36 static const ObjCIvarRegion *getParentIvarRegion(const MemRegion *R);
55 MacOSXAPIChecker::getParentIvarRegion(const MemRegion *R) {
72 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
77 const MemRegion *RB = R->getBaseRegion();
H A DPointerArithChecker.cpp50 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
52 const MemRegion *getPointedRegion(const MemRegion *Region,
74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind)
104 const MemRegion *
105 PointerArithChecker::getPointedRegion(const MemRegion *Region,
117 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region,
156 const MemRegion *Regio
[all...]
H A DMoveChecker.cpp59 ArrayRef<const MemRegion *> RequestedRegions,
60 ArrayRef<const MemRegion *> InvalidatedRegions,
148 ObjectKind classifyObject(const MemRegion *MR, const CXXRecordDecl *RD) const;
152 void explainObject(llvm::raw_ostream &OS, const MemRegion *MR,
159 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R,
180 const MemRegion *Region;
211 void modelUse(ProgramStateRef State, const MemRegion *Region,
217 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
224 const MemRegion *Region,
229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionStat
[all...]
H A DTaint.h45 const MemRegion *R,
51 const MemRegion *R);
79 bool isTainted(ProgramStateRef State, const MemRegion *Reg,
H A DValistChecker.cpp24 REGISTER_SET_WITH_PROGRAMSTATE(InitializedVALists, const MemRegion *)
27 typedef SmallVector<const MemRegion *, 2> RegionVector;
56 const MemRegion *getVAListAsRegion(SVal SV, const Expr *VAExpr,
59 const MemRegion *Reg) const;
61 void reportUninitializedAccess(const MemRegion *VAList, StringRef Msg,
73 ValistBugVisitor(const MemRegion *Reg, bool IsLeak = false)
96 const MemRegion *Reg;
140 const MemRegion *VAList =
163 const MemRegion *ValistChecker::getVAListAsRegion(SVal SV, const Expr *E,
166 const MemRegion *Re
[all...]
H A DSmartPtrModeling.cpp51 const MemRegion *ThisR =
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp25 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
74 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
113 case MemRegion::CXXThisRegionKind:
114 case MemRegion::CodeSpaceRegionKind:
115 case MemRegion::StackLocalsSpaceRegionKind:
116 case MemRegion::StackArgumentsSpaceRegionKind:
117 case MemRegion::HeapSpaceRegionKind:
118 case MemRegion::UnknownSpaceRegionKind:
119 case MemRegion
[all...]
H A DMemRegion.cpp1 //===- MemRegion.cpp - Abstract memory regions for static analysis --------===//
9 // This file defines MemRegion and its subclasses. MemRegion defines a
15 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
59 #define DEBUG_TYPE "MemRegion"
62 // MemRegion Construction.
122 MemRegion::~MemRegion() = default;
132 bool SubRegion::isSubRegionOf(const MemRegion* R) const {
133 const MemRegion*
347 ProfileRegion(llvm::FoldingSetNodeID& ID, const NamedDecl *FD, const MemRegion*) argument
358 ProfileRegion(llvm::FoldingSetNodeID& ID, const BlockDecl *BD, CanQualType, const AnalysisDeclContext *AC, const MemRegion*) argument
[all...]
H A DDynamicType.cpp18 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
27 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
40 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR) {
60 const MemRegion *MR) {
65 const MemRegion *MR,
79 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
86 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
92 const MemRegion *MR,
153 const MemRegion *M
[all...]
H A DRegionStore.cpp26 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
49 llvm::PointerIntPair<const MemRegion *, 2> P;
61 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
74 const MemRegion *getRegion() const { return P.getPointer(); }
85 const MemRegion *getBaseRegion() const {
96 static BindingKey Make(const MemRegion *R, Kind k);
115 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
150 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
154 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
170 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBinding
[all...]
H A DConstraintManager.cpp15 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
27 const MemRegion *R =
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h44 const MemRegion *const RequestRegion,
55 const MemRegion *const RequestRegion,
66 const MemRegion *const RequestRegion,
82 RequestNodeVisitor(const MemRegion *const MemoryRegion,
97 const MemRegion *const RequestRegion;
H A DMPIChecker.h85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
93 const clang::ento::MemRegion *
H A DMPITypes.h49 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
H A DMPIChecker.cpp29 const MemRegion *const MR =
60 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent);
69 llvm::SmallVector<const MemRegion *, 2> ReqRegions;
134 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const {
141 return (const MemRegion *)nullptr;
146 llvm::SmallVector<const MemRegion *, 2> &ReqRegions,
147 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
175 ReqRegions.push_back(ER->getAs<MemRegion>());
H A DMPIBugReporter.cpp25 const MemRegion *const RequestRegion,
50 const ento::mpi::Request &Req, const MemRegion *const RequestRegion,
70 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion,

Completed in 126 milliseconds

1234