diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-03-20 20:10:45 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-03-20 20:10:45 +0000 |
commit | 6b31533ad11572f175eb7d9adb9246f56641a6d5 (patch) | |
tree | 11b6cefcfd36d89f061b7ce7ce72874db258c90c /clang/lib/Analysis/SymbolManager.cpp | |
parent | de9e968c5aedf7fdf39628e1c210482300f6188e (diff) | |
download | bcm5719-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.cpp | 3 |
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; |