]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67db8cd) | patch
After conversations with Zhongxing Xu and Jordy Rose, refine the logic in
authorTed Kremenek <kremenek@apple.com>
Mon, 31 May 2010 01:22:04 +0000 (01:22 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 31 May 2010 01:22:04 +0000 (01:22 +0000)
commita709b87de4644c05d7787f9fb246d2b4dc38bf51
tree72472682a2fa0ffaa7fe785c3d8f31495e9805cetree | snapshot
parent67db8cdbcf9637b9a7809ba84aa0eee7fcc9274ccommit | diff
After conversations with Zhongxing Xu and Jordy Rose, refine the logic in
RegionStoreManager::RetrieveElement() that handles indexing into a larger scalar
object to only consult the direct binding of a super region if it is a scalar.
This isn't perfect yet, and a big FIXME is attached to the code.  This causes
the test case for PR 7218 now to pass.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@105195 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/RegionStore.cpp diff | blob | history
test/Analysis/PR7218.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.