]> granicus.if.org Git - clang/commit
Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions
authorTed Kremenek <kremenek@apple.com>
Thu, 24 Sep 2009 04:11:44 +0000 (04:11 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 24 Sep 2009 04:11:44 +0000 (04:11 +0000)
commit0954cdec4b13f1b3fd4c8711e02ded914968000b
tree02b3c476c3b057749860b3667bcf8797c433d573
parent1345bd2b093e78620c32f5148b1279ed290188e8
Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions

The issue was a discrepancy between how RegionStoreManager::Bind() and
RegionStoreManager::Retrieve() derived the "key" for the first element
of a symbolic region.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@82680 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/RegionStore.cpp
test/Analysis/misc-ps-region-store.m