binutils-gdb/libiberty
Pedro Alves c4be264168 PR other/61321 - demangler crash on casts in template parameters
The fix for bug 59195:

 [C++ demangler handles conversion operator incorrectly]
 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59195

unfortunately makes the demangler crash due to infinite recursion, in
case of casts in template parameters.

For example, with:

 template<int> struct A {};
 template <typename Y> void function_temp(A<sizeof ((Y)(999))>) {}
 template void function_temp<int>(A<sizeof (int)>);

The 'function_temp<int>' instantiation above mangles to:

  _Z13function_tempIiEv1AIXszcvT_Li999EEE

The demangler parses this as:

typed name
  template
    name 'function_temp'
    template argument list
      builtin type int
  function type
    builtin type void
    argument list
      template                          (*)
        name 'A'
        template argument list
          unary operator
            operator sizeof
            unary operator
              cast
                template parameter 0    (**)
              literal
                builtin type int
                name '999'

And after the fix for 59195, due to:

 static void
 d_print_cast (struct d_print_info *dpi, int options,
	       const struct demangle_component *dc)
 {
 ...
   /* For a cast operator, we need the template parameters from
      the enclosing template in scope for processing the type.  */
   if (dpi->current_template != NULL)
     {
       dpt.next = dpi->templates;
       dpi->templates = &dpt;
       dpt.template_decl = dpi->current_template;
     }

when printing the template argument list of A (what should be "<sizeof
(int)>"), the template parameter 0 (that is, "T_", the '**' above) now
refers to the first parameter of the the template argument list of the
'A' template (the '*' above), exactly what we were already trying to
print.  This leads to infinite recursion, and stack exaustion.  The
template parameter 0 should actually refer to the first parameter of
the 'function_temp' template.

Where it reads "for the cast operator" in the comment in d_print_cast
(above), it's really talking about a conversion operator, like:

  struct A { template <typename U> explicit operator U(); };

We don't want to inject the template parameters from the enclosing
template in scope when processing a cast _expression_, only when
handling a conversion operator.

The problem is that DEMANGLE_COMPONENT_CAST is currently ambiguous,
and means _both_ 'conversion operator' and 'cast expression'.

Fix this by adding a new DEMANGLE_COMPONENT_CONVERSION component type,
which does what DEMANGLE_COMPONENT_CAST does today, and making
DEMANGLE_COMPONENT_CAST just simply print its component subtree.

I think we could instead reuse DEMANGLE_COMPONENT_CAST and in
d_print_comp_inner still do:

 @@ -5001,9 +5013,9 @@ d_print_comp_inner (struct d_print_info *dpi, int options,
        d_print_comp (dpi, options, dc->u.s_extended_operator.name);
        return;

     case DEMANGLE_COMPONENT_CAST:
       d_append_string (dpi, "operator ");
 -     d_print_cast (dpi, options, dc);
 +     d_print_conversion (dpi, options, dc);
       return;

leaving the unary cast case below calling d_print_cast, but seems to
me that spliting the component types makes it easier to reason about
the code.

g++'s testsuite actually generates three symbols that crash the
demangler in the same way.  I've added those as tests in the demangler
testsuite as well.

And then this fixes PR other/61233 too, which happens to be a
demangler crash originally reported to GDB, at:
https://sourceware.org/bugzilla/show_bug.cgi?id=16957

Bootstrapped and regtested on x86_64 Fedora 20.

Also ran this through GDB's testsuite.  GDB will require a small
update to use DEMANGLE_COMPONENT_CONVERSION in one place it's using
DEMANGLE_COMPONENT_CAST in its sources.

libiberty/
2015-11-27  Pedro Alves  <palves@redhat.com>

        PR other/61321
        PR other/61233
        * demangle.h (enum demangle_component_type)
        <DEMANGLE_COMPONENT_CONVERSION>: New value.
        * cp-demangle.c (d_demangle_callback, d_make_comp): Handle
        DEMANGLE_COMPONENT_CONVERSION.
        (is_ctor_dtor_or_conversion): Handle DEMANGLE_COMPONENT_CONVERSION
        instead of DEMANGLE_COMPONENT_CAST.
        (d_operator_name): Return a DEMANGLE_COMPONENT_CONVERSION
        component if handling a conversion.
        (d_count_templates_scopes, d_print_comp_inner): Handle
        DEMANGLE_COMPONENT_CONVERSION.
        (d_print_comp_inner): Handle DEMANGLE_COMPONENT_CONVERSION instead
        of DEMANGLE_COMPONENT_CAST.
        (d_print_cast): Rename as ...
        (d_print_conversion): ... this.  Adjust comments.
        (d_print_cast): Rewrite - simply print the left subcomponent.
        * cp-demint.c (cplus_demangle_fill_component): Handle
        DEMANGLE_COMPONENT_CONVERSION.

        * testsuite/demangle-expected: Add tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231020 138bc75d-0d04-0410-961f-82ee72b054a4
2015-11-28 16:39:31 +00:00
..
config
testsuite PR other/61321 - demangler crash on casts in template parameters 2015-11-28 16:39:31 +00:00
_doprnt.c [PATCH] include * ansidecl.h (ANSI_PROTOTYPES, PTRCONST, LONG_DOUBLE, PARAMS) (VPARAMS, VA_START, VA_OPEN, VA_CLOSE, VA_FIXEDARG, CONST) (VOLATILE, SIGNED, PROTO, EXFUN, DEFUN, DEFUN_VOID, AND, DOTS) (NOARGS): Don't define. * libiberty.h (expandargv, writeargv): Don't use PARAMS. libiberty * _doprint.c (checkit): Use stdarg, not VA_* macros. * asprintf.c (asprintf): Use stdarg, not VA_* macros. * concat.c (concat_length, concat_copy, concat_copy2, concat) (reconcat): Use stdarg, not VA_* macros. * snprintf.c (snprintf): Use stdarg, not VA_* macros. * vasprintf.c (checkit): Use stdarg, not VA_* macros. * vsnprintf.c (checkit): Use stdarg, not VA_* macros. 2014-01-21 08:52:09 -07:00
.gitignore bfd/binutils/gas/gprof/ld/libiberty/opcodes: add .gitignore 2010-12-09 09:03:18 +00:00
aclocal.m4 merge from gcc 2011-12-20 19:02:08 +00:00
alloca.c
argv.c Replace malloc with xmalloc 2012-08-29 01:02:41 +00:00
asprintf.c [PATCH] include * ansidecl.h (ANSI_PROTOTYPES, PTRCONST, LONG_DOUBLE, PARAMS) (VPARAMS, VA_START, VA_OPEN, VA_CLOSE, VA_FIXEDARG, CONST) (VOLATILE, SIGNED, PROTO, EXFUN, DEFUN, DEFUN_VOID, AND, DOTS) (NOARGS): Don't define. * libiberty.h (expandargv, writeargv): Don't use PARAMS. libiberty * _doprint.c (checkit): Use stdarg, not VA_* macros. * asprintf.c (asprintf): Use stdarg, not VA_* macros. * concat.c (concat_length, concat_copy, concat_copy2, concat) (reconcat): Use stdarg, not VA_* macros. * snprintf.c (snprintf): Use stdarg, not VA_* macros. * vasprintf.c (checkit): Use stdarg, not VA_* macros. * vsnprintf.c (checkit): Use stdarg, not VA_* macros. 2014-01-21 08:52:09 -07:00
at-file.texi
atexit.c
basename.c
bcmp.c
bcopy.c
bsearch.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
bzero.c
calloc.c
ChangeLog PR other/61321 - demangler crash on casts in template parameters 2015-11-28 16:39:31 +00:00
ChangeLog.jit Sync libiberty from GCC 2014-11-17 03:30:13 +01:00
choose-temp.c Sync libiberty from GCC 2014-11-17 03:30:13 +01:00
clock.c
concat.c [PATCH] include * ansidecl.h (ANSI_PROTOTYPES, PTRCONST, LONG_DOUBLE, PARAMS) (VPARAMS, VA_START, VA_OPEN, VA_CLOSE, VA_FIXEDARG, CONST) (VOLATILE, SIGNED, PROTO, EXFUN, DEFUN, DEFUN_VOID, AND, DOTS) (NOARGS): Don't define. * libiberty.h (expandargv, writeargv): Don't use PARAMS. libiberty * _doprint.c (checkit): Use stdarg, not VA_* macros. * asprintf.c (asprintf): Use stdarg, not VA_* macros. * concat.c (concat_length, concat_copy, concat_copy2, concat) (reconcat): Use stdarg, not VA_* macros. * snprintf.c (snprintf): Use stdarg, not VA_* macros. * vasprintf.c (checkit): Use stdarg, not VA_* macros. * vsnprintf.c (checkit): Use stdarg, not VA_* macros. 2014-01-21 08:52:09 -07:00
config.h-vms merge from gcc 2009-09-15 15:21:58 +00:00
config.in Configury changes for obstack optimization 2015-11-09 15:21:50 +10:30
configure Configury changes for obstack optimization 2015-11-09 15:21:50 +10:30
configure.ac Configury changes for obstack optimization 2015-11-09 15:21:50 +10:30
configure.com 2009-09-01 Tristan Gingold <gingold@adacore.com> 2009-09-01 13:16:53 +00:00
copying-lib.texi merge from gcc 2012-06-29 12:10:05 +00:00
COPYING.LIB
copysign.c
cp-demangle.c PR other/61321 - demangler crash on casts in template parameters 2015-11-28 16:39:31 +00:00
cp-demangle.h Fix several crashes of C++ demangler on fuzzed input. 2015-11-28 16:39:29 +00:00
cp-demint.c PR other/61321 - demangler crash on casts in template parameters 2015-11-28 16:39:31 +00:00
cplus-dem.c Sync libiberty with upstream GCC. 2014-10-11 10:29:10 +01:00
crc32.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
d-demangle.c PR gdb/18669 libiberty demangle.test failure: strtod() on sparc-sun-solaris2.9 2015-08-11 09:14:12 +02:00
dwarfnames.c merge from gcc 2012-04-27 18:03:26 +00:00
dyn-string.c merge from gcc 2009-11-22 16:58:53 +00:00
fdmatch.c
ffs.c
fibheap.c merge from gcc 2009-05-29 03:01:15 +00:00
filename_cmp.c Sync libiberty from GCC 2014-11-17 03:30:13 +01:00
floatformat.c Sync libiberty from GCC, replaying updates to configure scripts 2015-06-24 21:43:02 +02:00
fnmatch.c
fnmatch.txh libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
fopen_unlocked.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
functions.texi Sync with gcc/libiberty. 2015-01-07 17:34:29 +00:00
gather-docs libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
getcwd.c
getopt1.c
getopt.c
getpagesize.c
getpwd.c
getruntime.c Avoid "enum conversion when passing argument 1 of 'getrusage' is invalid in C++" warning 2015-11-28 16:39:29 +00:00
gettimeofday.c
hashtab.c merge from gcc 2013-05-10 03:03:04 +00:00
hex.c merge from gcc 2007-01-31 20:25:23 +00:00
index.c
insque.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
lbasename.c merge from gcc 2011-01-03 21:05:58 +00:00
libiberty.texi merge from gcc 2013-03-17 21:25:53 +00:00
lrealpath.c
maint-tool PR sanitizer/56781 lto-plugin/ * Makefile.am (CFLAGS, LDFLAGS): Filter out -fsanitize=address. (liblto_plugin_la_LIBADD, liblto_plugin_la_LDFLAGS, liblto_plugin_la_DEPENDENCIES): Prefer ../libiberty/noasan/libiberty.a over ../libiberty/pic/libiberty.a if the former exists. * Makefile.in: Regenerated. libiberty/ * maint-tool: Also emit rule for noasan/ subdirectory. * configure.ac (NOASANFLAG): Set and substitute. * Makefile.in: Regenerated. (NOASANFLAG): Set. (all, $(TARGETLIB), mostlyclean): Handle noasan subdir like pic subdir. (stamp-noasandir): New goal. * configure: Regenerated. 2014-05-08 10:18:30 -06:00
make-relative-prefix.c * make-relative-prefix.c (make_relative_prefix_1): Avoid warning 2012-01-26 14:28:31 +00:00
make-temp-file.c Sync libiberty from GCC 2014-11-17 03:30:13 +01:00
Makefile.in libiberty TAGS 2015-11-28 16:39:31 +00:00
makefile.vms 2013-07-09 Tristan Gingold <gingold@adacore.com> 2013-07-09 07:44:25 +00:00
md5.c PR other/543413 2013-01-31 08:10:38 +00:00
memchr.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
memcmp.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
memcpy.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
memmem.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
memmove.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
mempcpy.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
memset.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
mkstemps.c libiberty/mkstemps.c: Include <time.h> if <sys/time.h> not available. 2015-05-08 10:15:28 -07:00
msdos.c
objalloc.c merge from gcc 2012-10-10 03:11:33 +00:00
obstack.c Silence obstack.c -Wc++compat warning 2015-11-09 15:18:47 +10:30
obstacks.texi Modify obstack.[hc] to avoid having to include other gnulib files 2015-11-09 15:18:35 +10:30
partition.c
pex-common.c Sync libiberty with upstream GCC. 2014-10-11 10:29:10 +01:00
pex-common.h Sync libiberty with upstream GCC. 2014-10-11 10:29:10 +01:00
pex-djgpp.c Sync libiberty with upstream GCC. 2014-10-11 10:29:10 +01:00
pex-msdos.c merge from gcc 2011-04-20 19:06:46 +00:00
pex-one.c
pex-unix.c Fix PR63758 by using the _NSGetEnviron() API on Darwin 2015-11-28 16:39:30 +00:00
pex-win32.c Sync libiberty with upstream GCC. 2014-10-11 10:29:10 +01:00
pexecute.c
pexecute.txh libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
physmem.c
putenv.c
random.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
README * README: Mention changes to Makefile.in and functions.texi. 2009-11-25 04:35:01 +00:00
regex.c * regex.c (bzero) [!_LIBC]: Cast the call to memcpy to (void). 2014-05-08 10:18:29 -06:00
rename.c
rindex.c
safe-ctype.c
setenv.c Fix PR63758 by using the _NSGetEnviron() API on Darwin 2015-11-28 16:39:30 +00:00
setproctitle.c merge from gcc 2011-10-29 01:06:33 +00:00
sha1.c merge from gcc 2013-02-07 04:43:49 +00:00
sigsetmask.c Fix gnu11 fallout on Solaris 10+ 2014-11-05 15:07:38 +01:00
simple-object-coff.c merge from gcc 2010-11-17 02:03:43 +00:00
simple-object-common.h merge from gcc 2013-01-07 20:28:44 +00:00
simple-object-elf.c Sync libiberty with upstream GCC. 2014-10-11 10:29:10 +01:00
simple-object-mach-o.c merge from gcc 2013-03-17 21:25:53 +00:00
simple-object-xcoff.c merge from gcc 2013-01-07 20:28:44 +00:00
simple-object.c 2014-04-01 Richard Biener <rguenther@suse.de> 2014-05-08 10:18:30 -06:00
simple-object.txh libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
snprintf.c [PATCH] include * ansidecl.h (ANSI_PROTOTYPES, PTRCONST, LONG_DOUBLE, PARAMS) (VPARAMS, VA_START, VA_OPEN, VA_CLOSE, VA_FIXEDARG, CONST) (VOLATILE, SIGNED, PROTO, EXFUN, DEFUN, DEFUN_VOID, AND, DOTS) (NOARGS): Don't define. * libiberty.h (expandargv, writeargv): Don't use PARAMS. libiberty * _doprint.c (checkit): Use stdarg, not VA_* macros. * asprintf.c (asprintf): Use stdarg, not VA_* macros. * concat.c (concat_length, concat_copy, concat_copy2, concat) (reconcat): Use stdarg, not VA_* macros. * snprintf.c (snprintf): Use stdarg, not VA_* macros. * vasprintf.c (checkit): Use stdarg, not VA_* macros. * vsnprintf.c (checkit): Use stdarg, not VA_* macros. 2014-01-21 08:52:09 -07:00
sort.c
spaces.c merge from gcc 2011-04-20 19:06:46 +00:00
splay-tree.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
stack-limit.c merge from gcc 2012-04-02 18:50:29 +00:00
stpcpy.c
stpncpy.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
strcasecmp.c
strchr.c
strdup.c
strerror.c strerror.c: Do not declare sys_nerr or sys_errlist if already macros 2015-01-19 16:29:07 +01:00
strncasecmp.c
strncmp.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
strndup.c
strnlen.c merge from gcc 2012-10-10 03:11:33 +00:00
strrchr.c
strsignal.c merge from gcc 2011-06-13 16:37:46 +00:00
strstr.c
strtod.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
strtol.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
strtoll.c Sync libiberty from GCC 2014-11-17 03:30:13 +01:00
strtoul.c
strtoull.c Sync libiberty from GCC 2014-11-17 03:30:13 +01:00
strverscmp.c
timeval-utils.c merge from gcc 2011-09-28 20:01:45 +00:00
tmpnam.c
unlink-if-ordinary.c
vasprintf.c Sync with gcc/libiberty. 2015-01-07 17:34:29 +00:00
vfork.c
vfprintf.c
vprintf-support.c Sync with gcc/libiberty. 2015-01-07 17:34:29 +00:00
vprintf-support.h Sync with gcc/libiberty. 2015-01-07 17:34:29 +00:00
vprintf.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
vsnprintf.c [PATCH] include * ansidecl.h (ANSI_PROTOTYPES, PTRCONST, LONG_DOUBLE, PARAMS) (VPARAMS, VA_START, VA_OPEN, VA_CLOSE, VA_FIXEDARG, CONST) (VOLATILE, SIGNED, PROTO, EXFUN, DEFUN, DEFUN_VOID, AND, DOTS) (NOARGS): Don't define. * libiberty.h (expandargv, writeargv): Don't use PARAMS. libiberty * _doprint.c (checkit): Use stdarg, not VA_* macros. * asprintf.c (asprintf): Use stdarg, not VA_* macros. * concat.c (concat_length, concat_copy, concat_copy2, concat) (reconcat): Use stdarg, not VA_* macros. * snprintf.c (snprintf): Use stdarg, not VA_* macros. * vasprintf.c (checkit): Use stdarg, not VA_* macros. * vsnprintf.c (checkit): Use stdarg, not VA_* macros. 2014-01-21 08:52:09 -07:00
vsprintf.c
waitpid.c
xasprintf.c Sync with gcc/libiberty. 2015-01-07 17:34:29 +00:00
xatexit.c
xexit.c
xmalloc.c Fix PR63758 by using the _NSGetEnviron() API on Darwin 2015-11-28 16:39:30 +00:00
xmemdup.c libiberty: documentation markup and order fixes. 2011-02-03 07:23:59 +00:00
xstrdup.c * xstrdup.c: Include <sys/types.h> after "config.h". 2008-10-08 16:53:29 +00:00
xstrerror.c
xstrndup.c
xvasprintf.c Sync with gcc/libiberty. 2015-01-07 17:34:29 +00:00

This directory contains the -liberty library of free software.
It is a collection of subroutines used by various GNU programs.
Current members include:

	getopt -- get options from command line
	obstack -- stacks of arbitrarily-sized objects
	strerror -- error message strings corresponding to errno
	strtol -- string-to-long conversion
	strtoul -- string-to-unsigned-long conversion

We expect many of the GNU subroutines that are floating around to
eventually arrive here.

The library must be configured from the top source directory.  Don't
try to run configure in this directory.  Follow the configuration
instructions in ../README.

Please report bugs to "gcc-bugs@gcc.gnu.org" and send fixes to
"gcc-patches@gcc.gnu.org".  Thank you.

ADDING A NEW FILE
=================

There are two sets of files:  Those that are "required" will be
included in the library for all configurations, while those
that are "optional" will be included in the library only if "needed."

To add a new required file, edit Makefile.in to add the source file
name to CFILES and the object file to REQUIRED_OFILES.

To add a new optional file, it must provide a single function, and the
name of the function must be the same as the name of the file.

    * Add the source file name to CFILES in Makefile.in and the object
      file to CONFIGURED_OFILES.

    * Add the function to name to the funcs shell variable in
      configure.ac.

    * Add the function to the AC_CHECK_FUNCS lists just after the
      setting of the funcs shell variable.  These AC_CHECK_FUNCS calls
      are never executed; they are there to make autoheader work
      better.

    * Consider the special cases of building libiberty; as of this
      writing, the special cases are newlib and VxWorks.  If a
      particular special case provides the function, you do not need
      to do anything.  If it does not provide the function, add the
      object file to LIBOBJS, and add the function name to the case
      controlling whether to define HAVE_func.

Finally, in the build directory of libiberty, configure with
"--enable-maintainer-mode", run "make maint-deps" to update
Makefile.in, and run 'make stamp-functions' to regenerate
functions.texi.

The optional file you've added (e.g. getcwd.c) should compile and work
on all hosts where it is needed.  It does not have to work or even
compile on hosts where it is not needed.

ADDING A NEW CONFIGURATION
==========================

On most hosts you should be able to use the scheme for automatically
figuring out which files are needed.  In that case, you probably
don't need a special Makefile stub for that configuration.

If the fully automatic scheme doesn't work, you may be able to get
by with defining EXTRA_OFILES in your Makefile stub.  This is
a list of object file names that should be treated as required
for this configuration - they will be included in libiberty.a,
regardless of whatever might be in the C library.