]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc14726) | patch
Replace guarded calls in RegionStoreManager to
authorTed Kremenek <kremenek@apple.com>
Thu, 2 Jul 2009 22:16:42 +0000 (22:16 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 2 Jul 2009 22:16:42 +0000 (22:16 +0000)
commitbb2b433ae14ca18e88a46032096ce5ec5c05c8e7
tree302f20182efb4de860ff95c18149c2a84db48b61tree | snapshot
parentdc147262b1ea0636cf8e7152f19303042dffdbedcommit | diff
Replace guarded calls in RegionStoreManager to
ValueManager::getRegionValueSymbolVal() with unguarded calls to
ValueManager::getRegionValueSymbolValOrUnknown(). This changes centralizes the
decision of what values to symbolicate in SymbolManager rather than having it
scatter in RegionStoreManager.

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