]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17c571c) | patch
Augment RegionStore::BindStruct() to bind symbolicated struct values. This fixes...
authorTed Kremenek <kremenek@apple.com>
Thu, 29 Jul 2010 00:28:47 +0000 (00:28 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 29 Jul 2010 00:28:47 +0000 (00:28 +0000)
commit281e9dc6ba6ff10bf910b0fc8898dff2a429f156
tree3d5ac34b1183de109aa0c2eac02f2906f96e4156tree | snapshot
parent17c571c91d431ce2756ca6e5d7e822f7333258b6commit | diff
Augment RegionStore::BindStruct() to bind symbolicated struct values.  This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@109710 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/RegionStore.cpp diff | blob | history
test/Analysis/misc-ps-region-store.m diff | blob | history
test/Analysis/uninit-vals-ps-region.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.