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
|
/* PR 85643 - attribute nonstring fails to squash -Wstringop-truncation
warning
{ dg-do compile }
{ dg-options "-O2 -Wall -ftrack-macro-expansion=0" } */
#define strncpy __builtin_strncpy
struct A {
char a[16 + 1];
};
struct B {
char a[16] __attribute__ ((__nonstring__));
};
struct B*
test_memarray (const struct A *s)
{
static struct B b;
strncpy (b.a, s->a, sizeof b.a);
return &b;
}
const char*
test_array (const char *s)
{
static char a[80] __attribute__ ((__nonstring__));
strncpy (a, s, sizeof a);
return a;
}
const char*
test_array_idx (const char *s)
{
static char a[80] __attribute__ ((__nonstring__));
char *p __attribute__ ((__nonstring__)) = &a[20];
strncpy (p, s, 60); /* { dg-bogus "-Wstringop-truncation" } */
return a;
}
const char*
test_array_off (const char *s)
{
static char a[80] __attribute__ ((__nonstring__));
char *p __attribute__ ((__nonstring__)) = a + 20;
strncpy (p, s, 60); /* { dg-bogus "-Wstringop-truncation" } */
return a;
}
struct B*
test_memarray_cstidx_idx (const char *s)
{
static struct B b[2];
char *p __attribute__ ((__nonstring__)) = &b[1].a[4];
/* The destination below is represented as &MEM[(void *)&a + 20B] and
which (in general) doesn't make it possible to determine what member
it refers to. */
strncpy (p, s, sizeof b[1].a - 4); /* { dg-bogus "-Wstringop-truncation" "" { xfail *-*-*} } */
return b;
}
struct B*
test_memarray_cstidx_off (const char *s)
{
static struct B b[2];
char *p __attribute__ ((__nonstring__)) = b[1].a + 4;
/* Same as above. */
strncpy (p, s, sizeof b[1].a - 4); /* { dg-bogus "-Wstringop-truncation" "" { xfail *-*-*} } */
return b;
}
struct B*
test_memarray_varidx_idx (const char *s, int i)
{
static struct B b[3];
char *p __attribute__ ((__nonstring__)) = &b[i].a[4];
strncpy (p, s, sizeof b[i].a - 4);
return b;
}
struct B*
test_memarray_varidx_off (const char *s, int i)
{
static struct B b[3];
char *p __attribute__ ((__nonstring__)) = b[i].a + 4;
strncpy (p, s, sizeof b[i].a - 4);
return b;
}
|
