Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/Wrestrict-8.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
1 /* PR tree-optimization/84095 - false-positive -Wrestrict warnings for
2 memcpy within array
3 { dg-do compile }
4 { dg-options "-O2 -Wrestrict -ftrack-macro-expansion=0" } */
5
6 typedef __SIZE_TYPE__ size_t;
7
8 extern void* memcpy (void* restrict, const void* restrict, size_t);
9
10 #define T(d, s, n) memcpy (d, s, n)
11
12 struct S1 { char c; } a8_1[8];
13
14 void test_1_dim_var (int i, int j)
15 {
16 /* Variable destination index and constant source index. */
17 T (&a8_1[i], &a8_1[0], 1);
18 T (&a8_1[i], &a8_1[0], 2);
19 T (&a8_1[i], &a8_1[0], 3);
20 T (&a8_1[i], &a8_1[0], 4);
21
22 T (&a8_1[i], &a8_1[0], 5); /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and 0 overlaps between 2 and 5 bytes at offset \\\[0, 3\\\]" } */
23 T (&a8_1[i], &a8_1[0], 6); /* { dg-warning "accessing 6 bytes at offsets \\\[0, 8] and 0 overlaps between 4 and 6 bytes at offset \\\[0, 2\\\]" } */
24 T (&a8_1[i], &a8_1[0], 7); /* { dg-warning "accessing 7 bytes at offsets \\\[0, 8] and 0 overlaps between 6 and 7 bytes at offset \\\[0, 1\\\]" } */
25 T (&a8_1[i], &a8_1[0], 8); /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and 0 overlaps 8 bytes at offset 0" } */
26
27 /* The following is diagnosed by -Warray-bounds when it's enabled
28 rather than by -Wrestrict. */
29 T (&a8_1[i], &a8_1[0], 9); /* { dg-warning "accessing 9 bytes at offsets \\\[0, 8] and 0 overlaps 9 bytes at offset 0" } */
30
31 /* Same as above but with constant destination index and variable
32 source index. */
33 T (&a8_1[0], &a8_1[i], 1);
34 T (&a8_1[0], &a8_1[i], 2);
35 T (&a8_1[0], &a8_1[i], 3);
36 T (&a8_1[0], &a8_1[i], 4);
37
38 T (&a8_1[0], &a8_1[i], 5); /* { dg-warning "accessing 5 bytes at offsets 0 and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3\\\]" } */
39 T (&a8_1[0], &a8_1[i], 6); /* { dg-warning "accessing 6 bytes at offsets 0 and \\\[0, 8] overlaps between 4 and 6 bytes at offset \\\[0, 2\\\]" } */
40 T (&a8_1[0], &a8_1[i], 7); /* { dg-warning "accessing 7 bytes at offsets 0 and \\\[0, 8] overlaps between 6 and 7 bytes at offset \\\[0, 1\\\]" } */
41 T (&a8_1[0], &a8_1[i], 8); /* { dg-warning "accessing 8 bytes at offsets 0 and \\\[0, 8] overlaps 8 bytes at offset 0" } */
42 T (&a8_1[0], &a8_1[i], 9); /* { dg-warning "accessing 9 bytes at offsets 0 and \\\[0, 8] overlaps 9 bytes at offset 0" } */
43
44
45 /* Variable destination and source indices. */
46 T (&a8_1[i], &a8_1[j], 1);
47 T (&a8_1[i], &a8_1[j], 2);
48 T (&a8_1[i], &a8_1[j], 3);
49 T (&a8_1[i], &a8_1[j], 4);
50
51 T (&a8_1[i], &a8_1[j], 5); /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3\\\]" } */
52 T (&a8_1[i], &a8_1[j], 6); /* { dg-warning "accessing 6 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 4 and 6 bytes at offset \\\[0, 2\\\]" } */
53 T (&a8_1[i], &a8_1[j], 7); /* { dg-warning "accessing 7 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 6 and 7 bytes at offset \\\[0, 1\\\]" } */
54 T (&a8_1[i], &a8_1[j], 8); /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 8 bytes at offset 0" } */
55
56 /* The following is diagnosed by -Warray-bounds when it's enabled
57 rather than by -Wrestrict. */
58 T (&a8_1[i], &a8_1[j], 9); /* { dg-warning "accessing 9 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 9 bytes at offset 0" } */
59 }
60
61 struct S4 { char a4[4]; } a2_4[2];
62
63 void test_2_dim (int i, int j)
64 {
65 T (&a2_4[i], &a2_4[0], 1);
66 T (&a2_4[i], &a2_4[0], 4);
67
68 T (&a2_4[i], &a2_4[0], 5); /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and 0 overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
69 T (&a2_4[i], &a2_4[0], 6); /* { dg-warning "accessing 6 bytes at offsets \\\[0, 8] and 0 overlaps between 4 and 6 bytes at offset \\\[0, 2]" } */
70 T (&a2_4[i], &a2_4[0], 7); /* { dg-warning "accessing 7 bytes at offsets \\\[0, 8] and 0 overlaps between 6 and 7 bytes at offset \\\[0, 1]" } */
71 T (&a2_4[i], &a2_4[0], 8); /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and 0 overlaps 8 bytes at offset 0" } */
72
73 T (a2_4[i].a4, a2_4[0].a4, 1);
74 T (a2_4[i].a4, a2_4[0].a4, 4);
75
76 T (a2_4[i].a4, a2_4[0].a4, 5); /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and 0 overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
77 T (a2_4[i].a4, a2_4[0].a4, 8); /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and 0 overlaps 8 bytes at offset 0" } */
78
79 T (a2_4[i].a4, a2_4[j].a4, 1);
80 T (a2_4[i].a4, a2_4[j].a4, 4);
81
82 /* The destination and source offsets printed below ignore the size
83 of the copy and only indicate the values that are valid for each
84 of the destination and source arguments on its own, without
85 considering the size of the overlapping access. */
86 T (a2_4[i].a4, a2_4[j].a4, 5); /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
87 T (a2_4[i].a4, a2_4[j].a4, 8); /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 8 bytes at offset 0" } */
88
89 /* Same as above but referencing the first elements of each array. */
90 T (&a2_4[i].a4[0], &a2_4[j].a4[0], 1);
91 T (&a2_4[i].a4[0], &a2_4[j].a4[0], 4);
92
93 T (&a2_4[i].a4[0], &a2_4[j].a4[0], 5); /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
94 T (&a2_4[i].a4[0], &a2_4[j].a4[0], 8); /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 8 bytes at offset 0" } */
95
96 T (&a2_4[i].a4[0], &a2_4[j].a4[1], 3);
97 T (&a2_4[i].a4[0], &a2_4[j].a4[2], 2);
98 T (&a2_4[i].a4[0], &a2_4[j].a4[3], 1);
99 }
100
101 struct { int i; } a2[2][8];
102
103 void test_single_2_dim_major (int i)
104 {
105 memcpy (&a2[i], &a2[0], sizeof *a2); /* { dg-bogus "\\\[-Wrestrict]" } */
106 }
107
108 void test_single_2_dim_minor (int i)
109 {
110 memcpy (&a2[i][0], &a2[0][0], sizeof a2[0][0]); /* { dg-bogus "\\\[-Wrestrict]" } */
111 }
112
113 void test_single_2_dim_major_minor (int i, int j)
114 {
115 memcpy (&a2[i][j], &a2[0][0], sizeof a2[0][0]); /* { dg-bogus "\\\[-Wrestrict]" } */
116 }