| 1 | // RUN: %clang_cc1 -verify -Wno-string-plus-int -Warray-bounds-pointer-arithmetic %s |
|---|
| 2 | |
|---|
| 3 | void swallow (const char *x) { (void)x; } |
|---|
| 4 | void 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 | |
|---|