summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/SymbolManager.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-03-20 20:10:45 +0000
committerTed Kremenek <kremenek@apple.com>2009-03-20 20:10:45 +0000
commit6b31533ad11572f175eb7d9adb9246f56641a6d5 (patch)
tree11b6cefcfd36d89f061b7ce7ce72874db258c90c /clang/lib/Analysis/SymbolManager.cpp
parentde9e968c5aedf7fdf39628e1c210482300f6188e (diff)
downloadbcm5719-llvm-6b31533ad11572f175eb7d9adb9246f56641a6d5.tar.gz
bcm5719-llvm-6b31533ad11572f175eb7d9adb9246f56641a6d5.zip
GRExprEngine:
- Conjure symbols at '--' and '++' unary operations - Add utility method SVal::GetConjuredSymbolVal() and constify some arguments along the way. llvm-svn: 67395
Diffstat (limited to 'clang/lib/Analysis/SymbolManager.cpp')
-rw-r--r--clang/lib/Analysis/SymbolManager.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Analysis/SymbolManager.cpp b/clang/lib/Analysis/SymbolManager.cpp
index 589178fecb1..4d101f186bd 100644
--- a/clang/lib/Analysis/SymbolManager.cpp
+++ b/clang/lib/Analysis/SymbolManager.cpp
@@ -52,7 +52,8 @@ SymbolRef SymbolManager::getRegionRValueSymbol(const MemRegion* R) {
return SymbolCounter++;
}
-SymbolRef SymbolManager::getConjuredSymbol(Stmt* E, QualType T, unsigned Count,
+SymbolRef SymbolManager::getConjuredSymbol(const Stmt* E, QualType T,
+ unsigned Count,
const void* SymbolTag) {
llvm::FoldingSetNodeID profile;
OpenPOWER on IntegriCloud