]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66ad201) | patch
Instead of recovering from a wrong invalidation, this patch aims to
authorZhongxing Xu <xuzhongxing@gmail.com>
Tue, 14 Jul 2009 01:12:46 +0000 (01:12 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Tue, 14 Jul 2009 01:12:46 +0000 (01:12 +0000)
commit8203725f37fbb45ded343e4378247fee3389c0da
tree9747d8904df212fa9d678be2227c404d433fa1fftree | snapshot
parent66ad201eb59147fb47816ce961430f05b28203b2commit | diff
Instead of recovering from a wrong invalidation, this patch aims to
invalidate the region correctly. It uses the cast-to type to invalidate
the region when available. To avoid invalid cast-to type like 'void*' or 'id',
region store now only records non-generic casts of regions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75580 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Store.h diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
lib/Analysis/RegionStore.cpp diff | blob | history
lib/Analysis/Store.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.