]> granicus.if.org Git - clang/commit
Fix analyzer regression reported in PR 4164:
authorTed Kremenek <kremenek@apple.com>
Wed, 6 May 2009 18:19:24 +0000 (18:19 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 6 May 2009 18:19:24 +0000 (18:19 +0000)
commit4253051c16d0c2a5ae13af3d22383b61071ecb4c
tree162e65e7d1cc6bc798279aaf555781f9ba11fa36
parent9b081c6696c4db36e1a01c476175c852aa2a4816
Fix analyzer regression reported in PR 4164:
- Update the old StoreManager::CastRegion to strip off 'ElementRegions' when
  casting to void* (Zhongxing: please validate)
- Pass-by-reference argument invalidation logic in CFRefCount.cpp:
  - Strip ElementRegions when the ElementRegion is just a 'raw data' view
    on top of the underlying typed region.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71094 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFRefCount.cpp
lib/Analysis/Store.cpp
test/Analysis/pr_4164.c [new file with mode: 0644]