Home | History | Annotate | Line # | Download | only in gdb
cp-support.c revision 1.1.1.3
      1 /* Helper routines for C++ support in GDB.
      2    Copyright (C) 2002-2015 Free Software Foundation, Inc.
      3 
      4    Contributed by MontaVista Software.
      5 
      6    This file is part of GDB.
      7 
      8    This program is free software; you can redistribute it and/or modify
      9    it under the terms of the GNU General Public License as published by
     10    the Free Software Foundation; either version 3 of the License, or
     11    (at your option) any later version.
     12 
     13    This program is distributed in the hope that it will be useful,
     14    but WITHOUT ANY WARRANTY; without even the implied warranty of
     15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     16    GNU General Public License for more details.
     17 
     18    You should have received a copy of the GNU General Public License
     19    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
     20 
     21 #include "defs.h"
     22 #include "cp-support.h"
     23 #include "demangle.h"
     24 #include "gdbcmd.h"
     25 #include "dictionary.h"
     26 #include "objfiles.h"
     27 #include "frame.h"
     28 #include "symtab.h"
     29 #include "block.h"
     30 #include "complaints.h"
     31 #include "gdbtypes.h"
     32 #include "expression.h"
     33 #include "value.h"
     34 #include "cp-abi.h"
     35 #include <signal.h>
     36 
     37 #include "safe-ctype.h"
     38 
     39 #define d_left(dc) (dc)->u.s_binary.left
     40 #define d_right(dc) (dc)->u.s_binary.right
     41 
     42 /* Functions related to demangled name parsing.  */
     43 
     44 static unsigned int cp_find_first_component_aux (const char *name,
     45 						 int permissive);
     46 
     47 static void demangled_name_complaint (const char *name);
     48 
     49 /* Functions/variables related to overload resolution.  */
     50 
     51 static int sym_return_val_size = -1;
     52 static int sym_return_val_index;
     53 static struct symbol **sym_return_val;
     54 
     55 static void overload_list_add_symbol (struct symbol *sym,
     56 				      const char *oload_name);
     57 
     58 static void make_symbol_overload_list_using (const char *func_name,
     59 					     const char *the_namespace);
     60 
     61 static void make_symbol_overload_list_qualified (const char *func_name);
     62 
     63 /* The list of "maint cplus" commands.  */
     64 
     65 struct cmd_list_element *maint_cplus_cmd_list = NULL;
     66 
     67 /* The actual commands.  */
     68 
     69 static void maint_cplus_command (char *arg, int from_tty);
     70 static void first_component_command (char *arg, int from_tty);
     71 
     72 /* A list of typedefs which should not be substituted by replace_typedefs.  */
     73 static const char * const ignore_typedefs[] =
     74   {
     75     "std::istream", "std::iostream", "std::ostream", "std::string"
     76   };
     77 
     78 static void
     79   replace_typedefs (struct demangle_parse_info *info,
     80 		    struct demangle_component *ret_comp,
     81 		    canonicalization_ftype *finder,
     82 		    void *data);
     83 
     84 /* A convenience function to copy STRING into OBSTACK, returning a pointer
     85    to the newly allocated string and saving the number of bytes saved in LEN.
     86 
     87    It does not copy the terminating '\0' byte!  */
     88 
     89 static char *
     90 copy_string_to_obstack (struct obstack *obstack, const char *string,
     91 			long *len)
     92 {
     93   *len = strlen (string);
     94   return obstack_copy (obstack, string, *len);
     95 }
     96 
     97 /* A cleanup wrapper for cp_demangled_name_parse_free.  */
     98 
     99 static void
    100 do_demangled_name_parse_free_cleanup (void *data)
    101 {
    102   struct demangle_parse_info *info = (struct demangle_parse_info *) data;
    103 
    104   cp_demangled_name_parse_free (info);
    105 }
    106 
    107 /* Create a cleanup for C++ name parsing.  */
    108 
    109 struct cleanup *
    110 make_cleanup_cp_demangled_name_parse_free (struct demangle_parse_info *info)
    111 {
    112   return make_cleanup (do_demangled_name_parse_free_cleanup, info);
    113 }
    114 
    115 /* Return 1 if STRING is clearly already in canonical form.  This
    116    function is conservative; things which it does not recognize are
    117    assumed to be non-canonical, and the parser will sort them out
    118    afterwards.  This speeds up the critical path for alphanumeric
    119    identifiers.  */
    120 
    121 static int
    122 cp_already_canonical (const char *string)
    123 {
    124   /* Identifier start character [a-zA-Z_].  */
    125   if (!ISIDST (string[0]))
    126     return 0;
    127 
    128   /* These are the only two identifiers which canonicalize to other
    129      than themselves or an error: unsigned -> unsigned int and
    130      signed -> int.  */
    131   if (string[0] == 'u' && strcmp (&string[1], "nsigned") == 0)
    132     return 0;
    133   else if (string[0] == 's' && strcmp (&string[1], "igned") == 0)
    134     return 0;
    135 
    136   /* Identifier character [a-zA-Z0-9_].  */
    137   while (ISIDNUM (string[1]))
    138     string++;
    139 
    140   if (string[1] == '\0')
    141     return 1;
    142   else
    143     return 0;
    144 }
    145 
    146 /* Inspect the given RET_COMP for its type.  If it is a typedef,
    147    replace the node with the typedef's tree.
    148 
    149    Returns 1 if any typedef substitutions were made, 0 otherwise.  */
    150 
    151 static int
    152 inspect_type (struct demangle_parse_info *info,
    153 	      struct demangle_component *ret_comp,
    154 	      canonicalization_ftype *finder,
    155 	      void *data)
    156 {
    157   int i;
    158   char *name;
    159   struct symbol *sym;
    160 
    161   /* Copy the symbol's name from RET_COMP and look it up
    162      in the symbol table.  */
    163   name = (char *) alloca (ret_comp->u.s_name.len + 1);
    164   memcpy (name, ret_comp->u.s_name.s, ret_comp->u.s_name.len);
    165   name[ret_comp->u.s_name.len] = '\0';
    166 
    167   /* Ignore any typedefs that should not be substituted.  */
    168   for (i = 0; i < ARRAY_SIZE (ignore_typedefs); ++i)
    169     {
    170       if (strcmp (name, ignore_typedefs[i]) == 0)
    171 	return 0;
    172     }
    173 
    174   sym = NULL;
    175 
    176   TRY
    177     {
    178       sym = lookup_symbol (name, 0, VAR_DOMAIN, 0);
    179     }
    180   CATCH (except, RETURN_MASK_ALL)
    181     {
    182       return 0;
    183     }
    184   END_CATCH
    185 
    186   if (sym != NULL)
    187     {
    188       struct type *otype = SYMBOL_TYPE (sym);
    189 
    190       if (finder != NULL)
    191 	{
    192 	  const char *new_name = (*finder) (otype, data);
    193 
    194 	  if (new_name != NULL)
    195 	    {
    196 	      ret_comp->u.s_name.s = new_name;
    197 	      ret_comp->u.s_name.len = strlen (new_name);
    198 	      return 1;
    199 	    }
    200 
    201 	  return 0;
    202 	}
    203 
    204       /* If the type is a typedef or namespace alias, replace it.  */
    205       if (TYPE_CODE (otype) == TYPE_CODE_TYPEDEF
    206 	  || TYPE_CODE (otype) == TYPE_CODE_NAMESPACE)
    207 	{
    208 	  long len;
    209 	  int is_anon;
    210 	  struct type *type;
    211 	  struct demangle_parse_info *i;
    212 	  struct ui_file *buf;
    213 
    214 	  /* Get the real type of the typedef.  */
    215 	  type = check_typedef (otype);
    216 
    217 	  /* If the symbol is a namespace and its type name is no different
    218 	     than the name we looked up, this symbol is not a namespace
    219 	     alias and does not need to be substituted.  */
    220 	  if (TYPE_CODE (otype) == TYPE_CODE_NAMESPACE
    221 	      && strcmp (TYPE_NAME (type), name) == 0)
    222 	    return 0;
    223 
    224 	  is_anon = (TYPE_TAG_NAME (type) == NULL
    225 		     && (TYPE_CODE (type) == TYPE_CODE_ENUM
    226 			 || TYPE_CODE (type) == TYPE_CODE_STRUCT
    227 			 || TYPE_CODE (type) == TYPE_CODE_UNION));
    228 	  if (is_anon)
    229 	    {
    230 	      struct type *last = otype;
    231 
    232 	      /* Find the last typedef for the type.  */
    233 	      while (TYPE_TARGET_TYPE (last) != NULL
    234 		     && (TYPE_CODE (TYPE_TARGET_TYPE (last))
    235 			 == TYPE_CODE_TYPEDEF))
    236 		last = TYPE_TARGET_TYPE (last);
    237 
    238 	      /* If there is only one typedef for this anonymous type,
    239 		 do not substitute it.  */
    240 	      if (type == otype)
    241 		return 0;
    242 	      else
    243 		/* Use the last typedef seen as the type for this
    244 		   anonymous type.  */
    245 		type = last;
    246 	    }
    247 
    248 	  buf = mem_fileopen ();
    249 	  TRY
    250 	  {
    251 	    type_print (type, "", buf, -1);
    252 	  }
    253 
    254 	  /* If type_print threw an exception, there is little point
    255 	     in continuing, so just bow out gracefully.  */
    256 	  CATCH (except, RETURN_MASK_ERROR)
    257 	    {
    258 	      ui_file_delete (buf);
    259 	      return 0;
    260 	    }
    261 	  END_CATCH
    262 
    263 	  name = ui_file_obsavestring (buf, &info->obstack, &len);
    264 	  ui_file_delete (buf);
    265 
    266 	  /* Turn the result into a new tree.  Note that this
    267 	     tree will contain pointers into NAME, so NAME cannot
    268 	     be free'd until all typedef conversion is done and
    269 	     the final result is converted into a string.  */
    270 	  i = cp_demangled_name_to_comp (name, NULL);
    271 	  if (i != NULL)
    272 	    {
    273 	      /* Merge the two trees.  */
    274 	      cp_merge_demangle_parse_infos (info, ret_comp, i);
    275 
    276 	      /* Replace any newly introduced typedefs -- but not
    277 		 if the type is anonymous (that would lead to infinite
    278 		 looping).  */
    279 	      if (!is_anon)
    280 		replace_typedefs (info, ret_comp, finder, data);
    281 	    }
    282 	  else
    283 	    {
    284 	      /* This shouldn't happen unless the type printer has
    285 		 output something that the name parser cannot grok.
    286 		 Nonetheless, an ounce of prevention...
    287 
    288 		 Canonicalize the name again, and store it in the
    289 		 current node (RET_COMP).  */
    290 	      char *canon = cp_canonicalize_string_no_typedefs (name);
    291 
    292 	      if (canon != NULL)
    293 		{
    294 		  /* Copy the canonicalization into the obstack and
    295 		     free CANON.  */
    296 		  name = copy_string_to_obstack (&info->obstack, canon, &len);
    297 		  xfree (canon);
    298 		}
    299 
    300 	      ret_comp->u.s_name.s = name;
    301 	      ret_comp->u.s_name.len = len;
    302 	    }
    303 
    304 	  return 1;
    305 	}
    306     }
    307 
    308   return 0;
    309 }
    310 
    311 /* Replace any typedefs appearing in the qualified name
    312    (DEMANGLE_COMPONENT_QUAL_NAME) represented in RET_COMP for the name parse
    313    given in INFO.  */
    314 
    315 static void
    316 replace_typedefs_qualified_name (struct demangle_parse_info *info,
    317 				 struct demangle_component *ret_comp,
    318 				 canonicalization_ftype *finder,
    319 				 void *data)
    320 {
    321   long len;
    322   char *name;
    323   struct ui_file *buf = mem_fileopen ();
    324   struct demangle_component *comp = ret_comp;
    325 
    326   /* Walk each node of the qualified name, reconstructing the name of
    327      this element.  With every node, check for any typedef substitutions.
    328      If a substitution has occurred, replace the qualified name node
    329      with a DEMANGLE_COMPONENT_NAME node representing the new, typedef-
    330      substituted name.  */
    331   while (comp->type == DEMANGLE_COMPONENT_QUAL_NAME)
    332     {
    333       if (d_left (comp)->type == DEMANGLE_COMPONENT_NAME)
    334 	{
    335 	  struct demangle_component newobj;
    336 
    337 	  ui_file_write (buf, d_left (comp)->u.s_name.s,
    338 			 d_left (comp)->u.s_name.len);
    339 	  name = ui_file_obsavestring (buf, &info->obstack, &len);
    340 	  newobj.type = DEMANGLE_COMPONENT_NAME;
    341 	  newobj.u.s_name.s = name;
    342 	  newobj.u.s_name.len = len;
    343 	  if (inspect_type (info, &newobj, finder, data))
    344 	    {
    345 	      char *n, *s;
    346 	      long slen;
    347 
    348 	      /* A typedef was substituted in NEW.  Convert it to a
    349 		 string and replace the top DEMANGLE_COMPONENT_QUAL_NAME
    350 		 node.  */
    351 
    352 	      ui_file_rewind (buf);
    353 	      n = cp_comp_to_string (&newobj, 100);
    354 	      if (n == NULL)
    355 		{
    356 		  /* If something went astray, abort typedef substitutions.  */
    357 		  ui_file_delete (buf);
    358 		  return;
    359 		}
    360 
    361 	      s = copy_string_to_obstack (&info->obstack, n, &slen);
    362 	      xfree (n);
    363 
    364 	      d_left (ret_comp)->type = DEMANGLE_COMPONENT_NAME;
    365 	      d_left (ret_comp)->u.s_name.s = s;
    366 	      d_left (ret_comp)->u.s_name.len = slen;
    367 	      d_right (ret_comp) = d_right (comp);
    368 	      comp = ret_comp;
    369 	      continue;
    370 	    }
    371 	}
    372       else
    373 	{
    374 	  /* The current node is not a name, so simply replace any
    375 	     typedefs in it.  Then print it to the stream to continue
    376 	     checking for more typedefs in the tree.  */
    377 	  replace_typedefs (info, d_left (comp), finder, data);
    378 	  name = cp_comp_to_string (d_left (comp), 100);
    379 	  if (name == NULL)
    380 	    {
    381 	      /* If something went astray, abort typedef substitutions.  */
    382 	      ui_file_delete (buf);
    383 	      return;
    384 	    }
    385 	  fputs_unfiltered (name, buf);
    386 	  xfree (name);
    387 	}
    388 
    389       ui_file_write (buf, "::", 2);
    390       comp = d_right (comp);
    391     }
    392 
    393   /* If the next component is DEMANGLE_COMPONENT_NAME, save the qualified
    394      name assembled above and append the name given by COMP.  Then use this
    395      reassembled name to check for a typedef.  */
    396 
    397   if (comp->type == DEMANGLE_COMPONENT_NAME)
    398     {
    399       ui_file_write (buf, comp->u.s_name.s, comp->u.s_name.len);
    400       name = ui_file_obsavestring (buf, &info->obstack, &len);
    401 
    402       /* Replace the top (DEMANGLE_COMPONENT_QUAL_NAME) node
    403 	 with a DEMANGLE_COMPONENT_NAME node containing the whole
    404 	 name.  */
    405       ret_comp->type = DEMANGLE_COMPONENT_NAME;
    406       ret_comp->u.s_name.s = name;
    407       ret_comp->u.s_name.len = len;
    408       inspect_type (info, ret_comp, finder, data);
    409     }
    410   else
    411     replace_typedefs (info, comp, finder, data);
    412 
    413   ui_file_delete (buf);
    414 }
    415 
    416 
    417 /* A function to check const and volatile qualifiers for argument types.
    418 
    419    "Parameter declarations that differ only in the presence
    420    or absence of `const' and/or `volatile' are equivalent."
    421    C++ Standard N3290, clause 13.1.3 #4.  */
    422 
    423 static void
    424 check_cv_qualifiers (struct demangle_component *ret_comp)
    425 {
    426   while (d_left (ret_comp) != NULL
    427 	 && (d_left (ret_comp)->type == DEMANGLE_COMPONENT_CONST
    428 	     || d_left (ret_comp)->type == DEMANGLE_COMPONENT_VOLATILE))
    429     {
    430       d_left (ret_comp) = d_left (d_left (ret_comp));
    431     }
    432 }
    433 
    434 /* Walk the parse tree given by RET_COMP, replacing any typedefs with
    435    their basic types.  */
    436 
    437 static void
    438 replace_typedefs (struct demangle_parse_info *info,
    439 		  struct demangle_component *ret_comp,
    440 		  canonicalization_ftype *finder,
    441 		  void *data)
    442 {
    443   if (ret_comp)
    444     {
    445       if (finder != NULL
    446 	  && (ret_comp->type == DEMANGLE_COMPONENT_NAME
    447 	      || ret_comp->type == DEMANGLE_COMPONENT_QUAL_NAME
    448 	      || ret_comp->type == DEMANGLE_COMPONENT_TEMPLATE
    449 	      || ret_comp->type == DEMANGLE_COMPONENT_BUILTIN_TYPE))
    450 	{
    451 	  char *local_name = cp_comp_to_string (ret_comp, 10);
    452 
    453 	  if (local_name != NULL)
    454 	    {
    455 	      struct symbol *sym = NULL;
    456 
    457 	      sym = NULL;
    458 	      TRY
    459 		{
    460 		  sym = lookup_symbol (local_name, 0, VAR_DOMAIN, 0);
    461 		}
    462 	      CATCH (except, RETURN_MASK_ALL)
    463 		{
    464 		}
    465 	      END_CATCH
    466 
    467 	      xfree (local_name);
    468 
    469 	      if (sym != NULL)
    470 		{
    471 		  struct type *otype = SYMBOL_TYPE (sym);
    472 		  const char *new_name = (*finder) (otype, data);
    473 
    474 		  if (new_name != NULL)
    475 		    {
    476 		      ret_comp->type = DEMANGLE_COMPONENT_NAME;
    477 		      ret_comp->u.s_name.s = new_name;
    478 		      ret_comp->u.s_name.len = strlen (new_name);
    479 		      return;
    480 		    }
    481 		}
    482 	    }
    483 	}
    484 
    485       switch (ret_comp->type)
    486 	{
    487 	case DEMANGLE_COMPONENT_ARGLIST:
    488 	  check_cv_qualifiers (ret_comp);
    489 	  /* Fall through */
    490 
    491 	case DEMANGLE_COMPONENT_FUNCTION_TYPE:
    492 	case DEMANGLE_COMPONENT_TEMPLATE:
    493 	case DEMANGLE_COMPONENT_TEMPLATE_ARGLIST:
    494 	case DEMANGLE_COMPONENT_TYPED_NAME:
    495 	  replace_typedefs (info, d_left (ret_comp), finder, data);
    496 	  replace_typedefs (info, d_right (ret_comp), finder, data);
    497 	  break;
    498 
    499 	case DEMANGLE_COMPONENT_NAME:
    500 	  inspect_type (info, ret_comp, finder, data);
    501 	  break;
    502 
    503 	case DEMANGLE_COMPONENT_QUAL_NAME:
    504 	  replace_typedefs_qualified_name (info, ret_comp, finder, data);
    505 	  break;
    506 
    507 	case DEMANGLE_COMPONENT_LOCAL_NAME:
    508 	case DEMANGLE_COMPONENT_CTOR:
    509 	case DEMANGLE_COMPONENT_ARRAY_TYPE:
    510 	case DEMANGLE_COMPONENT_PTRMEM_TYPE:
    511 	  replace_typedefs (info, d_right (ret_comp), finder, data);
    512 	  break;
    513 
    514 	case DEMANGLE_COMPONENT_CONST:
    515 	case DEMANGLE_COMPONENT_RESTRICT:
    516 	case DEMANGLE_COMPONENT_VOLATILE:
    517 	case DEMANGLE_COMPONENT_VOLATILE_THIS:
    518 	case DEMANGLE_COMPONENT_CONST_THIS:
    519 	case DEMANGLE_COMPONENT_RESTRICT_THIS:
    520 	case DEMANGLE_COMPONENT_POINTER:
    521 	case DEMANGLE_COMPONENT_REFERENCE:
    522 	  replace_typedefs (info, d_left (ret_comp), finder, data);
    523 	  break;
    524 
    525 	default:
    526 	  break;
    527 	}
    528     }
    529 }
    530 
    531 /* Parse STRING and convert it to canonical form, resolving any typedefs.
    532    If parsing fails, or if STRING is already canonical, return NULL.
    533    Otherwise return the canonical form.  The return value is allocated via
    534    xmalloc.  If FINDER is not NULL, then type components are passed to
    535    FINDER to be looked up.  DATA is passed verbatim to FINDER.  */
    536 
    537 char *
    538 cp_canonicalize_string_full (const char *string,
    539 			     canonicalization_ftype *finder,
    540 			     void *data)
    541 {
    542   char *ret;
    543   unsigned int estimated_len;
    544   struct demangle_parse_info *info;
    545 
    546   ret = NULL;
    547   estimated_len = strlen (string) * 2;
    548   info = cp_demangled_name_to_comp (string, NULL);
    549   if (info != NULL)
    550     {
    551       /* Replace all the typedefs in the tree.  */
    552       replace_typedefs (info, info->tree, finder, data);
    553 
    554       /* Convert the tree back into a string.  */
    555       ret = cp_comp_to_string (info->tree, estimated_len);
    556       gdb_assert (ret != NULL);
    557 
    558       /* Free the parse information.  */
    559       cp_demangled_name_parse_free (info);
    560 
    561       /* Finally, compare the original string with the computed
    562 	 name, returning NULL if they are the same.  */
    563       if (strcmp (string, ret) == 0)
    564 	{
    565 	  xfree (ret);
    566 	  return NULL;
    567 	}
    568     }
    569 
    570   return ret;
    571 }
    572 
    573 /* Like cp_canonicalize_string_full, but always passes NULL for
    574    FINDER.  */
    575 
    576 char *
    577 cp_canonicalize_string_no_typedefs (const char *string)
    578 {
    579   return cp_canonicalize_string_full (string, NULL, NULL);
    580 }
    581 
    582 /* Parse STRING and convert it to canonical form.  If parsing fails,
    583    or if STRING is already canonical, return NULL.  Otherwise return
    584    the canonical form.  The return value is allocated via xmalloc.  */
    585 
    586 char *
    587 cp_canonicalize_string (const char *string)
    588 {
    589   struct demangle_parse_info *info;
    590   unsigned int estimated_len;
    591   char *ret;
    592 
    593   if (cp_already_canonical (string))
    594     return NULL;
    595 
    596   info = cp_demangled_name_to_comp (string, NULL);
    597   if (info == NULL)
    598     return NULL;
    599 
    600   estimated_len = strlen (string) * 2;
    601   ret = cp_comp_to_string (info->tree, estimated_len);
    602   cp_demangled_name_parse_free (info);
    603 
    604   if (ret == NULL)
    605     {
    606       warning (_("internal error: string \"%s\" failed to be canonicalized"),
    607 	       string);
    608       return NULL;
    609     }
    610 
    611   if (strcmp (string, ret) == 0)
    612     {
    613       xfree (ret);
    614       return NULL;
    615     }
    616 
    617   return ret;
    618 }
    619 
    620 /* Convert a mangled name to a demangle_component tree.  *MEMORY is
    621    set to the block of used memory that should be freed when finished
    622    with the tree.  DEMANGLED_P is set to the char * that should be
    623    freed when finished with the tree, or NULL if none was needed.
    624    OPTIONS will be passed to the demangler.  */
    625 
    626 static struct demangle_parse_info *
    627 mangled_name_to_comp (const char *mangled_name, int options,
    628 		      void **memory, char **demangled_p)
    629 {
    630   char *demangled_name;
    631   struct demangle_parse_info *info;
    632 
    633   /* If it looks like a v3 mangled name, then try to go directly
    634      to trees.  */
    635   if (mangled_name[0] == '_' && mangled_name[1] == 'Z')
    636     {
    637       struct demangle_component *ret;
    638 
    639       ret = cplus_demangle_v3_components (mangled_name,
    640 					  options, memory);
    641       if (ret)
    642 	{
    643 	  info = cp_new_demangle_parse_info ();
    644 	  info->tree = ret;
    645 	  *demangled_p = NULL;
    646 	  return info;
    647 	}
    648     }
    649 
    650   /* If it doesn't, or if that failed, then try to demangle the
    651      name.  */
    652   demangled_name = gdb_demangle (mangled_name, options);
    653   if (demangled_name == NULL)
    654    return NULL;
    655 
    656   /* If we could demangle the name, parse it to build the component
    657      tree.  */
    658   info = cp_demangled_name_to_comp (demangled_name, NULL);
    659 
    660   if (info == NULL)
    661     {
    662       xfree (demangled_name);
    663       return NULL;
    664     }
    665 
    666   *demangled_p = demangled_name;
    667   return info;
    668 }
    669 
    670 /* Return the name of the class containing method PHYSNAME.  */
    671 
    672 char *
    673 cp_class_name_from_physname (const char *physname)
    674 {
    675   void *storage = NULL;
    676   char *demangled_name = NULL, *ret;
    677   struct demangle_component *ret_comp, *prev_comp, *cur_comp;
    678   struct demangle_parse_info *info;
    679   int done;
    680 
    681   info = mangled_name_to_comp (physname, DMGL_ANSI,
    682 			       &storage, &demangled_name);
    683   if (info == NULL)
    684     return NULL;
    685 
    686   done = 0;
    687   ret_comp = info->tree;
    688 
    689   /* First strip off any qualifiers, if we have a function or
    690      method.  */
    691   while (!done)
    692     switch (ret_comp->type)
    693       {
    694       case DEMANGLE_COMPONENT_CONST:
    695       case DEMANGLE_COMPONENT_RESTRICT:
    696       case DEMANGLE_COMPONENT_VOLATILE:
    697       case DEMANGLE_COMPONENT_CONST_THIS:
    698       case DEMANGLE_COMPONENT_RESTRICT_THIS:
    699       case DEMANGLE_COMPONENT_VOLATILE_THIS:
    700       case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
    701         ret_comp = d_left (ret_comp);
    702         break;
    703       default:
    704 	done = 1;
    705 	break;
    706       }
    707 
    708   /* If what we have now is a function, discard the argument list.  */
    709   if (ret_comp->type == DEMANGLE_COMPONENT_TYPED_NAME)
    710     ret_comp = d_left (ret_comp);
    711 
    712   /* If what we have now is a template, strip off the template
    713      arguments.  The left subtree may be a qualified name.  */
    714   if (ret_comp->type == DEMANGLE_COMPONENT_TEMPLATE)
    715     ret_comp = d_left (ret_comp);
    716 
    717   /* What we have now should be a name, possibly qualified.
    718      Additional qualifiers could live in the left subtree or the right
    719      subtree.  Find the last piece.  */
    720   done = 0;
    721   prev_comp = NULL;
    722   cur_comp = ret_comp;
    723   while (!done)
    724     switch (cur_comp->type)
    725       {
    726       case DEMANGLE_COMPONENT_QUAL_NAME:
    727       case DEMANGLE_COMPONENT_LOCAL_NAME:
    728 	prev_comp = cur_comp;
    729         cur_comp = d_right (cur_comp);
    730         break;
    731       case DEMANGLE_COMPONENT_TEMPLATE:
    732       case DEMANGLE_COMPONENT_NAME:
    733       case DEMANGLE_COMPONENT_CTOR:
    734       case DEMANGLE_COMPONENT_DTOR:
    735       case DEMANGLE_COMPONENT_OPERATOR:
    736       case DEMANGLE_COMPONENT_EXTENDED_OPERATOR:
    737 	done = 1;
    738 	break;
    739       default:
    740 	done = 1;
    741 	cur_comp = NULL;
    742 	break;
    743       }
    744 
    745   ret = NULL;
    746   if (cur_comp != NULL && prev_comp != NULL)
    747     {
    748       /* We want to discard the rightmost child of PREV_COMP.  */
    749       *prev_comp = *d_left (prev_comp);
    750       /* The ten is completely arbitrary; we don't have a good
    751 	 estimate.  */
    752       ret = cp_comp_to_string (ret_comp, 10);
    753     }
    754 
    755   xfree (storage);
    756   xfree (demangled_name);
    757   cp_demangled_name_parse_free (info);
    758   return ret;
    759 }
    760 
    761 /* Return the child of COMP which is the basename of a method,
    762    variable, et cetera.  All scope qualifiers are discarded, but
    763    template arguments will be included.  The component tree may be
    764    modified.  */
    765 
    766 static struct demangle_component *
    767 unqualified_name_from_comp (struct demangle_component *comp)
    768 {
    769   struct demangle_component *ret_comp = comp, *last_template;
    770   int done;
    771 
    772   done = 0;
    773   last_template = NULL;
    774   while (!done)
    775     switch (ret_comp->type)
    776       {
    777       case DEMANGLE_COMPONENT_QUAL_NAME:
    778       case DEMANGLE_COMPONENT_LOCAL_NAME:
    779         ret_comp = d_right (ret_comp);
    780         break;
    781       case DEMANGLE_COMPONENT_TYPED_NAME:
    782         ret_comp = d_left (ret_comp);
    783         break;
    784       case DEMANGLE_COMPONENT_TEMPLATE:
    785 	gdb_assert (last_template == NULL);
    786 	last_template = ret_comp;
    787 	ret_comp = d_left (ret_comp);
    788 	break;
    789       case DEMANGLE_COMPONENT_CONST:
    790       case DEMANGLE_COMPONENT_RESTRICT:
    791       case DEMANGLE_COMPONENT_VOLATILE:
    792       case DEMANGLE_COMPONENT_CONST_THIS:
    793       case DEMANGLE_COMPONENT_RESTRICT_THIS:
    794       case DEMANGLE_COMPONENT_VOLATILE_THIS:
    795       case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
    796         ret_comp = d_left (ret_comp);
    797         break;
    798       case DEMANGLE_COMPONENT_NAME:
    799       case DEMANGLE_COMPONENT_CTOR:
    800       case DEMANGLE_COMPONENT_DTOR:
    801       case DEMANGLE_COMPONENT_OPERATOR:
    802       case DEMANGLE_COMPONENT_EXTENDED_OPERATOR:
    803 	done = 1;
    804 	break;
    805       default:
    806 	return NULL;
    807 	break;
    808       }
    809 
    810   if (last_template)
    811     {
    812       d_left (last_template) = ret_comp;
    813       return last_template;
    814     }
    815 
    816   return ret_comp;
    817 }
    818 
    819 /* Return the name of the method whose linkage name is PHYSNAME.  */
    820 
    821 char *
    822 method_name_from_physname (const char *physname)
    823 {
    824   void *storage = NULL;
    825   char *demangled_name = NULL, *ret;
    826   struct demangle_component *ret_comp;
    827   struct demangle_parse_info *info;
    828 
    829   info = mangled_name_to_comp (physname, DMGL_ANSI,
    830 			       &storage, &demangled_name);
    831   if (info == NULL)
    832     return NULL;
    833 
    834   ret_comp = unqualified_name_from_comp (info->tree);
    835 
    836   ret = NULL;
    837   if (ret_comp != NULL)
    838     /* The ten is completely arbitrary; we don't have a good
    839        estimate.  */
    840     ret = cp_comp_to_string (ret_comp, 10);
    841 
    842   xfree (storage);
    843   xfree (demangled_name);
    844   cp_demangled_name_parse_free (info);
    845   return ret;
    846 }
    847 
    848 /* If FULL_NAME is the demangled name of a C++ function (including an
    849    arg list, possibly including namespace/class qualifications),
    850    return a new string containing only the function name (without the
    851    arg list/class qualifications).  Otherwise, return NULL.  The
    852    caller is responsible for freeing the memory in question.  */
    853 
    854 char *
    855 cp_func_name (const char *full_name)
    856 {
    857   char *ret;
    858   struct demangle_component *ret_comp;
    859   struct demangle_parse_info *info;
    860 
    861   info = cp_demangled_name_to_comp (full_name, NULL);
    862   if (!info)
    863     return NULL;
    864 
    865   ret_comp = unqualified_name_from_comp (info->tree);
    866 
    867   ret = NULL;
    868   if (ret_comp != NULL)
    869     ret = cp_comp_to_string (ret_comp, 10);
    870 
    871   cp_demangled_name_parse_free (info);
    872   return ret;
    873 }
    874 
    875 /* DEMANGLED_NAME is the name of a function, including parameters and
    876    (optionally) a return type.  Return the name of the function without
    877    parameters or return type, or NULL if we can not parse the name.  */
    878 
    879 char *
    880 cp_remove_params (const char *demangled_name)
    881 {
    882   int done = 0;
    883   struct demangle_component *ret_comp;
    884   struct demangle_parse_info *info;
    885   char *ret = NULL;
    886 
    887   if (demangled_name == NULL)
    888     return NULL;
    889 
    890   info = cp_demangled_name_to_comp (demangled_name, NULL);
    891   if (info == NULL)
    892     return NULL;
    893 
    894   /* First strip off any qualifiers, if we have a function or method.  */
    895   ret_comp = info->tree;
    896   while (!done)
    897     switch (ret_comp->type)
    898       {
    899       case DEMANGLE_COMPONENT_CONST:
    900       case DEMANGLE_COMPONENT_RESTRICT:
    901       case DEMANGLE_COMPONENT_VOLATILE:
    902       case DEMANGLE_COMPONENT_CONST_THIS:
    903       case DEMANGLE_COMPONENT_RESTRICT_THIS:
    904       case DEMANGLE_COMPONENT_VOLATILE_THIS:
    905       case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL:
    906         ret_comp = d_left (ret_comp);
    907         break;
    908       default:
    909 	done = 1;
    910 	break;
    911       }
    912 
    913   /* What we have now should be a function.  Return its name.  */
    914   if (ret_comp->type == DEMANGLE_COMPONENT_TYPED_NAME)
    915     ret = cp_comp_to_string (d_left (ret_comp), 10);
    916 
    917   cp_demangled_name_parse_free (info);
    918   return ret;
    919 }
    920 
    921 /* Here are some random pieces of trivia to keep in mind while trying
    922    to take apart demangled names:
    923 
    924    - Names can contain function arguments or templates, so the process
    925      has to be, to some extent recursive: maybe keep track of your
    926      depth based on encountering <> and ().
    927 
    928    - Parentheses don't just have to happen at the end of a name: they
    929      can occur even if the name in question isn't a function, because
    930      a template argument might be a type that's a function.
    931 
    932    - Conversely, even if you're trying to deal with a function, its
    933      demangled name might not end with ')': it could be a const or
    934      volatile class method, in which case it ends with "const" or
    935      "volatile".
    936 
    937    - Parentheses are also used in anonymous namespaces: a variable
    938      'foo' in an anonymous namespace gets demangled as "(anonymous
    939      namespace)::foo".
    940 
    941    - And operator names can contain parentheses or angle brackets.  */
    942 
    943 /* FIXME: carlton/2003-03-13: We have several functions here with
    944    overlapping functionality; can we combine them?  Also, do they
    945    handle all the above considerations correctly?  */
    946 
    947 
    948 /* This returns the length of first component of NAME, which should be
    949    the demangled name of a C++ variable/function/method/etc.
    950    Specifically, it returns the index of the first colon forming the
    951    boundary of the first component: so, given 'A::foo' or 'A::B::foo'
    952    it returns the 1, and given 'foo', it returns 0.  */
    953 
    954 /* The character in NAME indexed by the return value is guaranteed to
    955    always be either ':' or '\0'.  */
    956 
    957 /* NOTE: carlton/2003-03-13: This function is currently only intended
    958    for internal use: it's probably not entirely safe when called on
    959    user-generated input, because some of the 'index += 2' lines in
    960    cp_find_first_component_aux might go past the end of malformed
    961    input.  */
    962 
    963 unsigned int
    964 cp_find_first_component (const char *name)
    965 {
    966   return cp_find_first_component_aux (name, 0);
    967 }
    968 
    969 /* Helper function for cp_find_first_component.  Like that function,
    970    it returns the length of the first component of NAME, but to make
    971    the recursion easier, it also stops if it reaches an unexpected ')'
    972    or '>' if the value of PERMISSIVE is nonzero.  */
    973 
    974 /* Let's optimize away calls to strlen("operator").  */
    975 
    976 #define LENGTH_OF_OPERATOR 8
    977 
    978 static unsigned int
    979 cp_find_first_component_aux (const char *name, int permissive)
    980 {
    981   unsigned int index = 0;
    982   /* Operator names can show up in unexpected places.  Since these can
    983      contain parentheses or angle brackets, they can screw up the
    984      recursion.  But not every string 'operator' is part of an
    985      operater name: e.g. you could have a variable 'cooperator'.  So
    986      this variable tells us whether or not we should treat the string
    987      'operator' as starting an operator.  */
    988   int operator_possible = 1;
    989 
    990   for (;; ++index)
    991     {
    992       switch (name[index])
    993 	{
    994 	case '<':
    995 	  /* Template; eat it up.  The calls to cp_first_component
    996 	     should only return (I hope!) when they reach the '>'
    997 	     terminating the component or a '::' between two
    998 	     components.  (Hence the '+ 2'.)  */
    999 	  index += 1;
   1000 	  for (index += cp_find_first_component_aux (name + index, 1);
   1001 	       name[index] != '>';
   1002 	       index += cp_find_first_component_aux (name + index, 1))
   1003 	    {
   1004 	      if (name[index] != ':')
   1005 		{
   1006 		  demangled_name_complaint (name);
   1007 		  return strlen (name);
   1008 		}
   1009 	      index += 2;
   1010 	    }
   1011 	  operator_possible = 1;
   1012 	  break;
   1013 	case '(':
   1014 	  /* Similar comment as to '<'.  */
   1015 	  index += 1;
   1016 	  for (index += cp_find_first_component_aux (name + index, 1);
   1017 	       name[index] != ')';
   1018 	       index += cp_find_first_component_aux (name + index, 1))
   1019 	    {
   1020 	      if (name[index] != ':')
   1021 		{
   1022 		  demangled_name_complaint (name);
   1023 		  return strlen (name);
   1024 		}
   1025 	      index += 2;
   1026 	    }
   1027 	  operator_possible = 1;
   1028 	  break;
   1029 	case '>':
   1030 	case ')':
   1031 	  if (permissive)
   1032 	    return index;
   1033 	  else
   1034 	    {
   1035 	      demangled_name_complaint (name);
   1036 	      return strlen (name);
   1037 	    }
   1038 	case '\0':
   1039 	case ':':
   1040 	  return index;
   1041 	case 'o':
   1042 	  /* Operator names can screw up the recursion.  */
   1043 	  if (operator_possible
   1044 	      && strncmp (name + index, "operator",
   1045 			  LENGTH_OF_OPERATOR) == 0)
   1046 	    {
   1047 	      index += LENGTH_OF_OPERATOR;
   1048 	      while (ISSPACE(name[index]))
   1049 		++index;
   1050 	      switch (name[index])
   1051 		{
   1052 		  /* Skip over one less than the appropriate number of
   1053 		     characters: the for loop will skip over the last
   1054 		     one.  */
   1055 		case '<':
   1056 		  if (name[index + 1] == '<')
   1057 		    index += 1;
   1058 		  else
   1059 		    index += 0;
   1060 		  break;
   1061 		case '>':
   1062 		case '-':
   1063 		  if (name[index + 1] == '>')
   1064 		    index += 1;
   1065 		  else
   1066 		    index += 0;
   1067 		  break;
   1068 		case '(':
   1069 		  index += 1;
   1070 		  break;
   1071 		default:
   1072 		  index += 0;
   1073 		  break;
   1074 		}
   1075 	    }
   1076 	  operator_possible = 0;
   1077 	  break;
   1078 	case ' ':
   1079 	case ',':
   1080 	case '.':
   1081 	case '&':
   1082 	case '*':
   1083 	  /* NOTE: carlton/2003-04-18: I'm not sure what the precise
   1084 	     set of relevant characters are here: it's necessary to
   1085 	     include any character that can show up before 'operator'
   1086 	     in a demangled name, and it's safe to include any
   1087 	     character that can't be part of an identifier's name.  */
   1088 	  operator_possible = 1;
   1089 	  break;
   1090 	default:
   1091 	  operator_possible = 0;
   1092 	  break;
   1093 	}
   1094     }
   1095 }
   1096 
   1097 /* Complain about a demangled name that we don't know how to parse.
   1098    NAME is the demangled name in question.  */
   1099 
   1100 static void
   1101 demangled_name_complaint (const char *name)
   1102 {
   1103   complaint (&symfile_complaints,
   1104 	     "unexpected demangled name '%s'", name);
   1105 }
   1106 
   1107 /* If NAME is the fully-qualified name of a C++
   1108    function/variable/method/etc., this returns the length of its
   1109    entire prefix: all of the namespaces and classes that make up its
   1110    name.  Given 'A::foo', it returns 1, given 'A::B::foo', it returns
   1111    4, given 'foo', it returns 0.  */
   1112 
   1113 unsigned int
   1114 cp_entire_prefix_len (const char *name)
   1115 {
   1116   unsigned int current_len = cp_find_first_component (name);
   1117   unsigned int previous_len = 0;
   1118 
   1119   while (name[current_len] != '\0')
   1120     {
   1121       gdb_assert (name[current_len] == ':');
   1122       previous_len = current_len;
   1123       /* Skip the '::'.  */
   1124       current_len += 2;
   1125       current_len += cp_find_first_component (name + current_len);
   1126     }
   1127 
   1128   return previous_len;
   1129 }
   1130 
   1131 /* Overload resolution functions.  */
   1132 
   1133 /* Test to see if SYM is a symbol that we haven't seen corresponding
   1134    to a function named OLOAD_NAME.  If so, add it to the current
   1135    completion list.  */
   1136 
   1137 static void
   1138 overload_list_add_symbol (struct symbol *sym,
   1139 			  const char *oload_name)
   1140 {
   1141   int newsize;
   1142   int i;
   1143   char *sym_name;
   1144 
   1145   /* If there is no type information, we can't do anything, so
   1146      skip.  */
   1147   if (SYMBOL_TYPE (sym) == NULL)
   1148     return;
   1149 
   1150   /* skip any symbols that we've already considered.  */
   1151   for (i = 0; i < sym_return_val_index; ++i)
   1152     if (strcmp (SYMBOL_LINKAGE_NAME (sym),
   1153 		SYMBOL_LINKAGE_NAME (sym_return_val[i])) == 0)
   1154       return;
   1155 
   1156   /* Get the demangled name without parameters */
   1157   sym_name = cp_remove_params (SYMBOL_NATURAL_NAME (sym));
   1158   if (!sym_name)
   1159     return;
   1160 
   1161   /* skip symbols that cannot match */
   1162   if (strcmp (sym_name, oload_name) != 0)
   1163     {
   1164       xfree (sym_name);
   1165       return;
   1166     }
   1167 
   1168   xfree (sym_name);
   1169 
   1170   /* We have a match for an overload instance, so add SYM to the
   1171      current list of overload instances */
   1172   if (sym_return_val_index + 3 > sym_return_val_size)
   1173     {
   1174       newsize = (sym_return_val_size *= 2) * sizeof (struct symbol *);
   1175       sym_return_val = (struct symbol **)
   1176 	xrealloc ((char *) sym_return_val, newsize);
   1177     }
   1178   sym_return_val[sym_return_val_index++] = sym;
   1179   sym_return_val[sym_return_val_index] = NULL;
   1180 }
   1181 
   1182 /* Return a null-terminated list of pointers to function symbols that
   1183    are named FUNC_NAME and are visible within NAMESPACE.  */
   1184 
   1185 struct symbol **
   1186 make_symbol_overload_list (const char *func_name,
   1187 			   const char *the_namespace)
   1188 {
   1189   struct cleanup *old_cleanups;
   1190   const char *name;
   1191 
   1192   sym_return_val_size = 100;
   1193   sym_return_val_index = 0;
   1194   sym_return_val = xmalloc ((sym_return_val_size + 1) *
   1195 			    sizeof (struct symbol *));
   1196   sym_return_val[0] = NULL;
   1197 
   1198   old_cleanups = make_cleanup (xfree, sym_return_val);
   1199 
   1200   make_symbol_overload_list_using (func_name, the_namespace);
   1201 
   1202   if (the_namespace[0] == '\0')
   1203     name = func_name;
   1204   else
   1205     {
   1206       char *concatenated_name
   1207 	= alloca (strlen (the_namespace) + 2 + strlen (func_name) + 1);
   1208       strcpy (concatenated_name, the_namespace);
   1209       strcat (concatenated_name, "::");
   1210       strcat (concatenated_name, func_name);
   1211       name = concatenated_name;
   1212     }
   1213 
   1214   make_symbol_overload_list_qualified (name);
   1215 
   1216   discard_cleanups (old_cleanups);
   1217 
   1218   return sym_return_val;
   1219 }
   1220 
   1221 /* Add all symbols with a name matching NAME in BLOCK to the overload
   1222    list.  */
   1223 
   1224 static void
   1225 make_symbol_overload_list_block (const char *name,
   1226                                  const struct block *block)
   1227 {
   1228   struct block_iterator iter;
   1229   struct symbol *sym;
   1230 
   1231   ALL_BLOCK_SYMBOLS_WITH_NAME (block, name, iter, sym)
   1232     overload_list_add_symbol (sym, name);
   1233 }
   1234 
   1235 /* Adds the function FUNC_NAME from NAMESPACE to the overload set.  */
   1236 
   1237 static void
   1238 make_symbol_overload_list_namespace (const char *func_name,
   1239                                      const char *the_namespace)
   1240 {
   1241   const char *name;
   1242   const struct block *block = NULL;
   1243 
   1244   if (the_namespace[0] == '\0')
   1245     name = func_name;
   1246   else
   1247     {
   1248       char *concatenated_name
   1249 	= alloca (strlen (the_namespace) + 2 + strlen (func_name) + 1);
   1250 
   1251       strcpy (concatenated_name, the_namespace);
   1252       strcat (concatenated_name, "::");
   1253       strcat (concatenated_name, func_name);
   1254       name = concatenated_name;
   1255     }
   1256 
   1257   /* Look in the static block.  */
   1258   block = block_static_block (get_selected_block (0));
   1259   if (block)
   1260     make_symbol_overload_list_block (name, block);
   1261 
   1262   /* Look in the global block.  */
   1263   block = block_global_block (block);
   1264   if (block)
   1265     make_symbol_overload_list_block (name, block);
   1266 
   1267 }
   1268 
   1269 /* Search the namespace of the given type and namespace of and public
   1270    base types.  */
   1271 
   1272 static void
   1273 make_symbol_overload_list_adl_namespace (struct type *type,
   1274                                          const char *func_name)
   1275 {
   1276   char *the_namespace;
   1277   const char *type_name;
   1278   int i, prefix_len;
   1279 
   1280   while (TYPE_CODE (type) == TYPE_CODE_PTR
   1281 	 || TYPE_CODE (type) == TYPE_CODE_REF
   1282          || TYPE_CODE (type) == TYPE_CODE_ARRAY
   1283          || TYPE_CODE (type) == TYPE_CODE_TYPEDEF)
   1284     {
   1285       if (TYPE_CODE (type) == TYPE_CODE_TYPEDEF)
   1286 	type = check_typedef(type);
   1287       else
   1288 	type = TYPE_TARGET_TYPE (type);
   1289     }
   1290 
   1291   type_name = TYPE_NAME (type);
   1292 
   1293   if (type_name == NULL)
   1294     return;
   1295 
   1296   prefix_len = cp_entire_prefix_len (type_name);
   1297 
   1298   if (prefix_len != 0)
   1299     {
   1300       the_namespace = alloca (prefix_len + 1);
   1301       strncpy (the_namespace, type_name, prefix_len);
   1302       the_namespace[prefix_len] = '\0';
   1303 
   1304       make_symbol_overload_list_namespace (func_name, the_namespace);
   1305     }
   1306 
   1307   /* Check public base type */
   1308   if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
   1309     for (i = 0; i < TYPE_N_BASECLASSES (type); i++)
   1310       {
   1311 	if (BASETYPE_VIA_PUBLIC (type, i))
   1312 	  make_symbol_overload_list_adl_namespace (TYPE_BASECLASS (type,
   1313 								   i),
   1314 						   func_name);
   1315       }
   1316 }
   1317 
   1318 /* Adds the overload list overload candidates for FUNC_NAME found
   1319    through argument dependent lookup.  */
   1320 
   1321 struct symbol **
   1322 make_symbol_overload_list_adl (struct type **arg_types, int nargs,
   1323                                const char *func_name)
   1324 {
   1325   int i;
   1326 
   1327   gdb_assert (sym_return_val_size != -1);
   1328 
   1329   for (i = 1; i <= nargs; i++)
   1330     make_symbol_overload_list_adl_namespace (arg_types[i - 1],
   1331 					     func_name);
   1332 
   1333   return sym_return_val;
   1334 }
   1335 
   1336 /* Used for cleanups to reset the "searched" flag in case of an
   1337    error.  */
   1338 
   1339 static void
   1340 reset_directive_searched (void *data)
   1341 {
   1342   struct using_direct *direct = data;
   1343   direct->searched = 0;
   1344 }
   1345 
   1346 /* This applies the using directives to add namespaces to search in,
   1347    and then searches for overloads in all of those namespaces.  It
   1348    adds the symbols found to sym_return_val.  Arguments are as in
   1349    make_symbol_overload_list.  */
   1350 
   1351 static void
   1352 make_symbol_overload_list_using (const char *func_name,
   1353 				 const char *the_namespace)
   1354 {
   1355   struct using_direct *current;
   1356   const struct block *block;
   1357 
   1358   /* First, go through the using directives.  If any of them apply,
   1359      look in the appropriate namespaces for new functions to match
   1360      on.  */
   1361 
   1362   for (block = get_selected_block (0);
   1363        block != NULL;
   1364        block = BLOCK_SUPERBLOCK (block))
   1365     for (current = block_using (block);
   1366 	current != NULL;
   1367 	current = current->next)
   1368       {
   1369 	/* Prevent recursive calls.  */
   1370 	if (current->searched)
   1371 	  continue;
   1372 
   1373         /* If this is a namespace alias or imported declaration ignore
   1374 	   it.  */
   1375         if (current->alias != NULL || current->declaration != NULL)
   1376           continue;
   1377 
   1378         if (strcmp (the_namespace, current->import_dest) == 0)
   1379 	  {
   1380 	    /* Mark this import as searched so that the recursive call
   1381 	       does not search it again.  */
   1382 	    struct cleanup *old_chain;
   1383 	    current->searched = 1;
   1384 	    old_chain = make_cleanup (reset_directive_searched,
   1385 				      current);
   1386 
   1387 	    make_symbol_overload_list_using (func_name,
   1388 					     current->import_src);
   1389 
   1390 	    current->searched = 0;
   1391 	    discard_cleanups (old_chain);
   1392 	  }
   1393       }
   1394 
   1395   /* Now, add names for this namespace.  */
   1396   make_symbol_overload_list_namespace (func_name, the_namespace);
   1397 }
   1398 
   1399 /* This does the bulk of the work of finding overloaded symbols.
   1400    FUNC_NAME is the name of the overloaded function we're looking for
   1401    (possibly including namespace info).  */
   1402 
   1403 static void
   1404 make_symbol_overload_list_qualified (const char *func_name)
   1405 {
   1406   struct compunit_symtab *cust;
   1407   struct objfile *objfile;
   1408   const struct block *b, *surrounding_static_block = 0;
   1409 
   1410   /* Look through the partial symtabs for all symbols which begin by
   1411      matching FUNC_NAME.  Make sure we read that symbol table in.  */
   1412 
   1413   ALL_OBJFILES (objfile)
   1414   {
   1415     if (objfile->sf)
   1416       objfile->sf->qf->expand_symtabs_for_function (objfile, func_name);
   1417   }
   1418 
   1419   /* Search upwards from currently selected frame (so that we can
   1420      complete on local vars.  */
   1421 
   1422   for (b = get_selected_block (0); b != NULL; b = BLOCK_SUPERBLOCK (b))
   1423     make_symbol_overload_list_block (func_name, b);
   1424 
   1425   surrounding_static_block = block_static_block (get_selected_block (0));
   1426 
   1427   /* Go through the symtabs and check the externs and statics for
   1428      symbols which match.  */
   1429 
   1430   ALL_COMPUNITS (objfile, cust)
   1431   {
   1432     QUIT;
   1433     b = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), GLOBAL_BLOCK);
   1434     make_symbol_overload_list_block (func_name, b);
   1435   }
   1436 
   1437   ALL_COMPUNITS (objfile, cust)
   1438   {
   1439     QUIT;
   1440     b = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
   1441     /* Don't do this block twice.  */
   1442     if (b == surrounding_static_block)
   1443       continue;
   1444     make_symbol_overload_list_block (func_name, b);
   1445   }
   1446 }
   1447 
   1448 /* Lookup the rtti type for a class name.  */
   1449 
   1450 struct type *
   1451 cp_lookup_rtti_type (const char *name, struct block *block)
   1452 {
   1453   struct symbol * rtti_sym;
   1454   struct type * rtti_type;
   1455 
   1456   /* Use VAR_DOMAIN here as NAME may be a typedef.  PR 18141, 18417.
   1457      Classes "live" in both STRUCT_DOMAIN and VAR_DOMAIN.  */
   1458   rtti_sym = lookup_symbol (name, block, VAR_DOMAIN, NULL);
   1459 
   1460   if (rtti_sym == NULL)
   1461     {
   1462       warning (_("RTTI symbol not found for class '%s'"), name);
   1463       return NULL;
   1464     }
   1465 
   1466   if (SYMBOL_CLASS (rtti_sym) != LOC_TYPEDEF)
   1467     {
   1468       warning (_("RTTI symbol for class '%s' is not a type"), name);
   1469       return NULL;
   1470     }
   1471 
   1472   rtti_type = check_typedef (SYMBOL_TYPE (rtti_sym));
   1473 
   1474   switch (TYPE_CODE (rtti_type))
   1475     {
   1476     case TYPE_CODE_STRUCT:
   1477       break;
   1478     case TYPE_CODE_NAMESPACE:
   1479       /* chastain/2003-11-26: the symbol tables often contain fake
   1480 	 symbols for namespaces with the same name as the struct.
   1481 	 This warning is an indication of a bug in the lookup order
   1482 	 or a bug in the way that the symbol tables are populated.  */
   1483       warning (_("RTTI symbol for class '%s' is a namespace"), name);
   1484       return NULL;
   1485     default:
   1486       warning (_("RTTI symbol for class '%s' has bad type"), name);
   1487       return NULL;
   1488     }
   1489 
   1490   return rtti_type;
   1491 }
   1492 
   1493 #ifdef HAVE_WORKING_FORK
   1494 
   1495 /* If nonzero, attempt to catch crashes in the demangler and print
   1496    useful debugging information.  */
   1497 
   1498 static int catch_demangler_crashes = 1;
   1499 
   1500 /* Stack context and environment for demangler crash recovery.  */
   1501 
   1502 static SIGJMP_BUF gdb_demangle_jmp_buf;
   1503 
   1504 /* If nonzero, attempt to dump core from the signal handler.  */
   1505 
   1506 static int gdb_demangle_attempt_core_dump = 1;
   1507 
   1508 /* Signal handler for gdb_demangle.  */
   1509 
   1510 static void
   1511 gdb_demangle_signal_handler (int signo)
   1512 {
   1513   if (gdb_demangle_attempt_core_dump)
   1514     {
   1515       if (fork () == 0)
   1516 	dump_core ();
   1517 
   1518       gdb_demangle_attempt_core_dump = 0;
   1519     }
   1520 
   1521   SIGLONGJMP (gdb_demangle_jmp_buf, signo);
   1522 }
   1523 
   1524 #endif
   1525 
   1526 /* A wrapper for bfd_demangle.  */
   1527 
   1528 char *
   1529 gdb_demangle (const char *name, int options)
   1530 {
   1531   char *result = NULL;
   1532   int crash_signal = 0;
   1533 
   1534 #ifdef HAVE_WORKING_FORK
   1535 #if defined (HAVE_SIGACTION) && defined (SA_RESTART)
   1536   struct sigaction sa, old_sa;
   1537 #else
   1538   void (*ofunc) ();
   1539 #endif
   1540   static int core_dump_allowed = -1;
   1541 
   1542   if (core_dump_allowed == -1)
   1543     {
   1544       core_dump_allowed = can_dump_core (LIMIT_CUR);
   1545 
   1546       if (!core_dump_allowed)
   1547 	gdb_demangle_attempt_core_dump = 0;
   1548     }
   1549 
   1550   if (catch_demangler_crashes)
   1551     {
   1552 #if defined (HAVE_SIGACTION) && defined (SA_RESTART)
   1553       sa.sa_handler = gdb_demangle_signal_handler;
   1554       sigemptyset (&sa.sa_mask);
   1555 #ifdef HAVE_SIGALTSTACK
   1556       sa.sa_flags = SA_ONSTACK;
   1557 #else
   1558       sa.sa_flags = 0;
   1559 #endif
   1560       sigaction (SIGSEGV, &sa, &old_sa);
   1561 #else
   1562       ofunc = (void (*)()) signal (SIGSEGV, gdb_demangle_signal_handler);
   1563 #endif
   1564 
   1565       crash_signal = SIGSETJMP (gdb_demangle_jmp_buf);
   1566     }
   1567 #endif
   1568 
   1569   if (crash_signal == 0)
   1570     result = bfd_demangle (NULL, name, options);
   1571 
   1572 #ifdef HAVE_WORKING_FORK
   1573   if (catch_demangler_crashes)
   1574     {
   1575 #if defined (HAVE_SIGACTION) && defined (SA_RESTART)
   1576       sigaction (SIGSEGV, &old_sa, NULL);
   1577 #else
   1578       signal (SIGSEGV, ofunc);
   1579 #endif
   1580 
   1581       if (crash_signal != 0)
   1582 	{
   1583 	  static int error_reported = 0;
   1584 
   1585 	  if (!error_reported)
   1586 	    {
   1587 	      char *short_msg, *long_msg;
   1588 	      struct cleanup *back_to;
   1589 
   1590 	      short_msg = xstrprintf (_("unable to demangle '%s' "
   1591 				      "(demangler failed with signal %d)"),
   1592 				    name, crash_signal);
   1593 	      back_to = make_cleanup (xfree, short_msg);
   1594 
   1595 	      long_msg = xstrprintf ("%s:%d: %s: %s", __FILE__, __LINE__,
   1596 				    "demangler-warning", short_msg);
   1597 	      make_cleanup (xfree, long_msg);
   1598 
   1599 	      target_terminal_ours ();
   1600 	      begin_line ();
   1601 	      if (core_dump_allowed)
   1602 		fprintf_unfiltered (gdb_stderr,
   1603 				    _("%s\nAttempting to dump core.\n"),
   1604 				    long_msg);
   1605 	      else
   1606 		warn_cant_dump_core (long_msg);
   1607 
   1608 	      demangler_warning (__FILE__, __LINE__, "%s", short_msg);
   1609 
   1610 	      do_cleanups (back_to);
   1611 
   1612 	      error_reported = 1;
   1613 	    }
   1614 
   1615 	  result = NULL;
   1616 	}
   1617     }
   1618 #endif
   1619 
   1620   return result;
   1621 }
   1622 
   1623 /* Don't allow just "maintenance cplus".  */
   1624 
   1625 static  void
   1626 maint_cplus_command (char *arg, int from_tty)
   1627 {
   1628   printf_unfiltered (_("\"maintenance cplus\" must be followed "
   1629 		       "by the name of a command.\n"));
   1630   help_list (maint_cplus_cmd_list,
   1631 	     "maintenance cplus ",
   1632 	     all_commands, gdb_stdout);
   1633 }
   1634 
   1635 /* This is a front end for cp_find_first_component, for unit testing.
   1636    Be careful when using it: see the NOTE above
   1637    cp_find_first_component.  */
   1638 
   1639 static void
   1640 first_component_command (char *arg, int from_tty)
   1641 {
   1642   int len;
   1643   char *prefix;
   1644 
   1645   if (!arg)
   1646     return;
   1647 
   1648   len = cp_find_first_component (arg);
   1649   prefix = alloca (len + 1);
   1650 
   1651   memcpy (prefix, arg, len);
   1652   prefix[len] = '\0';
   1653 
   1654   printf_unfiltered ("%s\n", prefix);
   1655 }
   1656 
   1657 extern initialize_file_ftype _initialize_cp_support; /* -Wmissing-prototypes */
   1658 
   1659 
   1660 /* Implement "info vtbl".  */
   1661 
   1662 static void
   1663 info_vtbl_command (char *arg, int from_tty)
   1664 {
   1665   struct value *value;
   1666 
   1667   value = parse_and_eval (arg);
   1668   cplus_print_vtable (value);
   1669 }
   1670 
   1671 void
   1672 _initialize_cp_support (void)
   1673 {
   1674   add_prefix_cmd ("cplus", class_maintenance,
   1675 		  maint_cplus_command,
   1676 		  _("C++ maintenance commands."),
   1677 		  &maint_cplus_cmd_list,
   1678 		  "maintenance cplus ",
   1679 		  0, &maintenancelist);
   1680   add_alias_cmd ("cp", "cplus",
   1681 		 class_maintenance, 1,
   1682 		 &maintenancelist);
   1683 
   1684   add_cmd ("first_component",
   1685 	   class_maintenance,
   1686 	   first_component_command,
   1687 	   _("Print the first class/namespace component of NAME."),
   1688 	   &maint_cplus_cmd_list);
   1689 
   1690   add_info ("vtbl", info_vtbl_command,
   1691 	    _("Show the virtual function table for a C++ object.\n\
   1692 Usage: info vtbl EXPRESSION\n\
   1693 Evaluate EXPRESSION and display the virtual function table for the\n\
   1694 resulting object."));
   1695 
   1696 #ifdef HAVE_WORKING_FORK
   1697   add_setshow_boolean_cmd ("catch-demangler-crashes", class_maintenance,
   1698 			   &catch_demangler_crashes, _("\
   1699 Set whether to attempt to catch demangler crashes."), _("\
   1700 Show whether to attempt to catch demangler crashes."), _("\
   1701 If enabled GDB will attempt to catch demangler crashes and\n\
   1702 display the offending symbol."),
   1703 			   NULL,
   1704 			   NULL,
   1705 			   &maintenance_set_cmdlist,
   1706 			   &maintenance_show_cmdlist);
   1707 #endif
   1708 }
   1709