6ef6358e51
overrunning string. (d_check_char): New. (d_next_char): Don't advance past trailing '\0'. * cp-demangle.c (cplus_demangle_mangled_name): Use d_check_char. (d_nested_name): Likewise. (d_special_name): Likewise. (d_call_offset): Likewise. (d_function_type): Likewise. (d_array_type): Likewise. (d_pointer_to_member_type): Likewise. (d_template_param): Likewise. (d_template_args): Likewise. (d_template_arg): Likewise. (d_expr_primary): Likewise. (d_local_name): Likewise. (d_substitution): Likewise. (d_ctor_dtor_name): Use d_advance rather than d_next_char. * testsuite/test-demangle.c: Include sys/mman.h. (MAP_ANONYMOUS): Define. (protect_end): New. (main): Use protect_end. * testsuite/demangle-expected: Add testcases for overrunning the end of the string.
346 lines
7.6 KiB
C
346 lines
7.6 KiB
C
/* Demangler test program,
|
|
Copyright (C) 2002, 2003, 2004 Free Software Foundation, Inc.
|
|
Written by Zack Weinberg <zack@codesourcery.com
|
|
|
|
This file is part of GNU libiberty.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
*/
|
|
|
|
#ifdef HAVE_CONFIG_H
|
|
#include "config.h"
|
|
#endif
|
|
#include "ansidecl.h"
|
|
#include <stdio.h>
|
|
#include "libiberty.h"
|
|
#include "demangle.h"
|
|
#ifdef HAVE_STRING_H
|
|
#include <string.h>
|
|
#endif
|
|
#if HAVE_STDLIB_H
|
|
# include <stdlib.h>
|
|
#endif
|
|
|
|
struct line
|
|
{
|
|
size_t alloced;
|
|
char *data;
|
|
};
|
|
|
|
static unsigned int lineno;
|
|
|
|
/* Safely read a single line of arbitrary length from standard input. */
|
|
|
|
#define LINELEN 80
|
|
|
|
static void
|
|
getline(buf)
|
|
struct line *buf;
|
|
{
|
|
char *data = buf->data;
|
|
size_t alloc = buf->alloced;
|
|
size_t count = 0;
|
|
int c;
|
|
|
|
if (data == 0)
|
|
{
|
|
data = xmalloc (LINELEN);
|
|
alloc = LINELEN;
|
|
}
|
|
|
|
/* Skip comment lines. */
|
|
while ((c = getchar()) == '#')
|
|
{
|
|
while ((c = getchar()) != EOF && c != '\n');
|
|
lineno++;
|
|
}
|
|
|
|
/* c is the first character on the line, and it's not a comment
|
|
line: copy this line into the buffer and return. */
|
|
while (c != EOF && c != '\n')
|
|
{
|
|
if (count + 1 >= alloc)
|
|
{
|
|
alloc *= 2;
|
|
data = xrealloc (data, alloc);
|
|
}
|
|
data[count++] = c;
|
|
c = getchar();
|
|
}
|
|
lineno++;
|
|
data[count] = '\0';
|
|
|
|
buf->data = data;
|
|
buf->alloced = alloc;
|
|
}
|
|
|
|
/* If we have mmap() and mprotect(), copy the string S just before a
|
|
protected page, so that if the demangler runs over the end of the
|
|
string we'll get a fault, and return the address of the new string.
|
|
If no mmap, or it fails, or it looks too hard, just return S. */
|
|
|
|
#ifdef HAVE_SYS_MMAN_H
|
|
#include <sys/mman.h>
|
|
#endif
|
|
#if defined(MAP_ANON) && ! defined (MAP_ANONYMOUS)
|
|
#define MAP_ANONYMOUS MAP_ANON
|
|
#endif
|
|
|
|
static const char *
|
|
protect_end (const char * s)
|
|
{
|
|
#if defined(HAVE_MMAP) && defined (MAP_ANONYMOUS)
|
|
size_t pagesize = getpagesize();
|
|
static char * buf;
|
|
size_t s_len = strlen (s);
|
|
char * result;
|
|
|
|
/* Don't try if S is too long. */
|
|
if (s_len >= pagesize)
|
|
return s;
|
|
|
|
/* Allocate one page of allocated space followed by an unmapped
|
|
page. */
|
|
if (buf == NULL)
|
|
{
|
|
buf = mmap (NULL, pagesize * 2, PROT_READ | PROT_WRITE,
|
|
MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
|
|
if (! buf)
|
|
return s;
|
|
munmap (buf + pagesize, pagesize);
|
|
}
|
|
|
|
result = buf + (pagesize - s_len - 1);
|
|
memcpy (result, s, s_len + 1);
|
|
return result;
|
|
#else
|
|
return s;
|
|
#endif
|
|
}
|
|
|
|
static void
|
|
fail (lineno, opts, in, out, exp)
|
|
int lineno;
|
|
const char *opts;
|
|
const char *in;
|
|
const char *out;
|
|
const char *exp;
|
|
{
|
|
printf ("\
|
|
FAIL at line %d, options %s:\n\
|
|
in: %s\n\
|
|
out: %s\n\
|
|
exp: %s\n",
|
|
lineno, opts, in, out != NULL ? out : "(null)", exp);
|
|
}
|
|
|
|
/* The tester operates on a data file consisting of groups of lines:
|
|
options
|
|
input to be demangled
|
|
expected output
|
|
|
|
Supported options:
|
|
--format=<name> Sets the demangling style.
|
|
--no-params There are two lines of expected output; the first
|
|
is with DMGL_PARAMS, the second is without it.
|
|
--is-v3-ctor Calls is_gnu_v3_mangled_ctor on input; expected
|
|
output is an integer representing ctor_kind.
|
|
--is-v3-dtor Likewise, but for dtors.
|
|
--ret-postfix Passes the DMGL_RET_POSTFIX option
|
|
|
|
For compatibility, just in case it matters, the options line may be
|
|
empty, to mean --format=auto. If it doesn't start with --, then it
|
|
may contain only a format name.
|
|
*/
|
|
|
|
int
|
|
main(argc, argv)
|
|
int argc;
|
|
char **argv;
|
|
{
|
|
enum demangling_styles style = auto_demangling;
|
|
int no_params;
|
|
int is_v3_ctor;
|
|
int is_v3_dtor;
|
|
int ret_postfix;
|
|
struct line format;
|
|
struct line input;
|
|
struct line expect;
|
|
char *result;
|
|
int failures = 0;
|
|
int tests = 0;
|
|
|
|
if (argc > 1)
|
|
{
|
|
fprintf (stderr, "usage: %s < test-set\n", argv[0]);
|
|
return 2;
|
|
}
|
|
|
|
format.data = 0;
|
|
input.data = 0;
|
|
expect.data = 0;
|
|
|
|
for (;;)
|
|
{
|
|
const char *inp;
|
|
|
|
getline (&format);
|
|
if (feof (stdin))
|
|
break;
|
|
|
|
getline (&input);
|
|
getline (&expect);
|
|
|
|
inp = protect_end (input.data);
|
|
|
|
tests++;
|
|
|
|
no_params = 0;
|
|
ret_postfix = 0;
|
|
is_v3_ctor = 0;
|
|
is_v3_dtor = 0;
|
|
if (format.data[0] == '\0')
|
|
style = auto_demangling;
|
|
else if (format.data[0] != '-')
|
|
{
|
|
style = cplus_demangle_name_to_style (format.data);
|
|
if (style == unknown_demangling)
|
|
{
|
|
printf ("FAIL at line %d: unknown demangling style %s\n",
|
|
lineno, format.data);
|
|
failures++;
|
|
continue;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
char *p;
|
|
char *opt;
|
|
|
|
p = format.data;
|
|
while (*p != '\0')
|
|
{
|
|
char c;
|
|
|
|
opt = p;
|
|
p += strcspn (p, " \t=");
|
|
c = *p;
|
|
*p = '\0';
|
|
if (strcmp (opt, "--format") == 0 && c == '=')
|
|
{
|
|
char *fstyle;
|
|
|
|
*p = c;
|
|
++p;
|
|
fstyle = p;
|
|
p += strcspn (p, " \t");
|
|
c = *p;
|
|
*p = '\0';
|
|
style = cplus_demangle_name_to_style (fstyle);
|
|
if (style == unknown_demangling)
|
|
{
|
|
printf ("FAIL at line %d: unknown demangling style %s\n",
|
|
lineno, fstyle);
|
|
failures++;
|
|
continue;
|
|
}
|
|
}
|
|
else if (strcmp (opt, "--no-params") == 0)
|
|
no_params = 1;
|
|
else if (strcmp (opt, "--is-v3-ctor") == 0)
|
|
is_v3_ctor = 1;
|
|
else if (strcmp (opt, "--is-v3-dtor") == 0)
|
|
is_v3_dtor = 1;
|
|
else if (strcmp (opt, "--ret-postfix") == 0)
|
|
ret_postfix = 1;
|
|
else
|
|
{
|
|
printf ("FAIL at line %d: unrecognized option %s\n",
|
|
lineno, opt);
|
|
failures++;
|
|
continue;
|
|
}
|
|
*p = c;
|
|
p += strspn (p, " \t");
|
|
}
|
|
}
|
|
|
|
if (is_v3_ctor || is_v3_dtor)
|
|
{
|
|
char buf[20];
|
|
|
|
if (is_v3_ctor)
|
|
{
|
|
enum gnu_v3_ctor_kinds kc;
|
|
|
|
kc = is_gnu_v3_mangled_ctor (inp);
|
|
sprintf (buf, "%d", (int) kc);
|
|
}
|
|
else
|
|
{
|
|
enum gnu_v3_dtor_kinds kd;
|
|
|
|
kd = is_gnu_v3_mangled_dtor (inp);
|
|
sprintf (buf, "%d", (int) kd);
|
|
}
|
|
|
|
if (strcmp (buf, expect.data) != 0)
|
|
{
|
|
fail (lineno, format.data, input.data, buf, expect.data);
|
|
failures++;
|
|
}
|
|
|
|
continue;
|
|
}
|
|
|
|
cplus_demangle_set_style (style);
|
|
|
|
result = cplus_demangle (inp,
|
|
DMGL_PARAMS|DMGL_ANSI|DMGL_TYPES
|
|
|(ret_postfix ? DMGL_RET_POSTFIX : 0));
|
|
|
|
if (result
|
|
? strcmp (result, expect.data)
|
|
: strcmp (input.data, expect.data))
|
|
{
|
|
fail (lineno, format.data, input.data, result, expect.data);
|
|
failures++;
|
|
}
|
|
free (result);
|
|
|
|
if (no_params)
|
|
{
|
|
getline (&expect);
|
|
result = cplus_demangle (inp, DMGL_ANSI|DMGL_TYPES);
|
|
|
|
if (result
|
|
? strcmp (result, expect.data)
|
|
: strcmp (input.data, expect.data))
|
|
{
|
|
fail (lineno, format.data, input.data, result, expect.data);
|
|
failures++;
|
|
}
|
|
free (result);
|
|
}
|
|
}
|
|
|
|
free (format.data);
|
|
free (input.data);
|
|
free (expect.data);
|
|
|
|
printf ("%s: %d tests, %d failures\n", argv[0], tests, failures);
|
|
return failures ? 1 : 0;
|
|
}
|