1// RUN: %clang_cc1 -verify -Wno-string-plus-int -Warray-bounds-pointer-arithmetic %s
2
3void swallow (const char *x) { (void)x; }
4void test_pointer_arithmetic(int n) {
5  const char hello[] = "Hello world!"; // expected-note 2 {{declared here}}
6  const char *helloptr = hello;
7
8  swallow("Hello world!" + 6); // no-warning
9  swallow("Hello world!" - 6); // expected-warning {{refers before the beginning of the array}}
10  swallow("Hello world!" + 14); // expected-warning {{refers past the end of the array}}
11  swallow("Hello world!" + 13); // no-warning
12
13  swallow(hello + 6); // no-warning
14  swallow(hello - 6); // expected-warning {{refers before the beginning of the array}}
15  swallow(hello + 14); // expected-warning {{refers past the end of the array}}
16  swallow(hello + 13); // no-warning
17
18  swallow(helloptr + 6); // no-warning
19  swallow(helloptr - 6); // no-warning
20  swallow(helloptr + 14); // no-warning
21  swallow(helloptr + 13); // no-warning
22
23  double numbers[2]; // expected-note {{declared here}}
24  swallow((char*)numbers + sizeof(double)); // no-warning
25  swallow((char*)numbers + 60); // expected-warning {{refers past the end of the array}}
26
27  char buffer[5]; // expected-note 2 {{declared here}}
28  // TODO: Add FixIt notes for adding parens around non-ptr part of arith expr
29  swallow(buffer + sizeof("Hello")-1); // expected-warning {{refers past the end of the array}}
30  swallow(buffer + (sizeof("Hello")-1)); // no-warning
31  if (n > 0 && n <= 6) swallow(buffer + 6 - n); // expected-warning {{refers past the end of the array}}
32  if (n > 0 && n <= 6) swallow(buffer + (6 - n)); // no-warning
33}
34