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/SVals.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/SVals.cpp')
| -rw-r--r-- | lib/Analysis/SVals.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp index 71f09d2dfc..43ede0f7cd 100644 --- a/lib/Analysis/SVals.cpp +++ b/lib/Analysis/SVals.cpp @@ -227,6 +227,10 @@ SVal ValueManager::makeZeroVal(QualType T) { return UnknownVal(); } +SVal ValueManager::makeZeroIndex() { + return nonloc::ConcreteInt(BasicVals.getZeroWithPtrWidth(false)); +} + //===----------------------------------------------------------------------===// // Utility methods for constructing Non-Locs. //===----------------------------------------------------------------------===// |