]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d3d13e) | patch
array indexes are unsigned integers of the same width as pointer.
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 4 May 2009 08:52:47 +0000 (08:52 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 4 May 2009 08:52:47 +0000 (08:52 +0000)
commitb5b848e046e1899a3ebab4ca3822ae97eef36b1e
treed898b4fb89a10e9bf1c61de81485710888d2899ftree | snapshot
parent8d3d13e234e4236e9ace7fa753c5946307504cdbcommit | 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
include/clang/Analysis/PathSensitive/ValueManager.h diff | blob | history
lib/Analysis/BasicStore.cpp diff | blob | history
lib/Analysis/SVals.cpp diff | blob | history
lib/Analysis/Store.cpp diff | blob | history
test/Analysis/no-outofbounds.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.