]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 852119e) | patch
Make store "Regions" and "Bindings" more abstract instead of concrete variants.
authorTed Kremenek <kremenek@apple.com>
Thu, 28 Aug 2008 23:31:31 +0000 (23:31 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 28 Aug 2008 23:31:31 +0000 (23:31 +0000)
commit5f81c4415422b0aa5c59db69580b1079fc12a65f
treee8e42fcaa1c0052a16ee6271ad8b699de93d0993tree | snapshot
parent852119ea9b8900b109de327a135cdcd6d1761394commit | diff
Make store "Regions" and "Bindings" more abstract instead of concrete variants.
Their precise semantics will be implemented by a specific StoreManager.

Use function pointer to create the StoreManager in GRStateManager.  This matches how we create ConstraintsManager.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55514 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/BasicStore.h diff | blob | history
include/clang/Analysis/PathSensitive/GRState.h diff | blob | history
include/clang/Analysis/PathSensitive/Store.h diff | blob | history
lib/Analysis/BasicStore.cpp diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.