tree d6a9cc6935655adbccddcac142da70264be5706e
parent 3e030b4c04546229c81449fde66f71b23b3fc550
author Ted Kremenek <kremenek@apple.com> 1234928894 +0000
committer Ted Kremenek <kremenek@apple.com> 1234928894 +0000

Hooked up the necessary machinery to allow the retain/release checker reference
back to the summary used when evaluating the statement associated with a
simulation node. This is now being used to help improve the checker's
diagnostics. To get things started, the checker now emits a path diagnostic
indicating that 'autorelease' is a no-op in GC mode.

Some of these changes are exposing further grossness in the interface between
BugReporter and the ExplodedGraph::Trim facilities. These really need to be
cleaned up one day.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64881 91177308-0d34-0410-b5e6-96231b3b80d8