| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| 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...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| 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...] |
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| 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...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| 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...] |
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
62 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
102 case MemRegion::CXXThisRegionKind:
103 case MemRegion::CodeSpaceRegionKind:
104 case MemRegion::StackLocalsSpaceRegionKind:
105 case MemRegion::StackArgumentsSpaceRegionKind
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIBugReporter.h | 45 const MemRegion *const RequestRegion,
58 const MemRegion *const RequestRegion,
69 const MemRegion *const RequestRegion,
85 RequestNodeVisitor(const MemRegion *const MemoryRegion,
101 const MemRegion *const RequestRegion;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| PointerSubChecker.cpp | 47 const MemRegion *LR = LV.getAsRegion();
48 const MemRegion *RR = RV.getAsRegion();
53 const MemRegion *BaseLR = LR->getBaseRegion();
54 const MemRegion *BaseRR = RR->getBaseRegion();
|
