1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
/* PR tree-optimization/101397 - spurious warning writing to the result
of stpcpy minus 1
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
char* strcpy (char*, const char*);
void sink (int, ...);
extern char ax[], a3[3], a5[5], *s;
volatile int x;
void test_strcpy (int i)
{
{
char *p = strcpy (ax, s);
x = p[-1]; // { dg-warning "\\\[-Warray-bounds" }
x = p[ 0];
x = p[+9];
}
{
char *p = strcpy (a3, s);
x = p[-1]; // { dg-warning "\\\[-Warray-bounds" }
x = p[0];
x = p[1];
x = p[2];
x = p[3]; // { dg-warning "\\\[-Warray-bounds" }
}
{
char *p = strcpy (a5, s);
x = p[-1]; // { dg-warning "\\\[-Warray-bounds" }
sink (p[0], p[1], p[2], p[3], p[4]);
x = p[ 5]; // { dg-warning "\\\[-Warray-bounds" }
}
{
char *p = strcpy (a5 + 1, s);
x = p[-2]; // { dg-warning "\\\[-Warray-bounds" }
sink (p[-1], p[0], p[1], p[2], p[3]);
x = p[4]; // { dg-warning "\\\[-Warray-bounds" }
}
{
char *p = strcpy (a5 + 2, s);
x = p[-3]; // { dg-warning "\\\[-Warray-bounds" }
sink (p[-2], p[-1], p[0], p[1], p[2]);
x = p[3]; // { dg-warning "\\\[-Warray-bounds" }
}
{
char *p = strcpy (a5 + 3, s);
x = p[-4]; // { dg-warning "\\\[-Warray-bounds" }
sink (p[-3], p[-2], p[-1], p[0], p[1]);
x = p[2]; // { dg-warning "\\\[-Warray-bounds" }
}
{
char *p = strcpy (ax, a3);
p[-1] = 1; // { dg-warning "\\\[-Warray-bounds" }
sink (p[0], p[1], p[2], p[9], p[99]);
}
}
|
