1 /* Demangler test program,
2 Copyright (C) 2002, 2003, 2004 Free Software Foundation, Inc.
3 Written by Zack Weinberg <zack@codesourcery.com
4
5 This file is part of GNU libiberty.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
20 */
21
22 #ifdef HAVE_CONFIG_H
23 #include "config.h"
24 #endif
25 #include "ansidecl.h"
26 #include <stdio.h>
27 #include "libiberty.h"
28 #include "demangle.h"
29 #ifdef HAVE_STRING_H
30 #include <string.h>
31 #endif
32 #if HAVE_STDLIB_H
33 # include <stdlib.h>
34 #endif
35
36 struct line
37 {
38 size_t alloced;
39 char *data;
40 };
41
42 static unsigned int lineno;
43
44 /* Safely read a single line of arbitrary length from standard input. */
45
46 #define LINELEN 80
47
48 static void
49 getline(buf)
50 struct line *buf;
51 {
52 char *data = buf->data;
53 size_t alloc = buf->alloced;
54 size_t count = 0;
55 int c;
56
57 if (data == 0)
58 {
59 data = xmalloc (LINELEN);
60 alloc = LINELEN;
61 }
62
63 /* Skip comment lines. */
64 while ((c = getchar()) == '#')
65 {
66 while ((c = getchar()) != EOF && c != '\n');
67 lineno++;
68 }
69
70 /* c is the first character on the line, and it's not a comment
71 line: copy this line into the buffer and return. */
72 while (c != EOF && c != '\n')
73 {
74 if (count + 1 >= alloc)
75 {
76 alloc *= 2;
77 data = xrealloc (data, alloc);
78 }
79 data[count++] = c;
80 c = getchar();
81 }
82 lineno++;
83 data[count] = '\0';
84
85 buf->data = data;
86 buf->alloced = alloc;
87 }
88
89 /* If we have mmap() and mprotect(), copy the string S just before a
90 protected page, so that if the demangler runs over the end of the
91 string we'll get a fault, and return the address of the new string.
92 If no mmap, or it fails, or it looks too hard, just return S. */
93
94 #ifdef HAVE_SYS_MMAN_H
95 #include <sys/mman.h>
96 #endif
97 #if defined(MAP_ANON) && ! defined (MAP_ANONYMOUS)
98 #define MAP_ANONYMOUS MAP_ANON
99 #endif
100
101 static const char *
102 protect_end (const char * s)
103 {
104 #if defined(HAVE_MMAP) && defined (MAP_ANONYMOUS)
105 size_t pagesize = getpagesize();
106 static char * buf;
107 size_t s_len = strlen (s);
108 char * result;
109
110 /* Don't try if S is too long. */
111 if (s_len >= pagesize)
112 return s;
113
114 /* Allocate one page of allocated space followed by an unmapped
115 page. */
116 if (buf == NULL)
117 {
118 buf = mmap (NULL, pagesize * 2, PROT_READ | PROT_WRITE,
119 MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
120 if (! buf)
121 return s;
122 munmap (buf + pagesize, pagesize);
123 }
124
125 result = buf + (pagesize - s_len - 1);
126 memcpy (result, s, s_len + 1);
127 return result;
128 #else
129 return s;
130 #endif
131 }
132
133 static void
134 fail (lineno, opts, in, out, exp)
135 int lineno;
136 const char *opts;
137 const char *in;
138 const char *out;
139 const char *exp;
140 {
141 printf ("\
142 FAIL at line %d, options %s:\n\
143 in: %s\n\
144 out: %s\n\
145 exp: %s\n",
146 lineno, opts, in, out != NULL ? out : "(null)", exp);
147 }
148
149 /* The tester operates on a data file consisting of groups of lines:
150 options
151 input to be demangled
152 expected output
153
154 Supported options:
155 --format=<name> Sets the demangling style.
156 --no-params There are two lines of expected output; the first
157 is with DMGL_PARAMS, the second is without it.
158 --is-v3-ctor Calls is_gnu_v3_mangled_ctor on input; expected
159 output is an integer representing ctor_kind.
160 --is-v3-dtor Likewise, but for dtors.
161 --ret-postfix Passes the DMGL_RET_POSTFIX option
162
163 For compatibility, just in case it matters, the options line may be
164 empty, to mean --format=auto. If it doesn't start with --, then it
165 may contain only a format name.
166 */
167
168 int
169 main(argc, argv)
170 int argc;
171 char **argv;
172 {
173 enum demangling_styles style = auto_demangling;
174 int no_params;
175 int is_v3_ctor;
176 int is_v3_dtor;
177 int ret_postfix;
178 struct line format;
179 struct line input;
180 struct line expect;
181 char *result;
182 int failures = 0;
183 int tests = 0;
184
185 if (argc > 1)
186 {
187 fprintf (stderr, "usage: %s < test-set\n", argv[0]);
188 return 2;
189 }
190
191 format.data = 0;
192 input.data = 0;
193 expect.data = 0;
194
195 for (;;)
196 {
197 const char *inp;
198
199 getline (&format);
200 if (feof (stdin))
201 break;
202
203 getline (&input);
204 getline (&expect);
205
206 inp = protect_end (input.data);
207
208 tests++;
209
210 no_params = 0;
211 ret_postfix = 0;
212 is_v3_ctor = 0;
213 is_v3_dtor = 0;
214 if (format.data[0] == '\0')
215 style = auto_demangling;
216 else if (format.data[0] != '-')
217 {
218 style = cplus_demangle_name_to_style (format.data);
219 if (style == unknown_demangling)
220 {
221 printf ("FAIL at line %d: unknown demangling style %s\n",
222 lineno, format.data);
223 failures++;
224 continue;
225 }
226 }
227 else
228 {
229 char *p;
230 char *opt;
231
232 p = format.data;
233 while (*p != '\0')
234 {
235 char c;
236
237 opt = p;
238 p += strcspn (p, " \t=");
239 c = *p;
240 *p = '\0';
241 if (strcmp (opt, "--format") == 0 && c == '=')
242 {
243 char *fstyle;
244
245 *p = c;
246 ++p;
247 fstyle = p;
248 p += strcspn (p, " \t");
249 c = *p;
250 *p = '\0';
251 style = cplus_demangle_name_to_style (fstyle);
252 if (style == unknown_demangling)
253 {
254 printf ("FAIL at line %d: unknown demangling style %s\n",
255 lineno, fstyle);
256 failures++;
257 continue;
258 }
259 }
260 else if (strcmp (opt, "--no-params") == 0)
261 no_params = 1;
262 else if (strcmp (opt, "--is-v3-ctor") == 0)
263 is_v3_ctor = 1;
264 else if (strcmp (opt, "--is-v3-dtor") == 0)
265 is_v3_dtor = 1;
266 else if (strcmp (opt, "--ret-postfix") == 0)
267 ret_postfix = 1;
268 else
269 {
270 printf ("FAIL at line %d: unrecognized option %s\n",
271 lineno, opt);
272 failures++;
273 continue;
274 }
275 *p = c;
276 p += strspn (p, " \t");
277 }
278 }
279
280 if (is_v3_ctor || is_v3_dtor)
281 {
282 char buf[20];
283
284 if (is_v3_ctor)
285 {
286 enum gnu_v3_ctor_kinds kc;
287
288 kc = is_gnu_v3_mangled_ctor (inp);
289 sprintf (buf, "%d", (int) kc);
290 }
291 else
292 {
293 enum gnu_v3_dtor_kinds kd;
294
295 kd = is_gnu_v3_mangled_dtor (inp);
296 sprintf (buf, "%d", (int) kd);
297 }
298
299 if (strcmp (buf, expect.data) != 0)
300 {
301 fail (lineno, format.data, input.data, buf, expect.data);
302 failures++;
303 }
304
305 continue;
306 }
307
308 cplus_demangle_set_style (style);
309
310 result = cplus_demangle (inp,
311 DMGL_PARAMS|DMGL_ANSI|DMGL_TYPES
312 |(ret_postfix ? DMGL_RET_POSTFIX : 0));
313
314 if (result
315 ? strcmp (result, expect.data)
316 : strcmp (input.data, expect.data))
317 {
318 fail (lineno, format.data, input.data, result, expect.data);
319 failures++;
320 }
321 free (result);
322
323 if (no_params)
324 {
325 getline (&expect);
326 result = cplus_demangle (inp, DMGL_ANSI|DMGL_TYPES);
327
328 if (result
329 ? strcmp (result, expect.data)
330 : strcmp (input.data, expect.data))
331 {
332 fail (lineno, format.data, input.data, result, expect.data);
333 failures++;
334 }
335 free (result);
336 }
337 }
338
339 free (format.data);
340 free (input.data);
341 free (expect.data);
342
343 printf ("%s: %d tests, %d failures\n", argv[0], tests, failures);
344 return failures ? 1 : 0;
345 }