|
145
|
1 /* PR tree-optimization/83821 - local aggregate initialization defeats
|
|
|
2 strlen optimization
|
|
|
3 Verify that stores that overwrite an interior nul are correctly
|
|
|
4 reflected in strlen results.
|
|
|
5 { dg-do run }
|
|
|
6 { dg-options "-O2 -Wall" } */
|
|
|
7
|
|
|
8 #define false (0 == 1)
|
|
|
9 #define true (0 == 0)
|
|
|
10 #define assert(e) \
|
|
|
11 ((e) ? (void)0 : (__builtin_printf ("assertion failed on line %i\n", \
|
|
|
12 __LINE__), __builtin_abort ()))
|
|
|
13
|
|
|
14 #define ATTR(...) __attribute__ ((__VA_ARGS__))
|
|
|
15
|
|
|
16 static inline int ATTR (always_inline)
|
|
|
17 assign_and_get_length (char *p, _Bool clear)
|
|
|
18 {
|
|
|
19 p[0] = 'a';
|
|
|
20
|
|
|
21 if (clear)
|
|
|
22 p[1] = 0;
|
|
|
23
|
|
|
24 p[2] = 'c';
|
|
|
25
|
|
|
26 if (clear)
|
|
|
27 p[3] = 0;
|
|
|
28
|
|
|
29 p[1] = 'b';
|
|
|
30
|
|
|
31 return __builtin_strlen (p);
|
|
|
32 }
|
|
|
33
|
|
|
34 ATTR (noipa) void array_get_length (void)
|
|
|
35 {
|
|
|
36 char a[4];
|
|
|
37 unsigned n = assign_and_get_length (a, true);
|
|
|
38 assert (n == 3);
|
|
|
39 }
|
|
|
40
|
|
|
41 ATTR (noipa) void clear_array_get_length (void)
|
|
|
42 {
|
|
|
43 char a[4] = { };
|
|
|
44 unsigned n = assign_and_get_length (a, false);
|
|
|
45 assert (n == 3);
|
|
|
46 }
|
|
|
47
|
|
|
48 ATTR (noipa) void calloc_get_length (void)
|
|
|
49 {
|
|
|
50 char *p = __builtin_calloc (5, 1);
|
|
|
51 unsigned n = assign_and_get_length (p, false);
|
|
|
52 assert (n == 3);
|
|
|
53 }
|
|
|
54
|
|
|
55 ATTR (noipa) void malloc_get_length (void)
|
|
|
56 {
|
|
|
57 char *p = __builtin_malloc (5);
|
|
|
58 unsigned n = assign_and_get_length (p, true);
|
|
|
59 assert (n == 3);
|
|
|
60 }
|
|
|
61
|
|
|
62 ATTR (noipa) void vla_get_length (int n)
|
|
|
63 {
|
|
|
64 char a[n];
|
|
|
65 unsigned len = assign_and_get_length (a, true);
|
|
|
66 assert (len == 3);
|
|
|
67 }
|
|
|
68
|
|
|
69
|
|
|
70 static inline void ATTR (always_inline)
|
|
|
71 assign_and_test_length (char *p, _Bool clear)
|
|
|
72 {
|
|
|
73 p[0] = 'a';
|
|
|
74
|
|
|
75 if (clear)
|
|
|
76 p[1] = 0;
|
|
|
77
|
|
|
78 p[2] = 'c';
|
|
|
79
|
|
|
80 if (clear)
|
|
|
81 p[3] = 0;
|
|
|
82
|
|
|
83 unsigned n0 = __builtin_strlen (p);
|
|
|
84
|
|
|
85 p[1] = 'b';
|
|
|
86
|
|
|
87 unsigned n1 = __builtin_strlen (p);
|
|
|
88 assert (n0 != n1);
|
|
|
89 }
|
|
|
90
|
|
|
91 ATTR (noipa) void array_test_length (void)
|
|
|
92 {
|
|
|
93 char a[4];
|
|
|
94 assign_and_test_length (a, true);
|
|
|
95 }
|
|
|
96
|
|
|
97 ATTR (noipa) void clear_array_test_length (void)
|
|
|
98 {
|
|
|
99 char a[4] = { };
|
|
|
100 assign_and_test_length (a, false);
|
|
|
101 }
|
|
|
102
|
|
|
103 ATTR (noipa) void calloc_test_length (void)
|
|
|
104 {
|
|
|
105 char *p = __builtin_calloc (5, 1);
|
|
|
106 assign_and_test_length (p, false);
|
|
|
107 }
|
|
|
108
|
|
|
109 ATTR (noipa) void malloc_test_length (void)
|
|
|
110 {
|
|
|
111 char *p = __builtin_malloc (5);
|
|
|
112 assign_and_test_length (p, true);
|
|
|
113 }
|
|
|
114
|
|
|
115 ATTR (noipa) void vla_test_length (int n)
|
|
|
116 {
|
|
|
117 char a[n];
|
|
|
118 assign_and_test_length (a, true);
|
|
|
119 }
|
|
|
120
|
|
|
121 int main (void)
|
|
|
122 {
|
|
|
123 array_get_length ();
|
|
|
124 clear_array_get_length ();
|
|
|
125 calloc_get_length ();
|
|
|
126 malloc_get_length ();
|
|
|
127 vla_get_length (4);
|
|
|
128
|
|
|
129 array_test_length ();
|
|
|
130 clear_array_test_length ();
|
|
|
131 calloc_test_length ();
|
|
|
132 malloc_test_length ();
|
|
|
133 vla_test_length (4);
|
|
|
134 }
|
|
|
135
|
