diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-04 08:52:47 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-04 08:52:47 +0000 |
| commit | b5b848e046e1899a3ebab4ca3822ae97eef36b1e (patch) | |
| tree | d898b4fb89a10e9bf1c61de81485710888d2899f /lib/Analysis/Store.cpp | |
| parent | 8d3d13e234e4236e9ace7fa753c5946307504cdb (diff) | |
array indexes are unsigned integers of the same width as pointer.
no-outofbounds.c still fails. Previously it passed because the array index
is mistakenly a loc::ConcreteInt.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70844 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Store.cpp')
| -rw-r--r-- | lib/Analysis/Store.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/Store.cpp b/lib/Analysis/Store.cpp index 76437d2c86..c9c49c6e9b 100644 --- a/lib/Analysis/Store.cpp +++ b/lib/Analysis/Store.cpp @@ -67,7 +67,7 @@ StoreManager::CastRegion(const GRState* state, const MemRegion* R, // the types aren't the same, so we construct an ElementRegion. // FIXME: We should have a standard query function to get the size // of the array index. - SVal Idx = ValMgr.makeZeroVal(ValMgr.getContext().VoidPtrTy); + SVal Idx = ValMgr.makeZeroIndex(); // If the super region is an element region, strip it away. // FIXME: Is this the right thing to do in all cases? |