/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | DynamicType.h | 33 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 D | MemRegion.h | 1 //==- 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 D | Store.h | 17 #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 D | SubEngine.h | 45 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 D | Move.h | 24 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region);
|
H A D | AllocationState.h | 31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
|
H A D | PointerSubChecker.cpp | 44 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 D | StackAddrEscapeChecker.cpp | 56 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 D | Iterator.h | 30 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 D | MacOSXAPIChecker.cpp | 36 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 D | PointerArithChecker.cpp | 50 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 D | MoveChecker.cpp | 59 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 D | Taint.h | 45 const MemRegion *R, 51 const MemRegion *R); 79 bool isTainted(ProgramStateRef State, const MemRegion *Reg,
|
H A D | ValistChecker.cpp | 24 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 D | SmartPtrModeling.cpp | 51 const MemRegion *ThisR =
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 25 #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 D | MemRegion.cpp | 1 //===- 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 D | DynamicType.cpp | 18 #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 D | RegionStore.cpp | 26 #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 D | ConstraintManager.cpp | 15 #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 D | MPIBugReporter.h | 44 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 D | MPIChecker.h | 85 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 D | MPITypes.h | 49 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
|
H A D | MPIChecker.cpp | 29 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 D | MPIBugReporter.cpp | 25 const MemRegion *const RequestRegion, 50 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, 70 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion,
|