]> granicus.if.org Git - clang/commit
analyzer: Introduce a new class, ValueManager, that serves as an aggregate
authorTed Kremenek <kremenek@apple.com>
Thu, 9 Apr 2009 16:13:17 +0000 (16:13 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 9 Apr 2009 16:13:17 +0000 (16:13 +0000)
commit044b6f0417cb98741f277602fabf5f07ec9a02c0
tree880735a5b75889464c98051b294f221ab478dcc3
parentdab44daf8b2501335383bffbd1873e0bae195d30
analyzer: Introduce a new class, ValueManager, that serves as an aggregate
"manager of symbolic values", wrapping BasicValueFactory, SymbolManager, and
MemRegionManager. While these individual managers nicely separate functionality
in the analyzer, constructing symbolic values can sometimes be cumbersome
because it requires using multiple managers at once. The goal of this class is
to create some factory methods to create SVals that require the use of these
different managers, thus (hopefully) simplifying the analyzer API for clients.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68709 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRExprEngine.h
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/ValueManager.h [new file with mode: 0644]
lib/Analysis/CFRefCount.cpp
lib/Analysis/GRState.cpp