/prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0; 95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 107 /// used to query and manipulate MemRegion objects. 130 const MemRegion *region, 163 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 166 /// a MemRegion* to a specific location type. 'R' is the region being 168 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 174 const MemRegion *region) const = 0 [all...] |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
/prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0; 95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 107 /// used to query and manipulate MemRegion objects. 130 const MemRegion *region, 163 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 166 /// a MemRegion* to a specific location type. 'R' is the region being 168 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 174 const MemRegion *region) const = 0 [all...] |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
/prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0; 95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 107 /// used to query and manipulate MemRegion objects. 130 const MemRegion *region, 163 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 166 /// a MemRegion* to a specific location type. 'R' is the region being 168 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 174 const MemRegion *region) const = 0 [all...] |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
/prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0; 95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 107 /// used to query and manipulate MemRegion objects. 130 const MemRegion *region, 163 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 166 /// a MemRegion* to a specific location type. 'R' is the region being 168 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 174 const MemRegion *region) const = 0 [all...] |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 84 /// used to query and manipulate MemRegion objects. 107 const MemRegion *region, 137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 140 /// a MemRegion* to a specific location type. 'R' is the region being 142 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 148 const MemRegion *region) const = 0; 159 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions [all...] |
SubEngine.h | 41 class MemRegion; 135 ArrayRef<const MemRegion *> ExplicitRegions, 136 ArrayRef<const MemRegion *> Regions, 142 const MemRegion* MR) { 152 ArrayRef<const MemRegion *> ExplicitRegions, 153 ArrayRef<const MemRegion *> Regions,
|
SymExpr.h | 25 class MemRegion; 92 virtual const MemRegion *getOriginRegion() const { return nullptr; }
|
/prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
SymExpr.h | 25 class MemRegion; 92 virtual const MemRegion *getOriginRegion() const { return nullptr; }
|
/prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
SymExpr.h | 25 class MemRegion; 92 virtual const MemRegion *getOriginRegion() const { return nullptr; }
|
/prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
/prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SubEngine.h | 41 class MemRegion; 132 ArrayRef<const MemRegion *> ExplicitRegions, 133 ArrayRef<const MemRegion *> Regions, 140 const MemRegion* MR, 151 ArrayRef<const MemRegion *> ExplicitRegions, 152 ArrayRef<const MemRegion *> Regions,
|
/external/clang/lib/StaticAnalyzer/Core/ |
MemRegion.cpp | 1 //== MemRegion.cpp - Abstract memory regions for static analysis --*- C++ -*--// 10 // This file defines MemRegion and its subclasses. MemRegion defines a 16 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 31 // MemRegion Construction. 58 const MemRegion *superRegion) { 96 const MemRegion *superRegion) { 114 const MemRegion *superRegion) { 134 MemRegion::~MemRegion() {} [all...] |
DynamicTypeMap.cpp | 22 const MemRegion *Reg) { 42 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
|
RegionStore.cpp | 25 #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) 72 const MemRegion *getRegion() const { return P.getPointer(); } 83 const MemRegion *getBaseRegion() const { 94 static BindingKey Make(const MemRegion *R, Kind k); 113 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { 148 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings> 152 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *, 157 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
MPIChecker.h | 88 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions, 89 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE, 96 const clang::ento::MemRegion *
|
MPIChecker.cpp | 30 const MemRegion *const MR = 60 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent); 69 llvm::SmallVector<const MemRegion *, 2> ReqRegions; 135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { 142 return (const MemRegion *)nullptr; 147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, 148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const { 153 const MemRegion *SuperRegion{nullptr}; 176 ReqRegions.push_back(ER->getAs<MemRegion>());
|
MPITypes.h | 50 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
StackAddrEscapeChecker.cpp | 38 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, 95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R, 129 const MemRegion *R = V.getAsRegion(); 181 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V; 189 const MemRegion *region, SVal val) override { 194 const MemRegion *vR = val.getAsRegion();
|
PointerArithChecker.cpp | 52 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic, 54 const MemRegion *getPointedRegion(const MemRegion *Region, 76 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) 106 const MemRegion * 107 PointerArithChecker::getPointedRegion(const MemRegion *Region, 119 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region, 124 while (Region->getKind() == MemRegion::Kind::CXXBaseObjectRegionKind) [all...] |