]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 950db87) | patch
Use the element type to compute the array size when the base region is a VarRegion.
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 1 Apr 2010 08:20:27 +0000 (08:20 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 1 Apr 2010 08:20:27 +0000 (08:20 +0000)
commit9618b858e2b4f79aa2b8b0291e9c833cee0435f8
tree4f7671f66b71c5fe739549b966ef7f56b26b5865tree | snapshot
parent950db87e5efe2ff0c7234116929f8637aaf7ae7acommit | diff
Use the element type to compute the array size when the base region is a VarRegion.
Patch by Jordy Rose.

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