diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-04 07:04:36 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-04 07:04:36 +0000 |
| commit | 20bd746306ecdc61125800d53ff7e07321704064 (patch) | |
| tree | b837c831f7d873aa342d48c68b300231a36a0ea5 /test/Analysis/no-outofbounds.c | |
| parent | b84e8a670ad1d00c0a34295c42ac700cdde04815 (diff) | |
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
StoreManager: Handle casts from one element region to another.
Update test cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70836 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/no-outofbounds.c')
| -rw-r--r-- | test/Analysis/no-outofbounds.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/Analysis/no-outofbounds.c b/test/Analysis/no-outofbounds.c new file mode 100644 index 0000000000..df21fb27fe --- /dev/null +++ b/test/Analysis/no-outofbounds.c @@ -0,0 +1,8 @@ +// RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s && +// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s + +void f() { + long x = 0; + char *y = (char*) &x; + char c = y[0] + y[1] + y[2]; // no-warning +} |