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 | 5216ad7e095873f19e535ad1efba91973f05d8e8 (patch) | |
| tree | 28c6f51a1e5e4d29edc2109f9595a9c00841fa0e /lib/Analysis/GRExprEngine.cpp | |
| parent | 3327f6ead9362e5689674a4aaab5b7f23ea0dea3 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64534 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions