]> granicus.if.org Git - clang/commit
Localize the special processing of array variable inside
authorZhongxing Xu <xuzhongxing@gmail.com>
Tue, 21 Oct 2008 06:54:23 +0000 (06:54 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Tue, 21 Oct 2008 06:54:23 +0000 (06:54 +0000)
commit933c3e1dca3bb88bf113290ef0ade8f5262a89c0
tree9126614a51850f213286f9a7752ea3ac6e24dc95
parent8485ec6a1d7d7f25ea680ea3740bc1a11d2bb7cd
Localize the special processing of array variable inside
GRExprEngine::VisitCast() so that other parts of the analyzer can be ignorant.
When we cast "array of type T" to "pointer to T", we get the loc::MemRegionVal
corresponding to the array variable. This is sufficient for BasicStore, but not
for RegionStore. RegionStore should get the element region for the first array
element in the cast. So next comes to the revamping of transfer functions for
different store model.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57897 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicStore.cpp
lib/Analysis/GRExprEngine.cpp