131
|
1 /* Test to verify that the call below with the out-of-bounds offset
|
|
2 doesn't trigger an internal assertion and is diagnosed.
|
|
3 { dg-do compile }
|
|
4 { dg-options "-O2 -Wrestrict" } */
|
|
5
|
|
6 #define DIFF_MAX __PTRDIFF_MAX__
|
|
7
|
|
8 void test_no_ice (int *d, __PTRDIFF_TYPE__ i, __SIZE_TYPE__ n)
|
|
9 {
|
|
10 if (i < DIFF_MAX / sizeof *d - 1 || DIFF_MAX / sizeof *d + 2 < i)
|
|
11 i = DIFF_MAX / sizeof *d - 1;
|
|
12
|
|
13 if (n < DIFF_MAX)
|
|
14 n = DIFF_MAX / sizeof *d;
|
|
15
|
|
16 __builtin_strncpy ((char*)(d + i), (char*)d, n); /* { dg-warning "\\\[-Wrestrict]" } */
|
|
17 }
|