diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-02-16 01:57:07 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-02-16 01:57:07 +0000 |
| commit | a0125d8520f65aca581378c235384e7affefa1fc (patch) | |
| tree | f414ba8e8fae306c6eae82dc32c20f45fbcd4879 /test/Sema/array-bounds.c | |
| parent | a1fdb0bc09aa0d17841cdbdd8c52cd1368251cbf (diff) | |
Add trivial buffer overflow checking in Sema.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125640 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Sema/array-bounds.c')
| -rw-r--r-- | test/Sema/array-bounds.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Sema/array-bounds.c b/test/Sema/array-bounds.c new file mode 100644 index 0000000000..b540885547 --- /dev/null +++ b/test/Sema/array-bounds.c @@ -0,0 +1,16 @@ +// RUN: %clang_cc1 -verify %s + +int foo() { + int x[2]; + int y[2]; + int *p = &y[2]; // no-warning + (void) sizeof(x[2]); // no-warning + y[2] = 2; // expected-warning{{array index excedes last array element}} + return x[2] + // expected-warning{{array index excedes last array element}} + y[-1] + // expected-warning{{array index precedes first array element}} + x[sizeof(x)] + // expected-warning{{array index excedes last array element}} + x[sizeof(x) / sizeof(x[0])] + // expected-warning{{array index excedes last array element}} + x[sizeof(x) / sizeof(x[0]) - 1] + // no-warning + x[sizeof(x[2])]; // expected-warning{{array index excedes last array element}} +} + |