]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bef4d7) | patch
Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and...
authorTed Kremenek <kremenek@apple.com>
Wed, 4 Nov 2009 00:09:15 +0000 (00:09 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 4 Nov 2009 00:09:15 +0000 (00:09 +0000)
commitf6f56d4fc8ebce17e7b83eb2c35f57a055c22283
tree2f3ae83f9b82522171da9305a2ea0d2aa0c66cf0tree | snapshot
parent9bef4d7d127c2f10a8c0535f371f8a06d5ba6b4acommit | diff
Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well.  This paves the way for adding "checker" visitation in EvalBind().

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85983 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRExprEngine.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
lib/Analysis/RegionStore.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.