]> granicus.if.org Git - clang/commit
Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions.
authorTed Kremenek <kremenek@apple.com>
Tue, 3 Mar 2009 02:51:43 +0000 (02:51 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 3 Mar 2009 02:51:43 +0000 (02:51 +0000)
commit5dc2746b6c759d2fdab050d3d41ba60ad141a0a3
tree55eaf1bef07a030e8b5387638becbafb42913d51
parentba1bc057852d874930cdc8ab8d09b354ab4486bf
Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning MemRegions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65919 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Environment.h
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/BasicStore.cpp
lib/Analysis/Environment.cpp
lib/Analysis/GRState.cpp
lib/Analysis/RegionStore.cpp