HomeSort by relevance Sort by last modified time
    Searched refs:MemRegion (Results 26 - 50 of 215) sorted by null

12 3 4 5 6 7 8 9

  /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...]

Completed in 1981 milliseconds

12 3 4 5 6 7 8 9