1 /* Verify that sprintf calls with arrays or struct of arrays don't
2 cause -Wrestrict false positives.
3 { dg-do compile }
4 { dg-options "-O2 -Wall -Wrestrict -ftrack-macro-expansion=0" } */
5
6 #define sprintf(d, f, ...) (sprintf (d, f, __VA_ARGS__), sink (d))
7
8 extern void sink (void*, ...);
9 extern int (sprintf) (char*, const char*, ...);
10
11 extern char ca[][2][8];
12
13 void test_array_of_arrays (void)
14 {
15 sprintf (ca[0][0], "%s", ca[0][0]); // { dg-warning "-Wrestrict" }
16 sprintf (ca[0][0], "%s", ca[0][1]);
17 sprintf (ca[0][0], "%s", ca[1][0]);
18 sprintf (ca[0][0], "%s", ca[1][1]);
19
20 sprintf (ca[0][1], "%s", ca[0][0]);
21 sprintf (ca[0][1], "%s", ca[0][1]); // { dg-warning "-Wrestrict" }
22 sprintf (ca[0][1], "%s", ca[1][0]);
23 sprintf (ca[0][1], "%s", ca[1][1]);
24
25 sprintf (ca[1][0], "%s", ca[0][0]);
26 sprintf (ca[1][0], "%s", ca[0][1]);
27 sprintf (ca[1][0], "%s", ca[1][0]); // { dg-warning "-Wrestrict" }
28 sprintf (ca[1][0], "%s", ca[1][1]);
29
30 sprintf (ca[1][1], "%s", ca[0][0]);
31 sprintf (ca[1][1], "%s", ca[0][1]);
32 sprintf (ca[1][1], "%s", ca[1][0]);
33 sprintf (ca[1][1], "%s", ca[1][1]); // { dg-warning "-Wrestrict" }
34 }
35
36
37 struct A
38 {
39 char a[2][2][8];
40 char b[2][2][8];
41 char c[2][2][8];
42 };
43
44 extern struct A aa[][2];
45
46 void test_array_of_structs (void)
47 {
48 // Verify that calls with the same elements of the same array trigger
49 // warnings as expected.
50 sprintf (aa[0][0].a[0][0], "%s", aa[0][0].a[0][0]); // { dg-warning "-Wrestrict" }
51 sprintf (aa[0][0].a[0][1], "%s", aa[0][0].a[0][1]); // { dg-warning "-Wrestrict" }
52 sprintf (aa[0][0].a[1][0], "%s", aa[0][0].a[1][0]); // { dg-warning "-Wrestrict" }
53 sprintf (aa[0][0].a[1][1], "%s", aa[0][0].a[1][1]); // { dg-warning "-Wrestrict" }
54 sprintf (aa[0][1].a[0][0], "%s", aa[0][1].a[0][0]); // { dg-warning "-Wrestrict" }
55 sprintf (aa[0][1].a[0][1], "%s", aa[0][1].a[0][1]); // { dg-warning "-Wrestrict" }
56 sprintf (aa[0][1].a[1][0], "%s", aa[0][1].a[1][0]); // { dg-warning "-Wrestrict" }
57 sprintf (aa[0][1].a[1][1], "%s", aa[0][1].a[1][1]); // { dg-warning "-Wrestrict" }
58 sprintf (aa[1][0].a[0][0], "%s", aa[1][0].a[0][0]); // { dg-warning "-Wrestrict" }
59 sprintf (aa[1][0].a[0][1], "%s", aa[1][0].a[0][1]); // { dg-warning "-Wrestrict" }
60 sprintf (aa[1][0].a[1][0], "%s", aa[1][0].a[1][0]); // { dg-warning "-Wrestrict" }
61 sprintf (aa[1][0].a[1][1], "%s", aa[1][0].a[1][1]); // { dg-warning "-Wrestrict" }
62 sprintf (aa[1][1].a[0][0], "%s", aa[1][1].a[0][0]); // { dg-warning "-Wrestrict" }
63 sprintf (aa[1][1].a[0][1], "%s", aa[1][1].a[0][1]); // { dg-warning "-Wrestrict" }
64 sprintf (aa[1][1].a[1][0], "%s", aa[1][1].a[1][0]); // { dg-warning "-Wrestrict" }
65 sprintf (aa[1][1].a[1][1], "%s", aa[1][1].a[1][1]); // { dg-warning "-Wrestrict" }
66
67 #define NOWARN()
68
69 // Exhaustively verify that calls with different elements of the same
70 // array don't cause false positives.
71 #undef NOWARN
72 #define NOWARN(D, S) \
73 sprintf (D[0][0], "%s", S[0][0]); \
74 sprintf (D[0][0], "%s", S[0][1]); \
75 sprintf (D[0][0], "%s", S[1][0]); \
76 sprintf (D[0][0], "%s", S[1][1]); \
77 sprintf (D[0][1], "%s", S[0][0]); \
78 sprintf (D[0][1], "%s", S[0][1]); \
79 sprintf (D[0][1], "%s", S[1][0]); \
80 sprintf (D[0][1], "%s", S[1][1]); \
81 sprintf (D[1][0], "%s", S[0][0]); \
82 sprintf (D[1][0], "%s", S[0][1]); \
83 sprintf (D[1][0], "%s", S[1][0]); \
84 sprintf (D[1][0], "%s", S[1][1]); \
85 sprintf (D[1][1], "%s", S[0][0]); \
86 sprintf (D[1][1], "%s", S[0][1]); \
87 sprintf (D[1][1], "%s", S[1][0]); \
88 sprintf (D[1][1], "%s", S[1][1])
89
90 NOWARN (aa[0][0].a, aa[0][1].a);
91 NOWARN (aa[0][0].a, aa[1][0].a);
92 NOWARN (aa[0][0].a, aa[1][1].a);
93
94 NOWARN (aa[0][1].a, aa[0][0].a);
95 NOWARN (aa[0][1].a, aa[1][0].a);
96 NOWARN (aa[0][1].a, aa[1][1].a);
97
98 NOWARN (aa[1][0].a, aa[0][0].a);
99 NOWARN (aa[1][0].a, aa[0][1].a);
100 NOWARN (aa[1][0].a, aa[1][1].a);
101
102 #define NOWARN_MEM(M1, M2) \
103 NOWARN (aa[0][0].M1, aa[0][0].M2); \
104 NOWARN (aa[0][0].M1, aa[0][1].M2); \
105 NOWARN (aa[0][0].M1, aa[1][0].M2); \
106 NOWARN (aa[0][0].M1, aa[1][1].M2)
107
108 NOWARN_MEM (a, b);
109 NOWARN_MEM (a, c);
110 NOWARN_MEM (b, a);
111 NOWARN_MEM (b, c);
112 NOWARN_MEM (c, a);
113 NOWARN_MEM (c, b);
114 }