]> granicus.if.org Git - clang/commit
Analyzer Core: Adding support for user-defined symbol dependencies. (For example...
authorAnna Zaks <ganna@apple.com>
Thu, 11 Aug 2011 16:43:28 +0000 (16:43 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 11 Aug 2011 16:43:28 +0000 (16:43 +0000)
commit89f920940de4b414616cabb310c37fa84ed2476a
treed9cd22efb91b299b38d3effd3a6f011fdde858d2
parent2e4f44f2799410a2336675e075c7f82cbbc29b33
Analyzer Core: Adding support for user-defined symbol dependencies. (For example, the allocated resource symbol only needs to be freed if no error has been returned by the allocator, so a checker might want to make the lifespan of the error code symbol depend on the allocated resource symbol.) Note, by default, the map that holds the dependencies will get destroyed along with the SymbolManager at the end of function exploration.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137309 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
lib/StaticAnalyzer/Core/SymbolManager.cpp