+// RUN: %clang_cc1 -verify %s

+

+int foo() {

+ int x[2]; // expected-note 4 {{array 'x' declared here}}

+ int y[2]; // expected-note 2 {{array 'y' declared here}}

+ int *p = &y[2]; // no-warning

+ (void) sizeof(x[2]); // no-warning

+ y[2] = 2; // expected-warning {{array index of '2' indexes past the end of an array (that contains 2 elements)}}

+ return x[2] + // expected-warning {{array index of '2' indexes past the end of an array (that contains 2 elements)}}

+ y[-1] + // expected-warning {{array index of '-1' indexes before the beginning of the array}}

+ x[sizeof(x)] + // expected-warning {{array index of '8' indexes past the end of an array (that contains 2 elements)}}

+ x[sizeof(x) / sizeof(x[0])] + // expected-warning {{array index of '2' indexes past the end of an array (that contains 2 elements)}}

+ x[sizeof(x) / sizeof(x[0]) - 1] + // no-warning

+ x[sizeof(x[2])]; // expected-warning {{array index of '4' indexes past the end of an array (that contains 2 elements)}}

+}

+

+// This code example tests that -Warray-bounds works with arrays that

+// are template parameters.

+template <char *sz> class Qux {

+ bool test() { return sz[0] == 'a'; }

+};

+

+void f1(int a[1]) {

+ int val = a[3]; // no warning for function argumnet

+}

+

+void f2(const int (&a)[1]) { // expected-note {{declared here}}

+ int val = a[3]; // expected-warning {{array index of '3' indexes past the end of an array (that contains 1 elements)}}

+}

+

+void test() {

+ struct {

+ int a[0];

+ } s2;

+ s2.a[3] = 0; // no warning for 0-sized array

+

+ union {

+ short a[2]; // expected-note {{declared here}}

+ char c[4];

+ } u;

+ u.a[3] = 1; // expected-warning {{array index of '3' indexes past the end of an array (that contains 2 elements)}}

+ u.c[3] = 1; // no warning

+

+ const int const_subscript = 3;

+ int array[1]; // expected-note {{declared here}}

+ array[const_subscript] = 0; // expected-warning {{array index of '3' indexes past the end of an array (that contains 1 elements)}}

+

+ int *ptr;

+ ptr[3] = 0; // no warning for pointer references

+ int array2[] = { 0, 1, 2 }; // expected-note 2 {{declared here}}

+

+ array2[3] = 0; // expected-warning {{array index of '3' indexes past the end of an array (that contains 3 elements)}}

+ array2[2+2] = 0; // expected-warning {{array index of '4' indexes past the end of an array (that contains 3 elements)}}

+

+ const char *str1 = "foo";

+ char c1 = str1[5]; // no warning for pointers

+

+ const char str2[] = "foo"; // expected-note {{declared here}}

+ char c2 = str2[5]; // expected-warning {{array index of '5' indexes past the end of an array (that contains 4 elements)}}

+

+ int (*array_ptr)[1];

+ (*array_ptr)[3] = 1; // expected-warning {{array index of '3' indexes past the end of an array (that contains 1 elements)}}

+}

+

+template <int I> struct S {

+ char arr[I]; // expected-note 3 {{declared here}}

+};

+template <int I> void f() {

+ S<3> s;

+ s.arr[4] = 0; // expected-warning 2 {{array index of '4' indexes past the end of an array (that contains 3 elements)}}

+ s.arr[I] = 0; // expected-warning {{array index of '5' indexes past the end of an array (that contains 3 elements)}}

+}

+

+void test_templates() {

+ f<5>(); // expected-note {{in instantiation}}

+}

+

+#define SIZE 10

+#define ARR_IN_MACRO(flag, arr, idx) flag ? arr[idx] : 1

+

+int test_no_warn_macro_unreachable() {

+ int arr[SIZE]; // expected-note 2 {{array 'arr' declared here}}

+ // FIXME: We don't want to warn for the first case.

+ return ARR_IN_MACRO(0, arr, SIZE) + // expected-warning{{array index of '10' indexes past the end of an array (that contains 10 elements)}}

+ ARR_IN_MACRO(1, arr, SIZE); // expected-warning{{array index of '10' indexes past the end of an array (that contains 10 elements)}}

+}

+

+// This exhibited an assertion failure for a 32-bit build of Clang.

+int test_pr9240() {

+ short array[100]; // expected-note {{array 'array' declared here}}

+ return array[(unsigned long long) 100]; // expected-warning {{array index of '100' indexes past the end of an array (that contains 100 elements)}}

+}

+