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