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 /test/Analysis/no-outofbounds.c | |
| 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 'test/Analysis/no-outofbounds.c')
| -rw-r--r-- | test/Analysis/no-outofbounds.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/no-outofbounds.c b/test/Analysis/no-outofbounds.c index df21fb27fe..c07bf86a71 100644 --- a/test/Analysis/no-outofbounds.c +++ b/test/Analysis/no-outofbounds.c @@ -1,6 +1,6 @@ // RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s && // RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s - +// XFAIL void f() { long x = 0; char *y = (char*) &x; |