diff options
| author | Ed Schouten <ed@FreeBSD.org> | 2009-06-02 17:58:47 +0000 |
|---|---|---|
| committer | Ed Schouten <ed@FreeBSD.org> | 2009-06-02 17:58:47 +0000 |
| commit | ec2b103c267a06a66e926f62cd96767b280f5cf5 (patch) | |
| tree | ce7d964cbb5e39695b71481698f10cb099c23d4a /test/Analysis/no-outofbounds-basicstore.c | |
Notes
Diffstat (limited to 'test/Analysis/no-outofbounds-basicstore.c')
| -rw-r--r-- | test/Analysis/no-outofbounds-basicstore.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Analysis/no-outofbounds-basicstore.c b/test/Analysis/no-outofbounds-basicstore.c new file mode 100644 index 0000000000000..9a0b35906d7cf --- /dev/null +++ b/test/Analysis/no-outofbounds-basicstore.c @@ -0,0 +1,7 @@ +// 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 +} |