/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();
|