diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-02-14 03:16:10 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-02-14 03:16:10 +0000 |
| commit | 4e9d4b5d48ad52a6b90b9527451e76f9cccc34c1 (patch) | |
| tree | b75d9e909f270d3812fb90da581f7ba6580eff14 /clang/lib/Analysis/SymbolManager.cpp | |
| parent | 3d88672f64a2616f57879836db83a4907daa486b (diff) | |
| download | bcm5719-llvm-4e9d4b5d48ad52a6b90b9527451e76f9cccc34c1.tar.gz bcm5719-llvm-4e9d4b5d48ad52a6b90b9527451e76f9cccc34c1.zip | |
Added GRStateManager::scanReachableSymbols(), a method which scans the reachable
symbols from an SVal.
- Fixed a bug in EnvironmentManager::RemoveDeadBindings() where it did not mark
live all the symbols reachable from a live block-level expression.
- Fixed a bug in the retain/release checker where it did not stop tracking
symbols that 'escaped' via compound literals being assigned to something the
BasicStoreManager didn't reason about.
llvm-svn: 64534
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 1672af8c611..f1c1cc0a466 100644 --- a/clang/lib/Analysis/SymbolManager.cpp +++ b/clang/lib/Analysis/SymbolManager.cpp @@ -99,4 +99,5 @@ bool SymbolReaper::isLive(SymbolRef sym) { // the analyzed function/method. return isa<SymbolRegionRValue>(SymMgr.getSymbolData(sym)); } - + +SymbolVisitor::~SymbolVisitor() {} |
