annotate gcc/ggc-tests.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Unit tests for GCC's garbage collector (and gengtype etc).
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 2015-2020 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 This file is part of GCC.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
7 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
8 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
9 version.
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
14 for more details.
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
17 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
18 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #include "config.h"
kono
parents:
diff changeset
21 #include "system.h"
kono
parents:
diff changeset
22 #include "coretypes.h"
kono
parents:
diff changeset
23 #include "tree-core.h"
kono
parents:
diff changeset
24 #include "tree.h"
kono
parents:
diff changeset
25 #include "ggc-internal.h" /* (for ggc_force_collect). */
kono
parents:
diff changeset
26 #include "selftest.h"
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 #if CHECKING_P
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 /* A helper function for writing ggc tests. */
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 void
kono
parents:
diff changeset
33 selftest::forcibly_ggc_collect ()
kono
parents:
diff changeset
34 {
kono
parents:
diff changeset
35 ggc_force_collect = true;
kono
parents:
diff changeset
36 ggc_collect ();
kono
parents:
diff changeset
37 ggc_force_collect = false;
kono
parents:
diff changeset
38 }
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 /* The various GTY markers must be outside of a namespace to be seen by
kono
parents:
diff changeset
41 gengtype, so we don't put this file within the selftest namespace. */
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 /* Verify that a simple struct works, and that it can
kono
parents:
diff changeset
46 own references to non-roots, and have them be marked. */
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 struct GTY(()) test_struct
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 struct test_struct *other;
kono
parents:
diff changeset
51 };
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 static GTY(()) test_struct *root_test_struct;
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 static void
kono
parents:
diff changeset
56 test_basic_struct ()
kono
parents:
diff changeset
57 {
kono
parents:
diff changeset
58 root_test_struct = ggc_cleared_alloc <test_struct> ();
kono
parents:
diff changeset
59 root_test_struct->other = ggc_cleared_alloc <test_struct> ();
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 ASSERT_TRUE (ggc_marked_p (root_test_struct));
kono
parents:
diff changeset
64 ASSERT_TRUE (ggc_marked_p (root_test_struct->other));
kono
parents:
diff changeset
65 }
kono
parents:
diff changeset
66
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 /* Selftest for GTY((length)). */
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 /* A test struct using GTY((length)). */
kono
parents:
diff changeset
72
kono
parents:
diff changeset
73 struct GTY(()) test_of_length
kono
parents:
diff changeset
74 {
kono
parents:
diff changeset
75 int num_elem;
kono
parents:
diff changeset
76 struct test_of_length * GTY ((length ("%h.num_elem"))) elem[1];
kono
parents:
diff changeset
77 };
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 static GTY(()) test_of_length *root_test_of_length;
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 static void
kono
parents:
diff changeset
82 test_length ()
kono
parents:
diff changeset
83 {
kono
parents:
diff changeset
84 const int count = 5;
kono
parents:
diff changeset
85 size_t sz = sizeof (test_of_length) + (count- 1) * sizeof (test_of_length *);
kono
parents:
diff changeset
86 root_test_of_length = (test_of_length *)ggc_internal_cleared_alloc (sz);
kono
parents:
diff changeset
87 root_test_of_length->num_elem = count;
kono
parents:
diff changeset
88 for (int i = 0; i < count; i++)
kono
parents:
diff changeset
89 root_test_of_length->elem[i] = ggc_cleared_alloc <test_of_length> ();
kono
parents:
diff changeset
90
kono
parents:
diff changeset
91 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 ASSERT_TRUE (ggc_marked_p (root_test_of_length));
kono
parents:
diff changeset
94 for (int i = 0; i < count; i++)
kono
parents:
diff changeset
95 ASSERT_TRUE (ggc_marked_p (root_test_of_length->elem[i]));
kono
parents:
diff changeset
96 }
kono
parents:
diff changeset
97
kono
parents:
diff changeset
98
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 /* Selftest for unions, GTY((tag)), and GTY((desc)). */
kono
parents:
diff changeset
101
kono
parents:
diff changeset
102 /* A struct with a reference that's an a different offset to test_struct,
kono
parents:
diff changeset
103 to ensure that we're using the correct types. */
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 struct GTY(()) test_other
kono
parents:
diff changeset
106 {
kono
parents:
diff changeset
107 char dummy[256];
kono
parents:
diff changeset
108 test_struct *m_ptr;
kono
parents:
diff changeset
109 };
kono
parents:
diff changeset
110
kono
parents:
diff changeset
111 enum which_field
kono
parents:
diff changeset
112 {
kono
parents:
diff changeset
113 WHICH_FIELD_USE_TEST_STRUCT,
kono
parents:
diff changeset
114 WHICH_FIELD_USE_TEST_OTHER
kono
parents:
diff changeset
115 };
kono
parents:
diff changeset
116
kono
parents:
diff changeset
117 /* An example function for use by a GTY((desc)) marker. */
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 static enum which_field
kono
parents:
diff changeset
120 calc_desc (int kind)
kono
parents:
diff changeset
121 {
kono
parents:
diff changeset
122 switch (kind)
kono
parents:
diff changeset
123 {
kono
parents:
diff changeset
124 case 0: return WHICH_FIELD_USE_TEST_STRUCT;
kono
parents:
diff changeset
125 case 1: return WHICH_FIELD_USE_TEST_OTHER;
kono
parents:
diff changeset
126 default:
kono
parents:
diff changeset
127 gcc_unreachable ();
kono
parents:
diff changeset
128 }
kono
parents:
diff changeset
129 }
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 /* A struct containing an example of a union, showing the "tag" and
kono
parents:
diff changeset
132 "desc" markers. */
kono
parents:
diff changeset
133
kono
parents:
diff changeset
134 struct GTY(()) test_of_union
kono
parents:
diff changeset
135 {
kono
parents:
diff changeset
136 int m_kind;
kono
parents:
diff changeset
137 union u {
kono
parents:
diff changeset
138 test_struct * GTY ((tag ("WHICH_FIELD_USE_TEST_STRUCT") )) u_test_struct;
kono
parents:
diff changeset
139 test_other * GTY ((tag ("WHICH_FIELD_USE_TEST_OTHER") )) u_test_other;
kono
parents:
diff changeset
140 } GTY ((desc ("calc_desc (%0.m_kind)"))) m_u;
kono
parents:
diff changeset
141 };
kono
parents:
diff changeset
142
kono
parents:
diff changeset
143 /* Example roots. */
kono
parents:
diff changeset
144
kono
parents:
diff changeset
145 static GTY(()) test_of_union *root_test_of_union_1;
kono
parents:
diff changeset
146 static GTY(()) test_of_union *root_test_of_union_2;
kono
parents:
diff changeset
147
kono
parents:
diff changeset
148 /* Verify that the above work correctly. */
kono
parents:
diff changeset
149
kono
parents:
diff changeset
150 static void
kono
parents:
diff changeset
151 test_union ()
kono
parents:
diff changeset
152 {
kono
parents:
diff changeset
153 root_test_of_union_1 = ggc_cleared_alloc <test_of_union> ();
kono
parents:
diff changeset
154 root_test_of_union_1->m_kind = 0;
kono
parents:
diff changeset
155 test_struct *ts = ggc_cleared_alloc <test_struct> ();
kono
parents:
diff changeset
156 root_test_of_union_1->m_u.u_test_struct = ts;
kono
parents:
diff changeset
157
kono
parents:
diff changeset
158 root_test_of_union_2 = ggc_cleared_alloc <test_of_union> ();
kono
parents:
diff changeset
159 root_test_of_union_2->m_kind = 1;
kono
parents:
diff changeset
160 test_other *other = ggc_cleared_alloc <test_other> ();
kono
parents:
diff changeset
161 root_test_of_union_2->m_u.u_test_other = other;
kono
parents:
diff changeset
162 test_struct *referenced_by_other = ggc_cleared_alloc <test_struct> ();
kono
parents:
diff changeset
163 other->m_ptr = referenced_by_other;
kono
parents:
diff changeset
164
kono
parents:
diff changeset
165 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 ASSERT_TRUE (ggc_marked_p (root_test_of_union_1));
kono
parents:
diff changeset
168 ASSERT_TRUE (ggc_marked_p (ts));
kono
parents:
diff changeset
169
kono
parents:
diff changeset
170 ASSERT_TRUE (ggc_marked_p (root_test_of_union_2));
kono
parents:
diff changeset
171 ASSERT_TRUE (ggc_marked_p (other));
kono
parents:
diff changeset
172 ASSERT_TRUE (ggc_marked_p (referenced_by_other));
kono
parents:
diff changeset
173 }
kono
parents:
diff changeset
174
kono
parents:
diff changeset
175
kono
parents:
diff changeset
176
kono
parents:
diff changeset
177 /* Verify that destructors get run when instances are collected. */
kono
parents:
diff changeset
178
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
179 class GTY(()) test_struct_with_dtor
111
kono
parents:
diff changeset
180 {
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
181 public:
111
kono
parents:
diff changeset
182 /* This struct has a destructor; it *ought* to be called
kono
parents:
diff changeset
183 by the ggc machinery when instances are collected. */
kono
parents:
diff changeset
184 ~test_struct_with_dtor () { dtor_call_count++; }
kono
parents:
diff changeset
185
kono
parents:
diff changeset
186 static int dtor_call_count;
kono
parents:
diff changeset
187 };
kono
parents:
diff changeset
188
kono
parents:
diff changeset
189 int test_struct_with_dtor::dtor_call_count;
kono
parents:
diff changeset
190
kono
parents:
diff changeset
191 static void
kono
parents:
diff changeset
192 test_finalization ()
kono
parents:
diff changeset
193 {
kono
parents:
diff changeset
194 #if GCC_VERSION >= 4003
kono
parents:
diff changeset
195 ASSERT_FALSE (need_finalization_p <test_struct> ());
kono
parents:
diff changeset
196 ASSERT_TRUE (need_finalization_p <test_struct_with_dtor> ());
kono
parents:
diff changeset
197 #endif
kono
parents:
diff changeset
198
kono
parents:
diff changeset
199 /* Create some garbage. */
kono
parents:
diff changeset
200 const int count = 10;
kono
parents:
diff changeset
201 for (int i = 0; i < count; i++)
kono
parents:
diff changeset
202 ggc_cleared_alloc <test_struct_with_dtor> ();
kono
parents:
diff changeset
203
kono
parents:
diff changeset
204 test_struct_with_dtor::dtor_call_count = 0;
kono
parents:
diff changeset
205
kono
parents:
diff changeset
206 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
207
kono
parents:
diff changeset
208 /* Verify that the destructor was run for each instance. */
kono
parents:
diff changeset
209 ASSERT_EQ (count, test_struct_with_dtor::dtor_call_count);
kono
parents:
diff changeset
210 }
kono
parents:
diff changeset
211
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213
kono
parents:
diff changeset
214 /* Verify that a global can be marked as "deletable". */
kono
parents:
diff changeset
215
kono
parents:
diff changeset
216 static GTY((deletable)) test_struct *test_of_deletable;
kono
parents:
diff changeset
217
kono
parents:
diff changeset
218 static void
kono
parents:
diff changeset
219 test_deletable_global ()
kono
parents:
diff changeset
220 {
kono
parents:
diff changeset
221 test_of_deletable = ggc_cleared_alloc <test_struct> ();
kono
parents:
diff changeset
222 ASSERT_TRUE (test_of_deletable != NULL);
kono
parents:
diff changeset
223
kono
parents:
diff changeset
224 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
225
kono
parents:
diff changeset
226 ASSERT_EQ (NULL, test_of_deletable);
kono
parents:
diff changeset
227 }
kono
parents:
diff changeset
228
kono
parents:
diff changeset
229
kono
parents:
diff changeset
230
kono
parents:
diff changeset
231 /* Verify that gengtype etc can cope with inheritance. */
kono
parents:
diff changeset
232
kono
parents:
diff changeset
233 class GTY((desc("%h.m_kind"), tag("0"))) example_base
kono
parents:
diff changeset
234 {
kono
parents:
diff changeset
235 public:
kono
parents:
diff changeset
236 example_base ()
kono
parents:
diff changeset
237 : m_kind (0),
kono
parents:
diff changeset
238 m_a (ggc_cleared_alloc <test_struct> ())
kono
parents:
diff changeset
239 {}
kono
parents:
diff changeset
240
kono
parents:
diff changeset
241 void *
kono
parents:
diff changeset
242 operator new (size_t sz)
kono
parents:
diff changeset
243 {
kono
parents:
diff changeset
244 return ggc_internal_cleared_alloc (sz);
kono
parents:
diff changeset
245 }
kono
parents:
diff changeset
246
kono
parents:
diff changeset
247 protected:
kono
parents:
diff changeset
248 example_base (int kind)
kono
parents:
diff changeset
249 : m_kind (kind),
kono
parents:
diff changeset
250 m_a (ggc_cleared_alloc <test_struct> ())
kono
parents:
diff changeset
251 {}
kono
parents:
diff changeset
252
kono
parents:
diff changeset
253 public:
kono
parents:
diff changeset
254 int m_kind;
kono
parents:
diff changeset
255 test_struct *m_a;
kono
parents:
diff changeset
256 };
kono
parents:
diff changeset
257
kono
parents:
diff changeset
258 class GTY((tag("1"))) some_subclass : public example_base
kono
parents:
diff changeset
259 {
kono
parents:
diff changeset
260 public:
kono
parents:
diff changeset
261 some_subclass ()
kono
parents:
diff changeset
262 : example_base (1),
kono
parents:
diff changeset
263 m_b (ggc_cleared_alloc <test_struct> ())
kono
parents:
diff changeset
264 {}
kono
parents:
diff changeset
265
kono
parents:
diff changeset
266 test_struct *m_b;
kono
parents:
diff changeset
267 };
kono
parents:
diff changeset
268
kono
parents:
diff changeset
269 class GTY((tag("2"))) some_other_subclass : public example_base
kono
parents:
diff changeset
270 {
kono
parents:
diff changeset
271 public:
kono
parents:
diff changeset
272 some_other_subclass ()
kono
parents:
diff changeset
273 : example_base (2),
kono
parents:
diff changeset
274 m_c (ggc_cleared_alloc <test_struct> ())
kono
parents:
diff changeset
275 {}
kono
parents:
diff changeset
276
kono
parents:
diff changeset
277 test_struct *m_c;
kono
parents:
diff changeset
278 };
kono
parents:
diff changeset
279
kono
parents:
diff changeset
280 /* Various test roots, both expressed as a ptr to the actual class, and
kono
parents:
diff changeset
281 as a ptr to the base class. */
kono
parents:
diff changeset
282 static GTY(()) example_base *test_example_base;
kono
parents:
diff changeset
283 static GTY(()) some_subclass *test_some_subclass;
kono
parents:
diff changeset
284 static GTY(()) some_other_subclass *test_some_other_subclass;
kono
parents:
diff changeset
285 static GTY(()) example_base *test_some_subclass_as_base_ptr;
kono
parents:
diff changeset
286 static GTY(()) example_base *test_some_other_subclass_as_base_ptr;
kono
parents:
diff changeset
287
kono
parents:
diff changeset
288 static void
kono
parents:
diff changeset
289 test_inheritance ()
kono
parents:
diff changeset
290 {
kono
parents:
diff changeset
291 test_example_base = new example_base ();
kono
parents:
diff changeset
292 test_some_subclass = new some_subclass ();
kono
parents:
diff changeset
293 test_some_other_subclass = new some_other_subclass ();
kono
parents:
diff changeset
294 test_some_subclass_as_base_ptr = new some_subclass ();
kono
parents:
diff changeset
295 test_some_other_subclass_as_base_ptr = new some_other_subclass ();
kono
parents:
diff changeset
296
kono
parents:
diff changeset
297 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
298
kono
parents:
diff changeset
299 /* Verify that the roots and everything referenced by them got marked
kono
parents:
diff changeset
300 (both for fields in the base class and those in subclasses). */
kono
parents:
diff changeset
301 ASSERT_TRUE (ggc_marked_p (test_example_base));
kono
parents:
diff changeset
302 ASSERT_TRUE (ggc_marked_p (test_example_base->m_a));
kono
parents:
diff changeset
303
kono
parents:
diff changeset
304 ASSERT_TRUE (ggc_marked_p (test_some_subclass));
kono
parents:
diff changeset
305 ASSERT_TRUE (ggc_marked_p (test_some_subclass->m_a));
kono
parents:
diff changeset
306 ASSERT_TRUE (ggc_marked_p (test_some_subclass->m_b));
kono
parents:
diff changeset
307
kono
parents:
diff changeset
308 ASSERT_TRUE (ggc_marked_p (test_some_other_subclass));
kono
parents:
diff changeset
309 ASSERT_TRUE (ggc_marked_p (test_some_other_subclass->m_a));
kono
parents:
diff changeset
310 ASSERT_TRUE (ggc_marked_p (test_some_other_subclass->m_c));
kono
parents:
diff changeset
311
kono
parents:
diff changeset
312 ASSERT_TRUE (ggc_marked_p (test_some_subclass_as_base_ptr));
kono
parents:
diff changeset
313 ASSERT_TRUE (ggc_marked_p (test_some_subclass_as_base_ptr->m_a));
kono
parents:
diff changeset
314 ASSERT_TRUE (ggc_marked_p (((some_subclass *)
kono
parents:
diff changeset
315 test_some_subclass_as_base_ptr)->m_b));
kono
parents:
diff changeset
316
kono
parents:
diff changeset
317 ASSERT_TRUE (ggc_marked_p (test_some_other_subclass_as_base_ptr));
kono
parents:
diff changeset
318 ASSERT_TRUE (ggc_marked_p (test_some_other_subclass_as_base_ptr->m_a));
kono
parents:
diff changeset
319 ASSERT_TRUE (ggc_marked_p (((some_other_subclass *)
kono
parents:
diff changeset
320 test_some_other_subclass_as_base_ptr)->m_c));
kono
parents:
diff changeset
321 }
kono
parents:
diff changeset
322
kono
parents:
diff changeset
323
kono
parents:
diff changeset
324
kono
parents:
diff changeset
325 /* Test of chain_next/chain_prev
kono
parents:
diff changeset
326
kono
parents:
diff changeset
327 Construct a very long linked list, so that without
kono
parents:
diff changeset
328 the chain_next/chain_prev optimization we'd have
kono
parents:
diff changeset
329 a stack overflow when gt_ggc_mx_test_node recurses. */
kono
parents:
diff changeset
330
kono
parents:
diff changeset
331 struct GTY(( chain_next ("%h.m_next"),
kono
parents:
diff changeset
332 chain_prev ("%h.m_prev") )) test_node
kono
parents:
diff changeset
333 {
kono
parents:
diff changeset
334 test_node *m_prev;
kono
parents:
diff changeset
335 test_node *m_next;
kono
parents:
diff changeset
336 int m_idx;
kono
parents:
diff changeset
337 };
kono
parents:
diff changeset
338
kono
parents:
diff changeset
339 static GTY(()) test_node *root_test_node;
kono
parents:
diff changeset
340
kono
parents:
diff changeset
341 static void
kono
parents:
diff changeset
342 test_chain_next ()
kono
parents:
diff changeset
343 {
kono
parents:
diff changeset
344 /* Ideally we would construct a long list so that the number of
kono
parents:
diff changeset
345 stack frames would be deep enough to crash if gengtype has created
kono
parents:
diff changeset
346 something that recurses.
kono
parents:
diff changeset
347
kono
parents:
diff changeset
348 However, as the list is lengthened to increase the chance of
kono
parents:
diff changeset
349 overflowing the stack, the test will require more time and memory
kono
parents:
diff changeset
350 to run. On a Fedora 20 x86_64 box with 128GB of RAM, count=2000000
kono
parents:
diff changeset
351 without the chain_next optimization reliably overflowed the stack,
kono
parents:
diff changeset
352 but the test took 0.5s to run.
kono
parents:
diff changeset
353
kono
parents:
diff changeset
354 For now this test runs with a low value for "count", which defeats
kono
parents:
diff changeset
355 the main purpose of the test - though it at least gives us coverage
kono
parents:
diff changeset
356 for walking a GTY((chain_next)) list.
kono
parents:
diff changeset
357
kono
parents:
diff changeset
358 We could potentially increase this value once we have a better sense
kono
parents:
diff changeset
359 of the time and space requirements of the test on different hosts,
kono
parents:
diff changeset
360 or perhaps find a way to reduce the stack size when running this
kono
parents:
diff changeset
361 testcase. */
kono
parents:
diff changeset
362 const int count = 10;
kono
parents:
diff changeset
363
kono
parents:
diff changeset
364 /* Build the linked list. */
kono
parents:
diff changeset
365 root_test_node = ggc_cleared_alloc <test_node> ();
kono
parents:
diff changeset
366 test_node *tail_node = root_test_node;
kono
parents:
diff changeset
367 for (int i = 0; i < count; i++)
kono
parents:
diff changeset
368 {
kono
parents:
diff changeset
369 test_node *new_node = ggc_cleared_alloc <test_node> ();
kono
parents:
diff changeset
370 tail_node->m_next = new_node;
kono
parents:
diff changeset
371 new_node->m_prev = tail_node;
kono
parents:
diff changeset
372 new_node->m_idx = i;
kono
parents:
diff changeset
373 tail_node = new_node;
kono
parents:
diff changeset
374 }
kono
parents:
diff changeset
375
kono
parents:
diff changeset
376 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
377
kono
parents:
diff changeset
378 /* If we got here, we survived. */
kono
parents:
diff changeset
379
kono
parents:
diff changeset
380 /* Verify that all nodes in the list were marked. */
kono
parents:
diff changeset
381 ASSERT_TRUE (ggc_marked_p (root_test_node));
kono
parents:
diff changeset
382 test_node *iter_node = root_test_node->m_next;
kono
parents:
diff changeset
383 for (int i = 0; i < count; i++)
kono
parents:
diff changeset
384 {
kono
parents:
diff changeset
385 ASSERT_TRUE (ggc_marked_p (iter_node));
kono
parents:
diff changeset
386 ASSERT_EQ (i, iter_node->m_idx);
kono
parents:
diff changeset
387 iter_node = iter_node->m_next;
kono
parents:
diff changeset
388 }
kono
parents:
diff changeset
389 }
kono
parents:
diff changeset
390
kono
parents:
diff changeset
391
kono
parents:
diff changeset
392
kono
parents:
diff changeset
393 /* Test for GTY((user)). */
kono
parents:
diff changeset
394
kono
parents:
diff changeset
395 struct GTY((user)) user_struct
kono
parents:
diff changeset
396 {
kono
parents:
diff changeset
397 char dummy[16];
kono
parents:
diff changeset
398 test_struct *m_ptr;
kono
parents:
diff changeset
399 };
kono
parents:
diff changeset
400
kono
parents:
diff changeset
401 static GTY(()) user_struct *root_user_struct_ptr;
kono
parents:
diff changeset
402
kono
parents:
diff changeset
403 /* A global for verifying that the user-provided gt_ggc_mx gets
kono
parents:
diff changeset
404 called. */
kono
parents:
diff changeset
405 static int num_calls_to_user_gt_ggc_mx;
kono
parents:
diff changeset
406
kono
parents:
diff changeset
407 /* User-provided implementation of gt_ggc_mx. */
kono
parents:
diff changeset
408
kono
parents:
diff changeset
409 static void
kono
parents:
diff changeset
410 gt_ggc_mx (user_struct *p)
kono
parents:
diff changeset
411 {
kono
parents:
diff changeset
412 num_calls_to_user_gt_ggc_mx++;
kono
parents:
diff changeset
413 gt_ggc_mx_test_struct (p->m_ptr);
kono
parents:
diff changeset
414 }
kono
parents:
diff changeset
415
kono
parents:
diff changeset
416 /* User-provided implementation of gt_pch_nx. */
kono
parents:
diff changeset
417
kono
parents:
diff changeset
418 static void
kono
parents:
diff changeset
419 gt_pch_nx (user_struct *p)
kono
parents:
diff changeset
420 {
kono
parents:
diff changeset
421 gt_pch_nx_test_struct (p->m_ptr);
kono
parents:
diff changeset
422 }
kono
parents:
diff changeset
423
kono
parents:
diff changeset
424 /* User-provided implementation of gt_pch_nx. */
kono
parents:
diff changeset
425
kono
parents:
diff changeset
426 static void
kono
parents:
diff changeset
427 gt_pch_nx (user_struct *p, gt_pointer_operator op, void *cookie)
kono
parents:
diff changeset
428 {
kono
parents:
diff changeset
429 op (&(p->m_ptr), cookie);
kono
parents:
diff changeset
430 }
kono
parents:
diff changeset
431
kono
parents:
diff changeset
432 /* Verify that GTY((user)) works. */
kono
parents:
diff changeset
433
kono
parents:
diff changeset
434 static void
kono
parents:
diff changeset
435 test_user_struct ()
kono
parents:
diff changeset
436 {
kono
parents:
diff changeset
437 root_user_struct_ptr = ggc_cleared_alloc <user_struct> ();
kono
parents:
diff changeset
438 test_struct *referenced = ggc_cleared_alloc <test_struct> ();
kono
parents:
diff changeset
439 root_user_struct_ptr->m_ptr = referenced;
kono
parents:
diff changeset
440
kono
parents:
diff changeset
441 num_calls_to_user_gt_ggc_mx = 0;
kono
parents:
diff changeset
442
kono
parents:
diff changeset
443 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
444
kono
parents:
diff changeset
445 ASSERT_TRUE (ggc_marked_p (root_user_struct_ptr));
kono
parents:
diff changeset
446 ASSERT_TRUE (ggc_marked_p (referenced));
kono
parents:
diff changeset
447 ASSERT_TRUE (num_calls_to_user_gt_ggc_mx > 0);
kono
parents:
diff changeset
448 }
kono
parents:
diff changeset
449
kono
parents:
diff changeset
450
kono
parents:
diff changeset
451
kono
parents:
diff changeset
452 /* Smoketest to ensure that the tree type is marked. */
kono
parents:
diff changeset
453
kono
parents:
diff changeset
454 static GTY(()) tree dummy_unittesting_tree;
kono
parents:
diff changeset
455
kono
parents:
diff changeset
456 static void
kono
parents:
diff changeset
457 test_tree_marking ()
kono
parents:
diff changeset
458 {
kono
parents:
diff changeset
459 dummy_unittesting_tree = build_int_cst (integer_type_node, 1066);
kono
parents:
diff changeset
460
kono
parents:
diff changeset
461 selftest::forcibly_ggc_collect ();
kono
parents:
diff changeset
462
kono
parents:
diff changeset
463 ASSERT_TRUE (ggc_marked_p (dummy_unittesting_tree));
kono
parents:
diff changeset
464 }
kono
parents:
diff changeset
465
kono
parents:
diff changeset
466
kono
parents:
diff changeset
467
kono
parents:
diff changeset
468 /* Ideas for other tests:
kono
parents:
diff changeset
469 - pch-handling */
kono
parents:
diff changeset
470
kono
parents:
diff changeset
471 namespace selftest {
kono
parents:
diff changeset
472
kono
parents:
diff changeset
473 /* Run all of the selftests within this file. */
kono
parents:
diff changeset
474
kono
parents:
diff changeset
475 void
kono
parents:
diff changeset
476 ggc_tests_c_tests ()
kono
parents:
diff changeset
477 {
kono
parents:
diff changeset
478 test_basic_struct ();
kono
parents:
diff changeset
479 test_length ();
kono
parents:
diff changeset
480 test_union ();
kono
parents:
diff changeset
481 test_finalization ();
kono
parents:
diff changeset
482 test_deletable_global ();
kono
parents:
diff changeset
483 test_inheritance ();
kono
parents:
diff changeset
484 test_chain_next ();
kono
parents:
diff changeset
485 test_user_struct ();
kono
parents:
diff changeset
486 test_tree_marking ();
kono
parents:
diff changeset
487 }
kono
parents:
diff changeset
488
kono
parents:
diff changeset
489 } // namespace selftest
kono
parents:
diff changeset
490
kono
parents:
diff changeset
491 #include "gt-ggc-tests.h"
kono
parents:
diff changeset
492
kono
parents:
diff changeset
493 #else /* #if CHECKING_P */
kono
parents:
diff changeset
494
kono
parents:
diff changeset
495 /* The #if CHECKING_P code above has various GTY-marked roots.
kono
parents:
diff changeset
496 gengtype has no knowledge of the preprocessor, and so detects
kono
parents:
diff changeset
497 these roots and writes them out to gt-ggc-tests.h.
kono
parents:
diff changeset
498 In a !CHECKING_P build we can ignore gt-ggc-tests.h, but the
kono
parents:
diff changeset
499 root tables are referenced in the various generated gtype-*.c
kono
parents:
diff changeset
500 files like this:
kono
parents:
diff changeset
501
kono
parents:
diff changeset
502 ...snip...
kono
parents:
diff changeset
503 extern const struct ggc_root_tab gt_ggc_r_gt_ggc_tests_h[];
kono
parents:
diff changeset
504 ...snip...
kono
parents:
diff changeset
505
kono
parents:
diff changeset
506 EXPORTED_CONST struct ggc_root_tab * const gt_ggc_rtab[] = {
kono
parents:
diff changeset
507 ...snip...
kono
parents:
diff changeset
508 gt_ggc_r_gt_ggc_tests_h,
kono
parents:
diff changeset
509 ...snip...
kono
parents:
diff changeset
510 };
kono
parents:
diff changeset
511
kono
parents:
diff changeset
512 Hence to avoid a link failure, we provide dummy implementations
kono
parents:
diff changeset
513 of these root tables in an unchecked build.
kono
parents:
diff changeset
514
kono
parents:
diff changeset
515 Note that these conditional roots imply that PCH files are
kono
parents:
diff changeset
516 incompatible between checked and unchecked builds. */
kono
parents:
diff changeset
517
kono
parents:
diff changeset
518 EXPORTED_CONST struct ggc_root_tab gt_ggc_r_gt_ggc_tests_h[] = {
kono
parents:
diff changeset
519 LAST_GGC_ROOT_TAB
kono
parents:
diff changeset
520 };
kono
parents:
diff changeset
521
kono
parents:
diff changeset
522 EXPORTED_CONST struct ggc_root_tab gt_ggc_rd_gt_ggc_tests_h[] = {
kono
parents:
diff changeset
523 LAST_GGC_ROOT_TAB
kono
parents:
diff changeset
524 };
kono
parents:
diff changeset
525
kono
parents:
diff changeset
526 #endif /* #else clause of #if CHECKING_P */