Add trivial buffer overflow checking in Sema.
llvm-svn: 125640
diff --git a/clang/test/Sema/array-bounds.c b/clang/test/Sema/array-bounds.c
new file mode 100644
index 0000000..b540885
--- /dev/null
+++ b/clang/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}}
+}
+