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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
/* PR tree-optimization/89644 - False-positive -Warray-bounds diagnostic
on strncpy
{ dg-do compile }
{ dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
#define NONSTR __attribute__ ((nonstring))
typedef __SIZE_TYPE__ size_t;
size_t strlen (const char*);
extern char* stpncpy (char*, const char*, size_t);
extern char* strncpy (char*, const char*, size_t);
void sink (char*, ...);
char f0 (char *s)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
if (*s)
strncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */
return a[0];
}
void f1 (char *s)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
if (*s)
strncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */
sink (a);
}
char f2 (void)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
strncpy (a, b + 1, 5); /* { dg-bogus "\\\[-Warray-bounds" } */
return a[0];
}
void f3 (void)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
strncpy (a, b + 2, 4); /* { dg-bogus "\\\[-Warray-bounds" } */
sink (a);
}
void f4 (NONSTR char *d)
{
char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
strncpy (d, b + 3, 3); /* { dg-bogus "\\\[-Warray-bounds" } */
sink (d);
}
char g0 (char *s)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
if (*s)
stpncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */
return a[0];
}
void g1 (char *s)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
char *p = 0;
if (*s)
p = stpncpy (a, s, sizeof a); /* { dg-bogus "\\\[-Warray-bounds" } */
sink (a, p);
}
char g2 (void)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
stpncpy (a, b + 1, 5); /* { dg-bogus "\\\[-Warray-bounds" } */
return a[0];
}
void g3 (void)
{
char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
char *p = stpncpy (a, b + 2, 4); /* { dg-bogus "\\\[-Warray-bounds" } */
sink (a, p);
}
void g4 (NONSTR char *d)
{
char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
char *p = stpncpy (d, b + 3, 3); /* { dg-bogus "\\\[-Warray-bounds" } */
sink (d, p);
}
|
