aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/BasicValueFactory.h
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-04-29 23:24:44 +0000
committerTed Kremenek <kremenek@apple.com>2008-04-29 23:24:44 +0000
commit4d0348b6c74d2710a3693bbfbcfc5fcb3bc132ee (patch)
tree3a3564e3748b4dc19c0e87a10784c572da17538f /include/clang/Analysis/PathSensitive/BasicValueFactory.h
parentaa847fe3c88ee5e8d180e48537c58b805d48d95d (diff)
Add lval::ArrayOffset, which represent the locations of entries in an array.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50453 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/PathSensitive/BasicValueFactory.h')
-rw-r--r--include/clang/Analysis/PathSensitive/BasicValueFactory.h6
1 files changed, 5 insertions, 1 deletions
diff --git a/include/clang/Analysis/PathSensitive/BasicValueFactory.h b/include/clang/Analysis/PathSensitive/BasicValueFactory.h
index e36e521d79..c3729ed53e 100644
--- a/include/clang/Analysis/PathSensitive/BasicValueFactory.h
+++ b/include/clang/Analysis/PathSensitive/BasicValueFactory.h
@@ -43,10 +43,11 @@ class BasicValueFactory {
APSIntSetTy APSIntSet;
SymIntCSetTy SymIntCSet;
void* PersistentRVals;
+ void* PersistentRValPairs;
public:
BasicValueFactory(ASTContext& ctx, llvm::BumpPtrAllocator& Alloc)
- : Ctx(ctx), BPAlloc(Alloc), PersistentRVals(0) {}
+ : Ctx(ctx), BPAlloc(Alloc), PersistentRVals(0), PersistentRValPairs(0) {}
~BasicValueFactory();
@@ -73,6 +74,9 @@ public:
const std::pair<RVal, uintptr_t>&
getPersistentRValWithData(const RVal& V, uintptr_t Data);
+
+ const std::pair<RVal, RVal>&
+ getPersistentRValPair(const RVal& V1, const RVal& V2);
};
} // end clang namespace