diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-07-10 21:48:43 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-07-10 21:48:43 +0000 |
commit | cad9fefaca4d81abd33e3ce0814e09689c557bdd (patch) | |
tree | 179c4dc00f7d032eb0fe46b151326a3beb26af6c /test/Analysis/no-outofbounds.c | |
parent | 2f08991af8034810edebb859bf36b0a0a3e87174 (diff) |
Rename test file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75297 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/no-outofbounds.c')
-rw-r--r-- | test/Analysis/no-outofbounds.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Analysis/no-outofbounds.c b/test/Analysis/no-outofbounds.c new file mode 100644 index 0000000000..7aeae7e11d --- /dev/null +++ b/test/Analysis/no-outofbounds.c @@ -0,0 +1,13 @@ +// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s && +// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic-old-cast -verify %s && +// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s + +//===----------------------------------------------------------------------===// +// This file tests cases where we should not flag out-of-bounds warnings. +//===----------------------------------------------------------------------===// + +void f() { + long x = 0; + char *y = (char*) &x; + char c = y[0] + y[1] + y[2]; // no-warning +} |