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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
/* PR tree-optimization/91294 - strlen result of a conditional with
an offset
{ dg-do run }
{ dg-options "-O2 -Wall" } */
#include "strlenopt.h"
#define NOIPA __attribute__ ((noclone, noinline, noipa))
int i = 0;
const char s[] = "1234567";
char a[32];
/* Exercise a memcpy overwriting a destination string of known length
with a source argument involving a conditional expression with strings
of unqual lengths, with the selected one being the longer of the two
and resulting in no change to the length of the overwritten destination
string. */
NOIPA void test_memcpy_same_length ()
{
memcpy (a, "123456789a", 11);
memcpy (a + 6, i ? "78\0" : "789\0", 4);
if (strlen (a) != 9)
abort ();
}
/* Same as above but with strcpy/strcat. */
NOIPA void test_strcpy_strcat_same_length ()
{
strcpy (a, "12345678");
strcat (a, "9a");
memcpy (a + 6, i ? "78\0" : "789\0", 4);
if (strlen (a) != 9)
abort ();
}
/* Same as above but using a memcpy of a power-of-two size that gets
(on some targets) transformed into a single MEM_REF assignment. */
NOIPA void test_assign_same_length ()
{
memcpy (a, s, 8);
memcpy (a + 5, i ? "67\0" : "678\0", 4);
if (strlen (a) != 8)
abort ();
}
/* Same as above but resulting in increasing the length of the destination
string. */
NOIPA void test_memcpy_lengthen ()
{
memcpy (a, "123456789a", 11);
memcpy (a + 8, i ? "9a\0" : "9ab\0", 4);
if (strlen (a) != 11)
abort ();
}
NOIPA void test_strcpy_strcat_lengthen ()
{
strcpy (a, "12345678");
strcat (a, "9a");
memcpy (a + 8, i ? "9a\0" : "9ab\0", 4);
if (strlen (a) != 11)
abort ();
}
NOIPA void test_assign_lengthen ()
{
memcpy (a, s, 8);
memcpy (a + 6, i ? "78\0" : "789\0", 4);
if (strlen (a) != 9)
abort ();
}
NOIPA void test_memcpy_shorten ()
{
memcpy (a, "123456789a", 11);
memcpy (a + 6, i ? "789\0" : "78\0", 4);
if (strlen (a) != 8)
abort ();
}
NOIPA void test_strcpy_strcat_shorten ()
{
strcpy (a, "12345678");
strcat (a, "9a");
memcpy (a + 6, i ? "789\0" : "78\0", 4);
if (strlen (a) != 8)
abort ();
}
NOIPA void test_assign_shorten ()
{
memcpy (a, s, 8);
memcpy (a + 6, i ? "789\0" : "78\0", 4);
if (strlen (a) != 8)
abort ();
}
int main (void)
{
test_memcpy_same_length ();
test_strcpy_strcat_same_length ();
test_assign_same_length ();
test_memcpy_lengthen ();
test_strcpy_strcat_lengthen ();
test_assign_lengthen ();
test_memcpy_shorten ();
test_strcpy_strcat_shorten ();
test_assign_shorten ();
}
|