commit 5216ad7e095873f19e535ad1efba91973f05d8e8
author Ted Kremenek <kremenek@apple.com> Sat Feb 14 03:16:10 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Sat Feb 14 03:16:10 2009 +0000
tree 28c6f51a1e5e4d29edc2109f9595a9c00841fa0e
parent 3327f6ead9362e5689674a4aaab5b7f23ea0dea3

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