annotate tests/test-tsearch.c @ 17082:62741e75b7c5

poll/select: document portability problems not fixed by Gnulib. * doc/posix-functions/poll.texi: poll does not work well on pipes under Windows. It has the same limitations as select on BeOS. * doc/posix-functions/select.texi: select does not work well on pipes under Windows.
author Paolo Bonzini <pbonzini@redhat.com>
date Thu, 13 Sep 2012 08:51:16 +0200
parents a712776b11ce
children e542fd46ad6f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Test program for tsearch et al.
16201
8250f2777afc maint: update all copyright year number ranges
Jim Meyering <meyering@redhat.com>
parents: 14079
diff changeset
2 Copyright (C) 1997, 2000-2001, 2007-2012 Free Software Foundation, Inc.
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3 This file is part of the GNU C Library.
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4
9308
7a5f9d09f389 Change copyright notice from LGPLv2.1+ to LGPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 8534
diff changeset
5 The GNU C Library is free software: you can redistribute it and/or
7a5f9d09f389 Change copyright notice from LGPLv2.1+ to LGPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 8534
diff changeset
6 modify it under the terms of the GNU Lesser General Public License as
7a5f9d09f389 Change copyright notice from LGPLv2.1+ to LGPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 8534
diff changeset
7 published by the Free Software Foundation; either version 3 of the
7a5f9d09f389 Change copyright notice from LGPLv2.1+ to LGPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 8534
diff changeset
8 License, or (at your option) any later version.
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 The GNU C Library is distributed in the hope that it will be useful,
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13 Lesser General Public License for more details.
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14
9308
7a5f9d09f389 Change copyright notice from LGPLv2.1+ to LGPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 8534
diff changeset
15 You should have received a copy of the GNU Lesser General Public License
7a5f9d09f389 Change copyright notice from LGPLv2.1+ to LGPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 8534
diff changeset
16 along with this program. If not, see <http://www.gnu.org/licenses/>. */
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18 #include <config.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20 #include <search.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21
12489
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
22 #include "signature.h"
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
23 SIGNATURE_CHECK (tdelete, void *, (void const *, void **,
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
24 int (*) (void const *, void const *)));
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
25 SIGNATURE_CHECK (tfind, void *, (void const *, void * const *,
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
26 int (*) (void const *, void const *)));
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
27 SIGNATURE_CHECK (tsearch, void *, (void const *, void **,
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
28 int (*) (void const *, void const *)));
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
29 SIGNATURE_CHECK (twalk, void, (void const *,
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
30 void (*) (void const *, VISIT, int)));
33ab12a7cea2 tests: add signature checks
Eric Blake <ebb9@byu.net>
parents: 12421
diff changeset
31
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
32 #include <stdint.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
33 #include <stdio.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34 #include <stdlib.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35 #include <string.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 #define SEED 0
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38 #if HAVE_TSEARCH
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 /* The system's tsearch() is not expected to keep the tree balanced. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
40 # define BALANCED 0
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
41 #else
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
42 /* The gnulib replacement tsearch() should keep the tree balanced. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
43 # define BALANCED 1
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
44 #endif
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 #define PASSES 100
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 #if BALANCED
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 #include <math.h>
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
49 #define SIZE 1000
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
50 #else
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
51 #define SIZE 100
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
52 #endif
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
53
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54 #undef random
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 #define random() (int) ((unsigned int) rand () >> 3)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
57 enum order
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
58 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
59 ascending,
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
60 descending,
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
61 randomorder
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
62 };
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
63
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
64 enum action
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
65 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
66 build,
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
67 build_and_del,
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
68 delete,
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
69 find
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
70 };
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
71
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
72 /* Set to 1 if a test is flunked. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
73 static int error = 0;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
74
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
75 /* The keys we add to the tree. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
76 static int x[SIZE];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
77
16358
a712776b11ce maint: spelling fixes
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
78 /* Pointers into the key array, possibly permuted, to define an order
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
79 for insertion/removal. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
80 static int y[SIZE];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
81
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
82 /* Flags set for each element visited during a tree walk. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
83 static int z[SIZE];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
84
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
85 /* Depths for all the elements, to check that the depth is constant for
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
86 all three visits. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
87 static int depths[SIZE];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
88
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
89 /* Maximum depth during a tree walk. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
90 static int max_depth;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
91
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
92 /* Compare two keys. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
93 static int
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
94 cmp_fn (const void *a, const void *b)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
95 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
96 return *(const int *) a - *(const int *) b;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
97 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
98
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
99 /* Permute an array of integers. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
100 static void
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
101 memfry (int *string)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
102 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
103 int i;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
104
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
105 for (i = 0; i < SIZE; ++i)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
106 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
107 int32_t j;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
108 int c;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
109
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
110 j = random () % SIZE;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
111
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
112 c = string[i];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
113 string[i] = string[j];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
114 string[j] = c;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
115 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
116 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
117
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
118 static void
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
119 walk_action (const void *nodep, const VISIT which, const int depth)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
120 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
121 int key = **(int **) nodep;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
122
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
123 if (depth > max_depth)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
124 max_depth = depth;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
125 if (which == leaf || which == preorder)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
126 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
127 ++z[key];
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
128 depths[key] = depth;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
129 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
130 else
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
131 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
132 if (depths[key] != depth)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
133 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
134 fputs ("Depth for one element is not constant during tree walk.\n",
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
135 stdout);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
136 }
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
137 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
138 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
139
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
140 static void
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
141 walk_tree (void *root, int expected_count)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
142 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
143 int i;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
144
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
145 memset (z, 0, sizeof z);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
146 max_depth = 0;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
147
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
148 twalk (root, walk_action);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
149 for (i = 0; i < expected_count; ++i)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
150 if (z[i] != 1)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
151 {
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
152 fputs ("Node was not visited.\n", stdout);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
153 error = 1;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
154 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
155
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
156 #if BALANCED
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
157 if (max_depth > log (expected_count) * 2 + 2)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
158 #else
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
159 if (max_depth > expected_count)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
160 #endif
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
161 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
162 fputs ("Depth too large during tree walk.\n", stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
163 error = 1;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
164 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
165 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
166
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
167 /* Perform an operation on a tree. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
168 static void
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
169 mangle_tree (enum order how, enum action what, void **root, int lag)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
170 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
171 int i;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
172
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
173 if (how == randomorder)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
174 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
175 for (i = 0; i < SIZE; ++i)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
176 y[i] = i;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
177 memfry (y);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
178 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
179
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
180 for (i = 0; i < SIZE + lag; ++i)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
181 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
182 void *elem;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
183 int j, k;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
184
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
185 switch (how)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
186 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
187 case randomorder:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
188 if (i >= lag)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
189 k = y[i - lag];
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
190 else
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
191 /* Ensure that the array index is within bounds. */
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
192 k = y[(SIZE - i - 1 + lag) % SIZE];
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
193 j = y[i % SIZE];
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
194 break;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
195
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
196 case ascending:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
197 k = i - lag;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
198 j = i;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
199 break;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
200
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
201 case descending:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
202 k = SIZE - i - 1 + lag;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
203 j = SIZE - i - 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
204 break;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
205
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
206 default:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
207 /* This never should happen, but gcc isn't smart enough to
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
208 recognize it. */
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
209 abort ();
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
210 }
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
211
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
212 switch (what)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
213 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
214 case build_and_del:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
215 case build:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
216 if (i < SIZE)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
217 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
218 if (tfind (x + j, (void *const *) root, cmp_fn) != NULL)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
219 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
220 fputs ("Found element which is not in tree yet.\n", stdout);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
221 error = 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
222 }
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
223 elem = tsearch (x + j, root, cmp_fn);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
224 if (elem == 0
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
225 || tfind (x + j, (void *const *) root, cmp_fn) == NULL)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
226 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
227 fputs ("Couldn't find element after it was added.\n",
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
228 stdout);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
229 error = 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
230 }
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
231 }
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
232
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
233 if (what == build || i < lag)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
234 break;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
235
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
236 j = k;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
237 /* fall through */
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
238
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
239 case delete:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
240 elem = tfind (x + j, (void *const *) root, cmp_fn);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
241 if (elem == NULL || tdelete (x + j, root, cmp_fn) == NULL)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
242 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
243 fputs ("Error deleting element.\n", stdout);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
244 error = 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
245 }
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
246 break;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
247
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
248 case find:
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
249 if (tfind (x + j, (void *const *) root, cmp_fn) == NULL)
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
250 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
251 fputs ("Couldn't find element after it was added.\n", stdout);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
252 error = 1;
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
253 }
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
254 break;
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
255
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
256 }
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
257 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
258 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
259
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
260
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
261 int
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
262 main (int argc, char **argv)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
263 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
264 int total_error = 0;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
265 static char state[8] = { 1, 2, 3, 4, 5, 6, 7, 8 };
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
266 void *root = NULL;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
267 int i, j;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
268
9943
07d10f7b50cd Fix link error on mingw.
Bruno Haible <bruno@clisp.org>
parents: 9308
diff changeset
269 #if HAVE_INITSTATE
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
270 initstate (SEED, state, 8);
9943
07d10f7b50cd Fix link error on mingw.
Bruno Haible <bruno@clisp.org>
parents: 9308
diff changeset
271 #endif
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
272
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
273 for (i = 0; i < SIZE; ++i)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
274 x[i] = i;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
275
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
276 /* Do this loop several times to get different permutations for the
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
277 random case. */
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
278 fputs ("Series I\n", stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
279 for (i = 0; i < PASSES; ++i)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
280 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
281 fprintf (stdout, "Pass %d... ", i + 1);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
282 fflush (stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
283 error = 0;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
284
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
285 mangle_tree (ascending, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
286 mangle_tree (ascending, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
287 mangle_tree (descending, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
288 mangle_tree (randomorder, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
289 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
290 mangle_tree (ascending, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
291
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
292 mangle_tree (ascending, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
293 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
294 mangle_tree (descending, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
295
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
296 mangle_tree (ascending, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
297 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
298 mangle_tree (randomorder, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
299
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
300 mangle_tree (descending, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
301 mangle_tree (ascending, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
302 mangle_tree (descending, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
303 mangle_tree (randomorder, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
304 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
305 mangle_tree (descending, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
306
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
307 mangle_tree (descending, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
308 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
309 mangle_tree (descending, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
310
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
311 mangle_tree (descending, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
312 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
313 mangle_tree (randomorder, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
314
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
315 mangle_tree (randomorder, build, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
316 mangle_tree (ascending, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
317 mangle_tree (descending, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
318 mangle_tree (randomorder, find, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
319 walk_tree (root, SIZE);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
320 mangle_tree (randomorder, delete, &root, 0);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
321
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
322 for (j = 1; j < SIZE; j *= 2)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
323 {
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
324 mangle_tree (randomorder, build_and_del, &root, j);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 9943
diff changeset
325 }
8534
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
326
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
327 fputs (error ? " failed!\n" : " ok.\n", stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
328 total_error |= error;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
329 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
330
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
331 fputs ("Series II\n", stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
332 for (i = 1; i < SIZE; i *= 2)
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
333 {
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
334 fprintf (stdout, "For size %d... ", i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
335 fflush (stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
336 error = 0;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
337
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
338 mangle_tree (ascending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
339 mangle_tree (descending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
340 mangle_tree (ascending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
341 mangle_tree (descending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
342 mangle_tree (ascending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
343 mangle_tree (descending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
344 mangle_tree (ascending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
345 mangle_tree (descending, build_and_del, &root, i);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
346
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
347 fputs (error ? " failed!\n" : " ok.\n", stdout);
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
348 total_error |= error;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
349 }
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
350
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
351 return total_error;
342c23c60847 Tests for module 'tsearch'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
352 }