]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 027cff6) | patch
When casting region, if we do not create an element region, record the cast-to
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 18 Jun 2009 06:29:10 +0000 (06:29 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 18 Jun 2009 06:29:10 +0000 (06:29 +0000)
commit88c675f001e046b7264e2a2d4174dacf3781ce5f
tree2803eeaf47decfbfbcaee3f0a4afab70845986f3tree | snapshot
parent027cff63321262a5a85a402c39aac06ee66c745dcommit | diff
When casting region, if we do not create an element region, record the cast-to
type.

When retrieving the region value, if we are going to create a symbol value, use
the cast-to type if possible.

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