1 /* Helper routines for C++ support in GDB.
2 Copyright (C) 2002-2024 Free Software Foundation, Inc.
4 Contributed by MontaVista Software.
6 This file is part of GDB.
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.
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.
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/>. */
21 #include "cp-support.h"
24 #include "cli/cli-cmds.h"
25 #include "dictionary.h"
30 #include "complaints.h"
32 #include "expression.h"
35 #include "namespace.h"
37 #include "gdbsupport/gdb_setjmp.h"
38 #include "gdbsupport/gdb-safe-ctype.h"
39 #include "gdbsupport/selftest.h"
40 #include "gdbsupport/gdb-sigmask.h"
42 #include "event-top.h"
43 #include "run-on-main-thread.h"
44 #include "typeprint.h"
47 #define d_left(dc) (dc)->u.s_binary.left
48 #define d_right(dc) (dc)->u.s_binary.right
50 /* Functions related to demangled name parsing. */
52 static unsigned int cp_find_first_component_aux (const char *name
,
55 static void demangled_name_complaint (const char *name
);
57 /* Functions related to overload resolution. */
59 static void overload_list_add_symbol (struct symbol
*sym
,
60 const char *oload_name
,
61 std::vector
<symbol
*> *overload_list
);
63 static void add_symbol_overload_list_using
64 (const char *func_name
, const char *the_namespace
,
65 std::vector
<symbol
*> *overload_list
);
67 static void add_symbol_overload_list_qualified
68 (const char *func_name
,
69 std::vector
<symbol
*> *overload_list
);
71 /* The list of "maint cplus" commands. */
73 struct cmd_list_element
*maint_cplus_cmd_list
= NULL
;
76 replace_typedefs (struct demangle_parse_info
*info
,
77 struct demangle_component
*ret_comp
,
78 canonicalization_ftype
*finder
,
81 static struct demangle_component
*
82 gdb_cplus_demangle_v3_components (const char *mangled
,
83 int options
, void **mem
);
85 /* A convenience function to copy STRING into OBSTACK, returning a pointer
86 to the newly allocated string and saving the number of bytes saved in LEN.
88 It does not copy the terminating '\0' byte! */
91 copy_string_to_obstack (struct obstack
*obstack
, const char *string
,
94 *len
= strlen (string
);
95 return (char *) obstack_copy (obstack
, string
, *len
);
98 /* Return 1 if STRING is clearly already in canonical form. This
99 function is conservative; things which it does not recognize are
100 assumed to be non-canonical, and the parser will sort them out
101 afterwards. This speeds up the critical path for alphanumeric
105 cp_already_canonical (const char *string
)
107 /* Identifier start character [a-zA-Z_]. */
108 if (!ISIDST (string
[0]))
111 /* These are the only two identifiers which canonicalize to other
112 than themselves or an error: unsigned -> unsigned int and
114 if (string
[0] == 'u' && strcmp (&string
[1], "nsigned") == 0)
116 else if (string
[0] == 's' && strcmp (&string
[1], "igned") == 0)
119 /* Identifier character [a-zA-Z0-9_]. */
120 while (ISIDNUM (string
[1]))
123 if (string
[1] == '\0')
129 /* Inspect the given RET_COMP for its type. If it is a typedef,
130 replace the node with the typedef's tree.
132 Returns 1 if any typedef substitutions were made, 0 otherwise. */
135 inspect_type (struct demangle_parse_info
*info
,
136 struct demangle_component
*ret_comp
,
137 canonicalization_ftype
*finder
,
143 /* Copy the symbol's name from RET_COMP and look it up
144 in the symbol table. */
145 name
= (char *) alloca (ret_comp
->u
.s_name
.len
+ 1);
146 memcpy (name
, ret_comp
->u
.s_name
.s
, ret_comp
->u
.s_name
.len
);
147 name
[ret_comp
->u
.s_name
.len
] = '\0';
153 sym
= lookup_symbol (name
, 0, SEARCH_VFT
, 0).symbol
;
155 catch (const gdb_exception
&except
)
162 struct type
*otype
= sym
->type ();
166 const char *new_name
= (*finder
) (otype
, data
);
168 if (new_name
!= NULL
)
170 ret_comp
->u
.s_name
.s
= new_name
;
171 ret_comp
->u
.s_name
.len
= strlen (new_name
);
178 /* If the type is a typedef or namespace alias, replace it. */
179 if (otype
->code () == TYPE_CODE_TYPEDEF
180 || otype
->code () == TYPE_CODE_NAMESPACE
)
185 std::unique_ptr
<demangle_parse_info
> i
;
187 /* Get the real type of the typedef. */
188 type
= check_typedef (otype
);
190 /* If the symbol name is the same as the original type name,
191 don't substitute. That would cause infinite recursion in
192 symbol lookups, as the typedef symbol is often the first
193 found symbol in the symbol table.
195 However, this can happen in a number of situations, such as:
197 If the symbol is a namespace and its type name is no different
198 than the name we looked up, this symbol is not a namespace
199 alias and does not need to be substituted.
201 If the symbol is typedef and its type name is the same
202 as the symbol's name, e.g., "typedef struct foo foo;". */
203 if (type
->name () != nullptr
204 && strcmp (type
->name (), name
) == 0)
207 is_anon
= (type
->name () == NULL
208 && (type
->code () == TYPE_CODE_ENUM
209 || type
->code () == TYPE_CODE_STRUCT
210 || type
->code () == TYPE_CODE_UNION
));
213 struct type
*last
= otype
;
215 /* Find the last typedef for the type. */
216 while (last
->target_type () != NULL
217 && (last
->target_type ()->code ()
218 == TYPE_CODE_TYPEDEF
))
219 last
= last
->target_type ();
221 /* If there is only one typedef for this anonymous type,
222 do not substitute it. */
226 /* Use the last typedef seen as the type for this
234 /* Avoid using the current language. If the language is
235 C, and TYPE is a struct/class, the printed type is
236 prefixed with "struct " or "class ", which we don't
237 want when we're expanding a C++ typedef. Print using
238 the type symbol's language to expand a C++ typedef
239 the C++ way even if the current language is C. */
240 const language_defn
*lang
= language_def (sym
->language ());
241 lang
->print_type (type
, "", &buf
, -1, 0, &type_print_raw_options
);
243 /* If type_print threw an exception, there is little point
244 in continuing, so just bow out gracefully. */
245 catch (const gdb_exception_error
&except
)
251 name
= obstack_strdup (&info
->obstack
, buf
.string ());
253 /* Turn the result into a new tree. Note that this
254 tree will contain pointers into NAME, so NAME cannot
255 be free'd until all typedef conversion is done and
256 the final result is converted into a string. */
257 i
= cp_demangled_name_to_comp (name
, NULL
);
260 /* Merge the two trees. */
261 cp_merge_demangle_parse_infos (info
, ret_comp
, std::move (i
));
263 /* Replace any newly introduced typedefs -- but not
264 if the type is anonymous (that would lead to infinite
267 replace_typedefs (info
, ret_comp
, finder
, data
);
271 /* This shouldn't happen unless the type printer has
272 output something that the name parser cannot grok.
273 Nonetheless, an ounce of prevention...
275 Canonicalize the name again, and store it in the
276 current node (RET_COMP). */
277 gdb::unique_xmalloc_ptr
<char> canon
278 = cp_canonicalize_string_no_typedefs (name
);
280 if (canon
!= nullptr)
282 /* Copy the canonicalization into the obstack. */
283 name
= copy_string_to_obstack (&info
->obstack
, canon
.get (), &len
);
286 ret_comp
->u
.s_name
.s
= name
;
287 ret_comp
->u
.s_name
.len
= len
;
297 /* Helper for replace_typedefs_qualified_name to handle
298 DEMANGLE_COMPONENT_TEMPLATE. TMPL is the template node. BUF is
299 the buffer that holds the qualified name being built by
300 replace_typedefs_qualified_name. REPL is the node that will be
301 rewritten as a DEMANGLE_COMPONENT_NAME node holding the 'template
302 plus template arguments' name with typedefs replaced. */
305 replace_typedefs_template (struct demangle_parse_info
*info
,
307 struct demangle_component
*tmpl
,
308 struct demangle_component
*repl
,
309 canonicalization_ftype
*finder
,
312 demangle_component
*tmpl_arglist
= d_right (tmpl
);
314 /* Replace typedefs in the template argument list. */
315 replace_typedefs (info
, tmpl_arglist
, finder
, data
);
317 /* Convert 'template + replaced template argument list' to a string
318 and replace the REPL node. */
319 gdb::unique_xmalloc_ptr
<char> tmpl_str
= cp_comp_to_string (tmpl
, 100);
320 if (tmpl_str
== nullptr)
322 /* If something went astray, abort typedef substitutions. */
325 buf
.puts (tmpl_str
.get ());
327 repl
->type
= DEMANGLE_COMPONENT_NAME
;
328 repl
->u
.s_name
.s
= obstack_strdup (&info
->obstack
, buf
.string ());
329 repl
->u
.s_name
.len
= buf
.size ();
333 /* Replace any typedefs appearing in the qualified name
334 (DEMANGLE_COMPONENT_QUAL_NAME) represented in RET_COMP for the name parse
338 replace_typedefs_qualified_name (struct demangle_parse_info
*info
,
339 struct demangle_component
*ret_comp
,
340 canonicalization_ftype
*finder
,
344 struct demangle_component
*comp
= ret_comp
;
346 /* Walk each node of the qualified name, reconstructing the name of
347 this element. With every node, check for any typedef substitutions.
348 If a substitution has occurred, replace the qualified name node
349 with a DEMANGLE_COMPONENT_NAME node representing the new, typedef-
351 while (comp
->type
== DEMANGLE_COMPONENT_QUAL_NAME
)
353 if (d_left (comp
)->type
== DEMANGLE_COMPONENT_TEMPLATE
)
355 /* Convert 'template + replaced template argument list' to a
356 string and replace the top DEMANGLE_COMPONENT_QUAL_NAME
358 if (!replace_typedefs_template (info
, buf
,
359 d_left (comp
), d_left (ret_comp
),
364 d_right (ret_comp
) = d_right (comp
);
367 /* Fallback to DEMANGLE_COMPONENT_NAME processing. We want
368 to call inspect_type for this template, in case we have a
369 template alias, like:
370 template<typename T> using alias = base<int, t>;
371 in which case we want inspect_type to do a replacement like:
372 alias<int> -> base<int, int>
376 if (d_left (comp
)->type
== DEMANGLE_COMPONENT_NAME
)
378 struct demangle_component newobj
;
380 buf
.write (d_left (comp
)->u
.s_name
.s
, d_left (comp
)->u
.s_name
.len
);
381 newobj
.type
= DEMANGLE_COMPONENT_NAME
;
382 newobj
.u
.s_name
.s
= obstack_strdup (&info
->obstack
, buf
.string ());
383 newobj
.u
.s_name
.len
= buf
.size ();
384 if (inspect_type (info
, &newobj
, finder
, data
))
389 /* A typedef was substituted in NEW. Convert it to a
390 string and replace the top DEMANGLE_COMPONENT_QUAL_NAME
394 gdb::unique_xmalloc_ptr
<char> n
395 = cp_comp_to_string (&newobj
, 100);
398 /* If something went astray, abort typedef substitutions. */
402 s
= copy_string_to_obstack (&info
->obstack
, n
.get (), &slen
);
404 d_left (ret_comp
)->type
= DEMANGLE_COMPONENT_NAME
;
405 d_left (ret_comp
)->u
.s_name
.s
= s
;
406 d_left (ret_comp
)->u
.s_name
.len
= slen
;
407 d_right (ret_comp
) = d_right (comp
);
414 /* The current node is not a name, so simply replace any
415 typedefs in it. Then print it to the stream to continue
416 checking for more typedefs in the tree. */
417 replace_typedefs (info
, d_left (comp
), finder
, data
);
418 gdb::unique_xmalloc_ptr
<char> name
419 = cp_comp_to_string (d_left (comp
), 100);
422 /* If something went astray, abort typedef substitutions. */
425 buf
.puts (name
.get ());
429 comp
= d_right (comp
);
432 /* If the next component is DEMANGLE_COMPONENT_TEMPLATE or
433 DEMANGLE_COMPONENT_NAME, save the qualified name assembled above
434 and append the name given by COMP. Then use this reassembled
435 name to check for a typedef. */
437 if (comp
->type
== DEMANGLE_COMPONENT_TEMPLATE
)
439 /* Replace the top (DEMANGLE_COMPONENT_QUAL_NAME) node with a
440 DEMANGLE_COMPONENT_NAME node containing the whole name. */
441 if (!replace_typedefs_template (info
, buf
, comp
, ret_comp
, finder
, data
))
443 inspect_type (info
, ret_comp
, finder
, data
);
445 else if (comp
->type
== DEMANGLE_COMPONENT_NAME
)
447 buf
.write (comp
->u
.s_name
.s
, comp
->u
.s_name
.len
);
449 /* Replace the top (DEMANGLE_COMPONENT_QUAL_NAME) node
450 with a DEMANGLE_COMPONENT_NAME node containing the whole
452 ret_comp
->type
= DEMANGLE_COMPONENT_NAME
;
453 ret_comp
->u
.s_name
.s
= obstack_strdup (&info
->obstack
, buf
.string ());
454 ret_comp
->u
.s_name
.len
= buf
.size ();
455 inspect_type (info
, ret_comp
, finder
, data
);
458 replace_typedefs (info
, comp
, finder
, data
);
462 /* A function to check const and volatile qualifiers for argument types.
464 "Parameter declarations that differ only in the presence
465 or absence of `const' and/or `volatile' are equivalent."
466 C++ Standard N3290, clause 13.1.3 #4. */
469 check_cv_qualifiers (struct demangle_component
*ret_comp
)
471 while (d_left (ret_comp
) != NULL
472 && (d_left (ret_comp
)->type
== DEMANGLE_COMPONENT_CONST
473 || d_left (ret_comp
)->type
== DEMANGLE_COMPONENT_VOLATILE
))
475 d_left (ret_comp
) = d_left (d_left (ret_comp
));
479 /* Walk the parse tree given by RET_COMP, replacing any typedefs with
480 their basic types. */
483 replace_typedefs (struct demangle_parse_info
*info
,
484 struct demangle_component
*ret_comp
,
485 canonicalization_ftype
*finder
,
491 && (ret_comp
->type
== DEMANGLE_COMPONENT_NAME
492 || ret_comp
->type
== DEMANGLE_COMPONENT_QUAL_NAME
493 || ret_comp
->type
== DEMANGLE_COMPONENT_TEMPLATE
494 || ret_comp
->type
== DEMANGLE_COMPONENT_BUILTIN_TYPE
))
496 gdb::unique_xmalloc_ptr
<char> local_name
497 = cp_comp_to_string (ret_comp
, 10);
499 if (local_name
!= NULL
)
501 struct symbol
*sym
= NULL
;
506 sym
= lookup_symbol (local_name
.get (), 0,
507 SEARCH_VFT
, 0).symbol
;
509 catch (const gdb_exception
&except
)
515 struct type
*otype
= sym
->type ();
516 const char *new_name
= (*finder
) (otype
, data
);
518 if (new_name
!= NULL
)
520 ret_comp
->type
= DEMANGLE_COMPONENT_NAME
;
521 ret_comp
->u
.s_name
.s
= new_name
;
522 ret_comp
->u
.s_name
.len
= strlen (new_name
);
529 switch (ret_comp
->type
)
531 case DEMANGLE_COMPONENT_ARGLIST
:
532 check_cv_qualifiers (ret_comp
);
535 case DEMANGLE_COMPONENT_FUNCTION_TYPE
:
536 case DEMANGLE_COMPONENT_TEMPLATE
:
537 case DEMANGLE_COMPONENT_TEMPLATE_ARGLIST
:
538 case DEMANGLE_COMPONENT_TYPED_NAME
:
539 replace_typedefs (info
, d_left (ret_comp
), finder
, data
);
540 replace_typedefs (info
, d_right (ret_comp
), finder
, data
);
543 case DEMANGLE_COMPONENT_NAME
:
544 inspect_type (info
, ret_comp
, finder
, data
);
547 case DEMANGLE_COMPONENT_QUAL_NAME
:
548 replace_typedefs_qualified_name (info
, ret_comp
, finder
, data
);
551 case DEMANGLE_COMPONENT_LOCAL_NAME
:
552 case DEMANGLE_COMPONENT_CTOR
:
553 case DEMANGLE_COMPONENT_ARRAY_TYPE
:
554 case DEMANGLE_COMPONENT_PTRMEM_TYPE
:
555 replace_typedefs (info
, d_right (ret_comp
), finder
, data
);
558 case DEMANGLE_COMPONENT_CONST
:
559 case DEMANGLE_COMPONENT_RESTRICT
:
560 case DEMANGLE_COMPONENT_VOLATILE
:
561 case DEMANGLE_COMPONENT_VOLATILE_THIS
:
562 case DEMANGLE_COMPONENT_CONST_THIS
:
563 case DEMANGLE_COMPONENT_RESTRICT_THIS
:
564 case DEMANGLE_COMPONENT_POINTER
:
565 case DEMANGLE_COMPONENT_REFERENCE
:
566 case DEMANGLE_COMPONENT_RVALUE_REFERENCE
:
567 replace_typedefs (info
, d_left (ret_comp
), finder
, data
);
576 /* Parse STRING and convert it to canonical form, resolving any
577 typedefs. If parsing fails, or if STRING is already canonical,
578 return nullptr. Otherwise return the canonical form. If
579 FINDER is not NULL, then type components are passed to FINDER to be
580 looked up. DATA is passed verbatim to FINDER. */
582 gdb::unique_xmalloc_ptr
<char>
583 cp_canonicalize_string_full (const char *string
,
584 canonicalization_ftype
*finder
,
587 unsigned int estimated_len
;
588 std::unique_ptr
<demangle_parse_info
> info
;
590 estimated_len
= strlen (string
) * 2;
591 info
= cp_demangled_name_to_comp (string
, NULL
);
594 /* Replace all the typedefs in the tree. */
595 replace_typedefs (info
.get (), info
->tree
, finder
, data
);
597 /* Convert the tree back into a string. */
598 gdb::unique_xmalloc_ptr
<char> us
= cp_comp_to_string (info
->tree
,
602 /* Finally, compare the original string with the computed
603 name, returning NULL if they are the same. */
604 if (strcmp (us
.get (), string
) == 0)
613 /* Like cp_canonicalize_string_full, but always passes NULL for
616 gdb::unique_xmalloc_ptr
<char>
617 cp_canonicalize_string_no_typedefs (const char *string
)
619 return cp_canonicalize_string_full (string
, NULL
, NULL
);
622 /* Parse STRING and convert it to canonical form. If parsing fails,
623 or if STRING is already canonical, return nullptr.
624 Otherwise return the canonical form. */
626 gdb::unique_xmalloc_ptr
<char>
627 cp_canonicalize_string (const char *string
)
629 std::unique_ptr
<demangle_parse_info
> info
;
630 unsigned int estimated_len
;
632 if (cp_already_canonical (string
))
635 info
= cp_demangled_name_to_comp (string
, NULL
);
639 estimated_len
= strlen (string
) * 2;
640 gdb::unique_xmalloc_ptr
<char> us (cp_comp_to_string (info
->tree
,
645 warning (_("internal error: string \"%s\" failed to be canonicalized"),
650 if (strcmp (us
.get (), string
) == 0)
656 /* Convert a mangled name to a demangle_component tree. *MEMORY is
657 set to the block of used memory that should be freed when finished
658 with the tree. DEMANGLED_P is set to the char * that should be
659 freed when finished with the tree, or NULL if none was needed.
660 OPTIONS will be passed to the demangler. */
662 static std::unique_ptr
<demangle_parse_info
>
663 mangled_name_to_comp (const char *mangled_name
, int options
,
665 gdb::unique_xmalloc_ptr
<char> *demangled_p
)
667 /* If it looks like a v3 mangled name, then try to go directly
669 if (mangled_name
[0] == '_' && mangled_name
[1] == 'Z')
671 struct demangle_component
*ret
;
673 ret
= gdb_cplus_demangle_v3_components (mangled_name
,
677 auto info
= std::make_unique
<demangle_parse_info
> ();
684 /* If it doesn't, or if that failed, then try to demangle the
686 gdb::unique_xmalloc_ptr
<char> demangled_name
= gdb_demangle (mangled_name
,
688 if (demangled_name
== NULL
)
691 /* If we could demangle the name, parse it to build the component
693 std::unique_ptr
<demangle_parse_info
> info
694 = cp_demangled_name_to_comp (demangled_name
.get (), NULL
);
699 *demangled_p
= std::move (demangled_name
);
703 /* Return the name of the class containing method PHYSNAME. */
706 cp_class_name_from_physname (const char *physname
)
708 void *storage
= NULL
;
709 gdb::unique_xmalloc_ptr
<char> demangled_name
;
710 gdb::unique_xmalloc_ptr
<char> ret
;
711 struct demangle_component
*ret_comp
, *prev_comp
, *cur_comp
;
712 std::unique_ptr
<demangle_parse_info
> info
;
715 info
= mangled_name_to_comp (physname
, DMGL_ANSI
,
716 &storage
, &demangled_name
);
721 ret_comp
= info
->tree
;
723 /* First strip off any qualifiers, if we have a function or
726 switch (ret_comp
->type
)
728 case DEMANGLE_COMPONENT_CONST
:
729 case DEMANGLE_COMPONENT_RESTRICT
:
730 case DEMANGLE_COMPONENT_VOLATILE
:
731 case DEMANGLE_COMPONENT_CONST_THIS
:
732 case DEMANGLE_COMPONENT_RESTRICT_THIS
:
733 case DEMANGLE_COMPONENT_VOLATILE_THIS
:
734 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL
:
735 ret_comp
= d_left (ret_comp
);
742 /* If what we have now is a function, discard the argument list. */
743 if (ret_comp
->type
== DEMANGLE_COMPONENT_TYPED_NAME
)
744 ret_comp
= d_left (ret_comp
);
746 /* If what we have now is a template, strip off the template
747 arguments. The left subtree may be a qualified name. */
748 if (ret_comp
->type
== DEMANGLE_COMPONENT_TEMPLATE
)
749 ret_comp
= d_left (ret_comp
);
751 /* What we have now should be a name, possibly qualified.
752 Additional qualifiers could live in the left subtree or the right
753 subtree. Find the last piece. */
758 switch (cur_comp
->type
)
760 case DEMANGLE_COMPONENT_QUAL_NAME
:
761 case DEMANGLE_COMPONENT_LOCAL_NAME
:
762 prev_comp
= cur_comp
;
763 cur_comp
= d_right (cur_comp
);
765 case DEMANGLE_COMPONENT_TEMPLATE
:
766 case DEMANGLE_COMPONENT_NAME
:
767 case DEMANGLE_COMPONENT_CTOR
:
768 case DEMANGLE_COMPONENT_DTOR
:
769 case DEMANGLE_COMPONENT_OPERATOR
:
770 case DEMANGLE_COMPONENT_EXTENDED_OPERATOR
:
779 if (cur_comp
!= NULL
&& prev_comp
!= NULL
)
781 /* We want to discard the rightmost child of PREV_COMP. */
782 *prev_comp
= *d_left (prev_comp
);
783 /* The ten is completely arbitrary; we don't have a good
785 ret
= cp_comp_to_string (ret_comp
, 10);
789 return ret
.release ();
792 /* Return the child of COMP which is the basename of a method,
793 variable, et cetera. All scope qualifiers are discarded, but
794 template arguments will be included. The component tree may be
797 static struct demangle_component
*
798 unqualified_name_from_comp (struct demangle_component
*comp
)
800 struct demangle_component
*ret_comp
= comp
, *last_template
;
804 last_template
= NULL
;
806 switch (ret_comp
->type
)
808 case DEMANGLE_COMPONENT_QUAL_NAME
:
809 case DEMANGLE_COMPONENT_LOCAL_NAME
:
810 ret_comp
= d_right (ret_comp
);
812 case DEMANGLE_COMPONENT_TYPED_NAME
:
813 ret_comp
= d_left (ret_comp
);
815 case DEMANGLE_COMPONENT_TEMPLATE
:
816 gdb_assert (last_template
== NULL
);
817 last_template
= ret_comp
;
818 ret_comp
= d_left (ret_comp
);
820 case DEMANGLE_COMPONENT_CONST
:
821 case DEMANGLE_COMPONENT_RESTRICT
:
822 case DEMANGLE_COMPONENT_VOLATILE
:
823 case DEMANGLE_COMPONENT_CONST_THIS
:
824 case DEMANGLE_COMPONENT_RESTRICT_THIS
:
825 case DEMANGLE_COMPONENT_VOLATILE_THIS
:
826 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL
:
827 ret_comp
= d_left (ret_comp
);
829 case DEMANGLE_COMPONENT_NAME
:
830 case DEMANGLE_COMPONENT_CTOR
:
831 case DEMANGLE_COMPONENT_DTOR
:
832 case DEMANGLE_COMPONENT_OPERATOR
:
833 case DEMANGLE_COMPONENT_EXTENDED_OPERATOR
:
843 d_left (last_template
) = ret_comp
;
844 return last_template
;
850 /* Return the name of the method whose linkage name is PHYSNAME. */
853 method_name_from_physname (const char *physname
)
855 void *storage
= NULL
;
856 gdb::unique_xmalloc_ptr
<char> demangled_name
;
857 gdb::unique_xmalloc_ptr
<char> ret
;
858 struct demangle_component
*ret_comp
;
859 std::unique_ptr
<demangle_parse_info
> info
;
861 info
= mangled_name_to_comp (physname
, DMGL_ANSI
,
862 &storage
, &demangled_name
);
866 ret_comp
= unqualified_name_from_comp (info
->tree
);
868 if (ret_comp
!= NULL
)
869 /* The ten is completely arbitrary; we don't have a good
871 ret
= cp_comp_to_string (ret_comp
, 10);
874 return ret
.release ();
877 /* If FULL_NAME is the demangled name of a C++ function (including an
878 arg list, possibly including namespace/class qualifications),
879 return a new string containing only the function name (without the
880 arg list/class qualifications). Otherwise, return NULL. */
882 gdb::unique_xmalloc_ptr
<char>
883 cp_func_name (const char *full_name
)
885 gdb::unique_xmalloc_ptr
<char> ret
;
886 struct demangle_component
*ret_comp
;
887 std::unique_ptr
<demangle_parse_info
> info
;
889 info
= cp_demangled_name_to_comp (full_name
, NULL
);
893 ret_comp
= unqualified_name_from_comp (info
->tree
);
895 if (ret_comp
!= NULL
)
896 ret
= cp_comp_to_string (ret_comp
, 10);
901 /* Helper for cp_remove_params. DEMANGLED_NAME is the name of a
902 function, including parameters and (optionally) a return type.
903 Return the name of the function without parameters or return type,
904 or NULL if we can not parse the name. If REQUIRE_PARAMS is false,
905 then tolerate a non-existing or unbalanced parameter list. */
907 static gdb::unique_xmalloc_ptr
<char>
908 cp_remove_params_1 (const char *demangled_name
, bool require_params
)
911 struct demangle_component
*ret_comp
;
912 std::unique_ptr
<demangle_parse_info
> info
;
913 gdb::unique_xmalloc_ptr
<char> ret
;
915 if (demangled_name
== NULL
)
918 info
= cp_demangled_name_to_comp (demangled_name
, NULL
);
922 /* First strip off any qualifiers, if we have a function or method. */
923 ret_comp
= info
->tree
;
925 switch (ret_comp
->type
)
927 case DEMANGLE_COMPONENT_CONST
:
928 case DEMANGLE_COMPONENT_RESTRICT
:
929 case DEMANGLE_COMPONENT_VOLATILE
:
930 case DEMANGLE_COMPONENT_CONST_THIS
:
931 case DEMANGLE_COMPONENT_RESTRICT_THIS
:
932 case DEMANGLE_COMPONENT_VOLATILE_THIS
:
933 case DEMANGLE_COMPONENT_VENDOR_TYPE_QUAL
:
934 ret_comp
= d_left (ret_comp
);
941 /* What we have now should be a function. Return its name. */
942 if (ret_comp
->type
== DEMANGLE_COMPONENT_TYPED_NAME
)
943 ret
= cp_comp_to_string (d_left (ret_comp
), 10);
944 else if (!require_params
945 && (ret_comp
->type
== DEMANGLE_COMPONENT_NAME
946 || ret_comp
->type
== DEMANGLE_COMPONENT_QUAL_NAME
947 || ret_comp
->type
== DEMANGLE_COMPONENT_TEMPLATE
))
948 ret
= cp_comp_to_string (ret_comp
, 10);
953 /* DEMANGLED_NAME is the name of a function, including parameters and
954 (optionally) a return type. Return the name of the function
955 without parameters or return type, or NULL if we can not parse the
958 gdb::unique_xmalloc_ptr
<char>
959 cp_remove_params (const char *demangled_name
)
961 return cp_remove_params_1 (demangled_name
, true);
964 /* See cp-support.h. */
966 gdb::unique_xmalloc_ptr
<char>
967 cp_remove_params_if_any (const char *demangled_name
, bool completion_mode
)
969 /* Trying to remove parameters from the empty string fails. If
970 we're completing / matching everything, avoid returning NULL
971 which would make callers interpret the result as an error. */
972 if (demangled_name
[0] == '\0' && completion_mode
)
973 return make_unique_xstrdup ("");
975 gdb::unique_xmalloc_ptr
<char> without_params
976 = cp_remove_params_1 (demangled_name
, false);
978 if (without_params
== NULL
&& completion_mode
)
980 std::string copy
= demangled_name
;
982 while (!copy
.empty ())
985 without_params
= cp_remove_params_1 (copy
.c_str (), false);
986 if (without_params
!= NULL
)
991 return without_params
;
994 /* Here are some random pieces of trivia to keep in mind while trying
995 to take apart demangled names:
997 - Names can contain function arguments or templates, so the process
998 has to be, to some extent recursive: maybe keep track of your
999 depth based on encountering <> and ().
1001 - Parentheses don't just have to happen at the end of a name: they
1002 can occur even if the name in question isn't a function, because
1003 a template argument might be a type that's a function.
1005 - Conversely, even if you're trying to deal with a function, its
1006 demangled name might not end with ')': it could be a const or
1007 volatile class method, in which case it ends with "const" or
1010 - Parentheses are also used in anonymous namespaces: a variable
1011 'foo' in an anonymous namespace gets demangled as "(anonymous
1014 - And operator names can contain parentheses or angle brackets. */
1016 /* FIXME: carlton/2003-03-13: We have several functions here with
1017 overlapping functionality; can we combine them? Also, do they
1018 handle all the above considerations correctly? */
1021 /* This returns the length of first component of NAME, which should be
1022 the demangled name of a C++ variable/function/method/etc.
1023 Specifically, it returns the index of the first colon forming the
1024 boundary of the first component: so, given 'A::foo' or 'A::B::foo'
1025 it returns the 1, and given 'foo', it returns 0. */
1027 /* The character in NAME indexed by the return value is guaranteed to
1028 always be either ':' or '\0'. */
1030 /* NOTE: carlton/2003-03-13: This function is currently only intended
1031 for internal use: it's probably not entirely safe when called on
1032 user-generated input, because some of the 'index += 2' lines in
1033 cp_find_first_component_aux might go past the end of malformed
1037 cp_find_first_component (const char *name
)
1039 return cp_find_first_component_aux (name
, 0);
1042 /* Helper function for cp_find_first_component. Like that function,
1043 it returns the length of the first component of NAME, but to make
1044 the recursion easier, it also stops if it reaches an unexpected ')'
1045 or '>' if the value of PERMISSIVE is nonzero. */
1048 cp_find_first_component_aux (const char *name
, int permissive
)
1050 unsigned int index
= 0;
1051 /* Operator names can show up in unexpected places. Since these can
1052 contain parentheses or angle brackets, they can screw up the
1053 recursion. But not every string 'operator' is part of an
1054 operator name: e.g. you could have a variable 'cooperator'. So
1055 this variable tells us whether or not we should treat the string
1056 'operator' as starting an operator. */
1057 int operator_possible
= 1;
1061 switch (name
[index
])
1064 /* Template; eat it up. The calls to cp_first_component
1065 should only return (I hope!) when they reach the '>'
1066 terminating the component or a '::' between two
1067 components. (Hence the '+ 2'.) */
1069 for (index
+= cp_find_first_component_aux (name
+ index
, 1);
1071 index
+= cp_find_first_component_aux (name
+ index
, 1))
1073 if (name
[index
] != ':')
1075 demangled_name_complaint (name
);
1076 return strlen (name
);
1080 operator_possible
= 1;
1083 /* Similar comment as to '<'. */
1085 for (index
+= cp_find_first_component_aux (name
+ index
, 1);
1087 index
+= cp_find_first_component_aux (name
+ index
, 1))
1089 if (name
[index
] != ':')
1091 demangled_name_complaint (name
);
1092 return strlen (name
);
1096 operator_possible
= 1;
1104 demangled_name_complaint (name
);
1105 return strlen (name
);
1110 /* ':' marks a component iff the next character is also a ':'.
1111 Otherwise it is probably malformed input. */
1112 if (name
[index
+ 1] == ':')
1116 /* Operator names can screw up the recursion. */
1117 if (operator_possible
1118 && startswith (name
+ index
, CP_OPERATOR_STR
))
1120 index
+= CP_OPERATOR_LEN
;
1121 while (ISSPACE(name
[index
]))
1123 switch (name
[index
])
1127 /* Skip over one less than the appropriate number of
1128 characters: the for loop will skip over the last
1131 if (name
[index
+ 1] == '<')
1138 if (name
[index
+ 1] == '>')
1151 operator_possible
= 0;
1158 /* NOTE: carlton/2003-04-18: I'm not sure what the precise
1159 set of relevant characters are here: it's necessary to
1160 include any character that can show up before 'operator'
1161 in a demangled name, and it's safe to include any
1162 character that can't be part of an identifier's name. */
1163 operator_possible
= 1;
1166 operator_possible
= 0;
1172 /* Complain about a demangled name that we don't know how to parse.
1173 NAME is the demangled name in question. */
1176 demangled_name_complaint (const char *name
)
1178 complaint ("unexpected demangled name '%s'", name
);
1181 /* If NAME is the fully-qualified name of a C++
1182 function/variable/method/etc., this returns the length of its
1183 entire prefix: all of the namespaces and classes that make up its
1184 name. Given 'A::foo', it returns 1, given 'A::B::foo', it returns
1185 4, given 'foo', it returns 0. */
1188 cp_entire_prefix_len (const char *name
)
1190 unsigned int current_len
= cp_find_first_component (name
);
1191 unsigned int previous_len
= 0;
1193 while (name
[current_len
] != '\0')
1195 gdb_assert (name
[current_len
] == ':');
1196 previous_len
= current_len
;
1197 /* Skip the '::'. */
1199 current_len
+= cp_find_first_component (name
+ current_len
);
1202 return previous_len
;
1205 /* Overload resolution functions. */
1207 /* Test to see if SYM is a symbol that we haven't seen corresponding
1208 to a function named OLOAD_NAME. If so, add it to
1212 overload_list_add_symbol (struct symbol
*sym
,
1213 const char *oload_name
,
1214 std::vector
<symbol
*> *overload_list
)
1216 /* If there is no type information, we can't do anything, so
1218 if (sym
->type () == NULL
)
1221 /* skip any symbols that we've already considered. */
1222 for (symbol
*listed_sym
: *overload_list
)
1223 if (strcmp (sym
->linkage_name (), listed_sym
->linkage_name ()) == 0)
1226 /* Get the demangled name without parameters */
1227 gdb::unique_xmalloc_ptr
<char> sym_name
1228 = cp_remove_params (sym
->natural_name ());
1232 /* skip symbols that cannot match */
1233 if (strcmp (sym_name
.get (), oload_name
) != 0)
1236 overload_list
->push_back (sym
);
1239 /* Return a null-terminated list of pointers to function symbols that
1240 are named FUNC_NAME and are visible within NAMESPACE. */
1242 struct std::vector
<symbol
*>
1243 make_symbol_overload_list (const char *func_name
,
1244 const char *the_namespace
)
1247 std::vector
<symbol
*> overload_list
;
1249 overload_list
.reserve (100);
1251 add_symbol_overload_list_using (func_name
, the_namespace
, &overload_list
);
1253 if (the_namespace
[0] == '\0')
1257 char *concatenated_name
1258 = (char *) alloca (strlen (the_namespace
) + 2 + strlen (func_name
) + 1);
1259 strcpy (concatenated_name
, the_namespace
);
1260 strcat (concatenated_name
, "::");
1261 strcat (concatenated_name
, func_name
);
1262 name
= concatenated_name
;
1265 add_symbol_overload_list_qualified (name
, &overload_list
);
1266 return overload_list
;
1269 /* Add all symbols with a name matching NAME in BLOCK to the overload
1273 add_symbol_overload_list_block (const char *name
,
1274 const struct block
*block
,
1275 std::vector
<symbol
*> *overload_list
)
1277 lookup_name_info
lookup_name (name
, symbol_name_match_type::FULL
);
1279 for (struct symbol
*sym
: block_iterator_range (block
, &lookup_name
))
1280 overload_list_add_symbol (sym
, name
, overload_list
);
1283 /* Adds the function FUNC_NAME from NAMESPACE to the overload set. */
1286 add_symbol_overload_list_namespace (const char *func_name
,
1287 const char *the_namespace
,
1288 std::vector
<symbol
*> *overload_list
)
1291 const struct block
*block
= NULL
;
1293 if (the_namespace
[0] == '\0')
1297 char *concatenated_name
1298 = (char *) alloca (strlen (the_namespace
) + 2 + strlen (func_name
) + 1);
1300 strcpy (concatenated_name
, the_namespace
);
1301 strcat (concatenated_name
, "::");
1302 strcat (concatenated_name
, func_name
);
1303 name
= concatenated_name
;
1306 /* Look in the static block. */
1307 block
= get_selected_block (0);
1308 block
= block
== nullptr ? nullptr : block
->static_block ();
1309 if (block
!= nullptr)
1311 add_symbol_overload_list_block (name
, block
, overload_list
);
1313 /* Look in the global block. */
1314 block
= block
->global_block ();
1316 add_symbol_overload_list_block (name
, block
, overload_list
);
1320 /* Search the namespace of the given type and namespace of and public
1324 add_symbol_overload_list_adl_namespace (struct type
*type
,
1325 const char *func_name
,
1326 std::vector
<symbol
*> *overload_list
)
1328 char *the_namespace
;
1329 const char *type_name
;
1332 while (type
->is_pointer_or_reference ()
1333 || type
->code () == TYPE_CODE_ARRAY
1334 || type
->code () == TYPE_CODE_TYPEDEF
)
1336 if (type
->code () == TYPE_CODE_TYPEDEF
)
1337 type
= check_typedef (type
);
1339 type
= type
->target_type ();
1342 type_name
= type
->name ();
1344 if (type_name
== NULL
)
1347 prefix_len
= cp_entire_prefix_len (type_name
);
1349 if (prefix_len
!= 0)
1351 the_namespace
= (char *) alloca (prefix_len
+ 1);
1352 strncpy (the_namespace
, type_name
, prefix_len
);
1353 the_namespace
[prefix_len
] = '\0';
1355 add_symbol_overload_list_namespace (func_name
, the_namespace
,
1359 /* Check public base type */
1360 if (type
->code () == TYPE_CODE_STRUCT
)
1361 for (i
= 0; i
< TYPE_N_BASECLASSES (type
); i
++)
1363 if (BASETYPE_VIA_PUBLIC (type
, i
))
1364 add_symbol_overload_list_adl_namespace (TYPE_BASECLASS (type
, i
),
1370 /* Adds to OVERLOAD_LIST the overload list overload candidates for
1371 FUNC_NAME found through argument dependent lookup. */
1374 add_symbol_overload_list_adl (gdb::array_view
<type
*> arg_types
,
1375 const char *func_name
,
1376 std::vector
<symbol
*> *overload_list
)
1378 for (type
*arg_type
: arg_types
)
1379 add_symbol_overload_list_adl_namespace (arg_type
, func_name
,
1383 /* This applies the using directives to add namespaces to search in,
1384 and then searches for overloads in all of those namespaces. It
1385 adds the symbols found to sym_return_val. Arguments are as in
1386 make_symbol_overload_list. */
1389 add_symbol_overload_list_using (const char *func_name
,
1390 const char *the_namespace
,
1391 std::vector
<symbol
*> *overload_list
)
1393 const struct block
*block
;
1395 /* First, go through the using directives. If any of them apply,
1396 look in the appropriate namespaces for new functions to match
1399 for (block
= get_selected_block (0);
1401 block
= block
->superblock ())
1402 for (using_direct
*current
: block
->get_using ())
1404 /* Prevent recursive calls. */
1405 if (current
->searched
)
1408 /* If this is a namespace alias or imported declaration ignore
1410 if (current
->alias
!= NULL
|| current
->declaration
!= NULL
)
1413 if (strcmp (the_namespace
, current
->import_dest
) == 0)
1415 /* Mark this import as searched so that the recursive call
1416 does not search it again. */
1417 scoped_restore reset_directive_searched
1418 = make_scoped_restore (¤t
->searched
, 1);
1420 add_symbol_overload_list_using (func_name
,
1421 current
->import_src
,
1426 /* Now, add names for this namespace. */
1427 add_symbol_overload_list_namespace (func_name
, the_namespace
,
1431 /* This does the bulk of the work of finding overloaded symbols.
1432 FUNC_NAME is the name of the overloaded function we're looking for
1433 (possibly including namespace info). */
1436 add_symbol_overload_list_qualified (const char *func_name
,
1437 std::vector
<symbol
*> *overload_list
)
1439 const struct block
*surrounding_static_block
= 0;
1441 /* Look through the partial symtabs for all symbols which begin by
1442 matching FUNC_NAME. Make sure we read that symbol table in. */
1444 for (objfile
*objf
: current_program_space
->objfiles ())
1445 objf
->expand_symtabs_for_function (func_name
);
1447 /* Search upwards from currently selected frame (so that we can
1448 complete on local vars. */
1450 for (const block
*b
= get_selected_block (0);
1452 b
= b
->superblock ())
1453 add_symbol_overload_list_block (func_name
, b
, overload_list
);
1455 surrounding_static_block
= get_selected_block (0);
1456 surrounding_static_block
= (surrounding_static_block
== nullptr
1458 : surrounding_static_block
->static_block ());
1460 /* Go through the symtabs and check the externs and statics for
1461 symbols which match. */
1463 const block
*block
= get_selected_block (0);
1464 struct objfile
*current_objfile
= block
? block
->objfile () : nullptr;
1466 gdbarch_iterate_over_objfiles_in_search_order
1467 (current_objfile
? current_objfile
->arch () : current_inferior ()->arch (),
1468 [func_name
, surrounding_static_block
, &overload_list
]
1469 (struct objfile
*obj
)
1471 for (compunit_symtab
*cust
: obj
->compunits ())
1474 const struct block
*b
= cust
->blockvector ()->global_block ();
1475 add_symbol_overload_list_block (func_name
, b
, overload_list
);
1477 b
= cust
->blockvector ()->static_block ();
1478 /* Don't do this block twice. */
1479 if (b
== surrounding_static_block
)
1482 add_symbol_overload_list_block (func_name
, b
, overload_list
);
1486 }, current_objfile
);
1489 /* Lookup the rtti type for a class name. */
1492 cp_lookup_rtti_type (const char *name
, const struct block
*block
)
1494 struct symbol
* rtti_sym
;
1495 struct type
* rtti_type
;
1497 rtti_sym
= lookup_symbol (name
, block
,
1498 SEARCH_TYPE_DOMAIN
| SEARCH_STRUCT_DOMAIN
,
1501 if (rtti_sym
== NULL
)
1503 warning (_("RTTI symbol not found for class '%s'"), name
);
1507 if (rtti_sym
->aclass () != LOC_TYPEDEF
)
1509 warning (_("RTTI symbol for class '%s' is not a type"), name
);
1513 rtti_type
= check_typedef (rtti_sym
->type ());
1515 switch (rtti_type
->code ())
1517 case TYPE_CODE_STRUCT
:
1519 case TYPE_CODE_NAMESPACE
:
1520 /* chastain/2003-11-26: the symbol tables often contain fake
1521 symbols for namespaces with the same name as the struct.
1522 This warning is an indication of a bug in the lookup order
1523 or a bug in the way that the symbol tables are populated. */
1524 warning (_("RTTI symbol for class '%s' is a namespace"), name
);
1527 warning (_("RTTI symbol for class '%s' has bad type"), name
);
1534 #ifdef HAVE_WORKING_FORK
1536 /* If true, attempt to catch crashes in the demangler and print
1537 useful debugging information. */
1539 static bool catch_demangler_crashes
= true;
1541 /* Stack context and environment for demangler crash recovery. */
1543 static thread_local SIGJMP_BUF
*gdb_demangle_jmp_buf
;
1545 /* If true, attempt to dump core from the signal handler. */
1547 static std::atomic
<bool> gdb_demangle_attempt_core_dump
;
1549 /* Signal handler for gdb_demangle. */
1552 gdb_demangle_signal_handler (int signo
)
1554 if (gdb_demangle_attempt_core_dump
)
1559 gdb_demangle_attempt_core_dump
= false;
1562 SIGLONGJMP (*gdb_demangle_jmp_buf
, signo
);
1565 /* A helper for gdb_demangle that reports a demangling failure. */
1568 report_failed_demangle (const char *name
, bool core_dump_allowed
,
1571 static bool error_reported
= false;
1573 if (!error_reported
)
1575 std::string short_msg
1576 = string_printf (_("unable to demangle '%s' "
1577 "(demangler failed with signal %d)"),
1578 name
, crash_signal
);
1580 std::string long_msg
1581 = string_printf ("%s:%d: %s: %s", __FILE__
, __LINE__
,
1582 "demangler-warning", short_msg
.c_str ());
1584 target_terminal::scoped_restore_terminal_state term_state
;
1585 target_terminal::ours_for_output ();
1588 if (core_dump_allowed
)
1589 gdb_printf (gdb_stderr
,
1590 _("%s\nAttempting to dump core.\n"),
1593 warn_cant_dump_core (long_msg
.c_str ());
1595 demangler_warning (__FILE__
, __LINE__
, "%s", short_msg
.c_str ());
1597 error_reported
= true;
1603 /* A wrapper for bfd_demangle. */
1605 gdb::unique_xmalloc_ptr
<char>
1606 gdb_demangle (const char *name
, int options
)
1608 gdb::unique_xmalloc_ptr
<char> result
;
1609 int crash_signal
= 0;
1611 #ifdef HAVE_WORKING_FORK
1612 scoped_segv_handler_restore restore_segv
1613 (catch_demangler_crashes
1614 ? gdb_demangle_signal_handler
1617 bool core_dump_allowed
= gdb_demangle_attempt_core_dump
;
1619 scoped_restore restore_jmp_buf
1620 = make_scoped_restore (&gdb_demangle_jmp_buf
, &jmp_buf);
1621 if (catch_demangler_crashes
)
1623 /* The signal handler may keep the signal blocked when we longjmp out
1624 of it. If we have sigprocmask, we can use it to unblock the signal
1625 afterwards and we can avoid the performance overhead of saving the
1626 signal mask just in case the signal gets triggered. Otherwise, just
1627 tell sigsetjmp to save the mask. */
1628 #ifdef HAVE_SIGPROCMASK
1629 crash_signal
= SIGSETJMP (*gdb_demangle_jmp_buf
, 0);
1631 crash_signal
= SIGSETJMP (*gdb_demangle_jmp_buf
, 1);
1636 if (crash_signal
== 0)
1637 result
.reset (bfd_demangle (NULL
, name
, options
| DMGL_VERBOSE
));
1639 #ifdef HAVE_WORKING_FORK
1640 if (catch_demangler_crashes
)
1642 if (crash_signal
!= 0)
1644 #ifdef HAVE_SIGPROCMASK
1645 /* If we got the signal, SIGSEGV may still be blocked; restore it. */
1646 sigset_t segv_sig_set
;
1647 sigemptyset (&segv_sig_set
);
1648 sigaddset (&segv_sig_set
, SIGSEGV
);
1649 gdb_sigmask (SIG_UNBLOCK
, &segv_sig_set
, NULL
);
1652 /* If there was a failure, we can't report it here, because
1653 we might be in a background thread. Instead, arrange for
1654 the reporting to happen on the main thread. */
1655 std::string copy
= name
;
1656 run_on_main_thread ([=, copy
= std::move (copy
)] ()
1658 report_failed_demangle (copy
.c_str (), core_dump_allowed
,
1670 /* See cp-support.h. */
1673 gdb_cplus_demangle_print (int options
,
1674 struct demangle_component
*tree
,
1675 int estimated_length
,
1676 size_t *p_allocated_size
)
1678 return cplus_demangle_print (options
| DMGL_VERBOSE
, tree
,
1679 estimated_length
, p_allocated_size
);
1682 /* A wrapper for cplus_demangle_v3_components that forces
1685 static struct demangle_component
*
1686 gdb_cplus_demangle_v3_components (const char *mangled
,
1687 int options
, void **mem
)
1689 return cplus_demangle_v3_components (mangled
, options
| DMGL_VERBOSE
, mem
);
1692 /* See cp-support.h. */
1695 cp_search_name_hash (const char *search_name
)
1697 /* cp_entire_prefix_len assumes a fully-qualified name with no
1699 if (startswith (search_name
, "::"))
1702 unsigned int prefix_len
= cp_entire_prefix_len (search_name
);
1703 if (prefix_len
!= 0)
1704 search_name
+= prefix_len
+ 2;
1706 unsigned int hash
= 0;
1707 for (const char *string
= search_name
; *string
!= '\0'; ++string
)
1709 const char *before_skip
= string
;
1710 string
= skip_spaces (string
);
1715 /* Could it be the beginning of a function name?
1716 If yes, does it begin with the keyword "operator"? */
1717 if ((string
!= before_skip
|| string
== search_name
)
1718 && (string
[0] == 'o' && startswith (string
, CP_OPERATOR_STR
)))
1720 /* Hash the "operator" part. */
1721 for (size_t i
= 0; i
< CP_OPERATOR_LEN
; ++i
)
1722 hash
= SYMBOL_HASH_NEXT (hash
, *string
++);
1724 string
= skip_spaces (string
);
1726 /* If no more data to process, stop right now. This is specially
1727 intended for SEARCH_NAMEs that end with "operator". In such
1728 cases, the whole string is processed and STRING is pointing to a
1729 null-byte. Letting the loop body resume naturally would lead to
1730 a "++string" that causes STRING to point past the null-byte. */
1731 if (string
[0] == '\0')
1734 /* "<" and "<<" are sequences of interest here. This covers
1735 "operator{<,<<,<=,<=>}". In the last 2 cases, the "=" and "=>"
1736 parts are handled by the next iterations of the loop like other
1737 input chars. The goal is to process all the operator-related '<'
1738 chars, so that later if a '<' is visited it can be inferred for
1739 sure that it is the beginning of a template parameter list.
1741 STRING is a null-byte terminated string. If string[0] is not
1742 a null-byte, according to the previous check, string[1] is not
1743 past the end of the allocation and can be referenced safely. */
1744 if (string
[0] == '<')
1746 hash
= SYMBOL_HASH_NEXT (hash
, *string
);
1747 if (string
[1] == '<')
1748 hash
= SYMBOL_HASH_NEXT (hash
, *++string
);
1753 /* Ignore ABI tags such as "[abi:cxx11]. */
1755 && startswith (string
+ 1, "abi:")
1756 && string
[5] != ':')
1759 /* Ignore template parameter lists. The likely "operator{<,<<,<=,<=>}"
1760 are already taken care of. Therefore, any encounter of '<' character
1761 at this point is related to template lists. */
1765 hash
= SYMBOL_HASH_NEXT (hash
, *string
);
1772 namespace selftests
{
1775 test_cp_search_name_hash ()
1777 SELF_CHECK (cp_search_name_hash ("void func<(enum_test)0>(int*, int)")
1778 == cp_search_name_hash ("void func"));
1779 SELF_CHECK (cp_search_name_hash ("operator")
1780 != cp_search_name_hash ("operator<"));
1781 SELF_CHECK (cp_search_name_hash ("operator")
1782 != cp_search_name_hash ("operator<<"));
1783 SELF_CHECK (cp_search_name_hash ("operator<")
1784 != cp_search_name_hash ("operator<<"));
1785 SELF_CHECK (cp_search_name_hash ("operator<")
1786 == cp_search_name_hash ("operator <"));
1787 SELF_CHECK (cp_search_name_hash ("operator")
1788 != cp_search_name_hash ("foo_operator"));
1789 SELF_CHECK (cp_search_name_hash ("operator")
1790 != cp_search_name_hash ("operator_foo"));
1791 SELF_CHECK (cp_search_name_hash ("operator<")
1792 != cp_search_name_hash ("foo_operator"));
1793 SELF_CHECK (cp_search_name_hash ("operator<")
1794 != cp_search_name_hash ("operator_foo"));
1795 SELF_CHECK (cp_search_name_hash ("operator<<")
1796 != cp_search_name_hash ("foo_operator"));
1797 SELF_CHECK (cp_search_name_hash ("operator<<")
1798 != cp_search_name_hash ("operator_foo"));
1800 SELF_CHECK (cp_search_name_hash ("func")
1801 == cp_search_name_hash ("func[abi:cxx11]"));
1804 } /* namespace selftests */
1806 #endif /* GDB_SELF_TEST */
1808 /* Helper for cp_symbol_name_matches (i.e., symbol_name_matcher_ftype
1809 implementation for symbol_name_match_type::WILD matching). Split
1810 to a separate function for unit-testing convenience.
1812 If SYMBOL_SEARCH_NAME has more scopes than LOOKUP_NAME, we try to
1813 match ignoring the extra leading scopes of SYMBOL_SEARCH_NAME.
1814 This allows conveniently setting breakpoints on functions/methods
1815 inside any namespace/class without specifying the fully-qualified
1820 [symbol search name] [lookup name]
1821 foo::bar::func foo::bar::func
1822 foo::bar::func bar::func
1827 [symbol search name] [lookup name]
1828 foo::zbar::func bar::func
1829 foo::bar::func foo::func
1831 See more examples in the test_cp_symbol_name_matches selftest
1834 See symbol_name_matcher_ftype for description of SYMBOL_SEARCH_NAME
1837 LOOKUP_NAME/LOOKUP_NAME_LEN is the name we're looking up.
1839 See strncmp_iw_with_mode for description of MODE.
1843 cp_symbol_name_matches_1 (const char *symbol_search_name
,
1844 const char *lookup_name
,
1845 size_t lookup_name_len
,
1846 strncmp_iw_mode mode
,
1847 completion_match_result
*comp_match_res
)
1849 const char *sname
= symbol_search_name
;
1850 completion_match_for_lcd
*match_for_lcd
1851 = (comp_match_res
!= NULL
? &comp_match_res
->match_for_lcd
: NULL
);
1853 gdb_assert (match_for_lcd
== nullptr || match_for_lcd
->empty ());
1857 if (strncmp_iw_with_mode (sname
, lookup_name
, lookup_name_len
,
1858 mode
, language_cplus
, match_for_lcd
, true) == 0)
1860 if (comp_match_res
!= NULL
)
1862 /* Note here we set different MATCH and MATCH_FOR_LCD
1863 strings. This is because with
1865 (gdb) b push_bac[TAB]
1867 we want the completion matches to list
1869 std::vector<int>::push_back(...)
1870 std::vector<char>::push_back(...)
1872 etc., which are SYMBOL_SEARCH_NAMEs, while we want
1873 the input line to auto-complete to
1875 (gdb) push_back(...)
1877 which is SNAME, not to
1881 which would be the regular common prefix between all
1882 the matches otherwise. */
1883 comp_match_res
->set_match (symbol_search_name
, sname
);
1888 /* Clear match_for_lcd so the next strncmp_iw_with_mode call starts
1890 if (match_for_lcd
!= nullptr)
1891 match_for_lcd
->clear ();
1893 unsigned int len
= cp_find_first_component (sname
);
1895 if (sname
[len
] == '\0')
1898 gdb_assert (sname
[len
] == ':');
1899 /* Skip the '::'. */
1904 /* C++ symbol_name_matcher_ftype implementation. */
1907 cp_fq_symbol_name_matches (const char *symbol_search_name
,
1908 const lookup_name_info
&lookup_name
,
1909 completion_match_result
*comp_match_res
)
1911 /* Get the demangled name. */
1912 const std::string
&name
= lookup_name
.cplus ().lookup_name ();
1913 completion_match_for_lcd
*match_for_lcd
1914 = (comp_match_res
!= NULL
? &comp_match_res
->match_for_lcd
: NULL
);
1915 strncmp_iw_mode mode
= (lookup_name
.completion_mode ()
1916 ? strncmp_iw_mode::NORMAL
1917 : strncmp_iw_mode::MATCH_PARAMS
);
1919 if (strncmp_iw_with_mode (symbol_search_name
,
1920 name
.c_str (), name
.size (),
1921 mode
, language_cplus
, match_for_lcd
) == 0)
1923 if (comp_match_res
!= NULL
)
1924 comp_match_res
->set_match (symbol_search_name
);
1931 /* C++ symbol_name_matcher_ftype implementation for wild matches.
1932 Defers work to cp_symbol_name_matches_1. */
1935 cp_symbol_name_matches (const char *symbol_search_name
,
1936 const lookup_name_info
&lookup_name
,
1937 completion_match_result
*comp_match_res
)
1939 /* Get the demangled name. */
1940 const std::string
&name
= lookup_name
.cplus ().lookup_name ();
1942 strncmp_iw_mode mode
= (lookup_name
.completion_mode ()
1943 ? strncmp_iw_mode::NORMAL
1944 : strncmp_iw_mode::MATCH_PARAMS
);
1946 return cp_symbol_name_matches_1 (symbol_search_name
,
1947 name
.c_str (), name
.size (),
1948 mode
, comp_match_res
);
1951 /* See cp-support.h. */
1953 symbol_name_matcher_ftype
*
1954 cp_get_symbol_name_matcher (const lookup_name_info
&lookup_name
)
1956 switch (lookup_name
.match_type ())
1958 case symbol_name_match_type::FULL
:
1959 case symbol_name_match_type::EXPRESSION
:
1960 case symbol_name_match_type::SEARCH_NAME
:
1961 return cp_fq_symbol_name_matches
;
1962 case symbol_name_match_type::WILD
:
1963 return cp_symbol_name_matches
;
1966 gdb_assert_not_reached ("");
1971 namespace selftests
{
1974 test_cp_symbol_name_matches ()
1976 #define CHECK_MATCH(SYMBOL, INPUT) \
1977 SELF_CHECK (cp_symbol_name_matches_1 (SYMBOL, \
1978 INPUT, sizeof (INPUT) - 1, \
1979 strncmp_iw_mode::MATCH_PARAMS, \
1982 #define CHECK_NOT_MATCH(SYMBOL, INPUT) \
1983 SELF_CHECK (!cp_symbol_name_matches_1 (SYMBOL, \
1984 INPUT, sizeof (INPUT) - 1, \
1985 strncmp_iw_mode::MATCH_PARAMS, \
1988 /* Like CHECK_MATCH, and also check that INPUT (and all substrings
1989 that start at index 0) completes to SYMBOL. */
1990 #define CHECK_MATCH_C(SYMBOL, INPUT) \
1993 CHECK_MATCH (SYMBOL, INPUT); \
1994 for (size_t i = 0; i < sizeof (INPUT) - 1; i++) \
1995 SELF_CHECK (cp_symbol_name_matches_1 (SYMBOL, INPUT, i, \
1996 strncmp_iw_mode::NORMAL, \
2000 /* Like CHECK_NOT_MATCH, and also check that INPUT does NOT complete
2002 #define CHECK_NOT_MATCH_C(SYMBOL, INPUT) \
2005 CHECK_NOT_MATCH (SYMBOL, INPUT); \
2006 SELF_CHECK (!cp_symbol_name_matches_1 (SYMBOL, INPUT, \
2007 sizeof (INPUT) - 1, \
2008 strncmp_iw_mode::NORMAL, \
2012 /* Lookup name without parens matches all overloads. */
2013 CHECK_MATCH_C ("function()", "function");
2014 CHECK_MATCH_C ("function(int)", "function");
2016 /* Check whitespace around parameters is ignored. */
2017 CHECK_MATCH_C ("function()", "function ()");
2018 CHECK_MATCH_C ("function ( )", "function()");
2019 CHECK_MATCH_C ("function ()", "function( )");
2020 CHECK_MATCH_C ("func(int)", "func( int )");
2021 CHECK_MATCH_C ("func(int)", "func ( int ) ");
2022 CHECK_MATCH_C ("func ( int )", "func( int )");
2023 CHECK_MATCH_C ("func ( int )", "func ( int ) ");
2025 /* Check symbol name prefixes aren't incorrectly matched. */
2026 CHECK_NOT_MATCH ("func", "function");
2027 CHECK_NOT_MATCH ("function", "func");
2028 CHECK_NOT_MATCH ("function()", "func");
2030 /* Check that if the lookup name includes parameters, only the right
2031 overload matches. */
2032 CHECK_MATCH_C ("function(int)", "function(int)");
2033 CHECK_NOT_MATCH_C ("function(int)", "function()");
2035 /* Check that whitespace within symbol names is not ignored. */
2036 CHECK_NOT_MATCH_C ("function", "func tion");
2037 CHECK_NOT_MATCH_C ("func__tion", "func_ _tion");
2038 CHECK_NOT_MATCH_C ("func11tion", "func1 1tion");
2040 /* Check the converse, which can happen with template function,
2041 where the return type is part of the demangled name. */
2042 CHECK_NOT_MATCH_C ("func tion", "function");
2043 CHECK_NOT_MATCH_C ("func1 1tion", "func11tion");
2044 CHECK_NOT_MATCH_C ("func_ _tion", "func__tion");
2046 /* Within parameters too. */
2047 CHECK_NOT_MATCH_C ("func(param)", "func(par am)");
2049 /* Check handling of whitespace around C++ operators. */
2050 CHECK_NOT_MATCH_C ("operator<<", "opera tor<<");
2051 CHECK_NOT_MATCH_C ("operator<<", "operator< <");
2052 CHECK_NOT_MATCH_C ("operator<<", "operator < <");
2053 CHECK_NOT_MATCH_C ("operator==", "operator= =");
2054 CHECK_NOT_MATCH_C ("operator==", "operator = =");
2055 CHECK_MATCH_C ("operator<<", "operator <<");
2056 CHECK_MATCH_C ("operator<<()", "operator <<");
2057 CHECK_NOT_MATCH_C ("operator<<()", "operator<<(int)");
2058 CHECK_NOT_MATCH_C ("operator<<(int)", "operator<<()");
2059 CHECK_MATCH_C ("operator==", "operator ==");
2060 CHECK_MATCH_C ("operator==()", "operator ==");
2061 CHECK_MATCH_C ("operator <<", "operator<<");
2062 CHECK_MATCH_C ("operator ==", "operator==");
2063 CHECK_MATCH_C ("operator bool", "operator bool");
2064 CHECK_MATCH_C ("operator bool ()", "operator bool");
2065 CHECK_MATCH_C ("operatorX<<", "operatorX < <");
2066 CHECK_MATCH_C ("Xoperator<<", "Xoperator < <");
2068 CHECK_MATCH_C ("operator()(int)", "operator()(int)");
2069 CHECK_MATCH_C ("operator()(int)", "operator ( ) ( int )");
2070 CHECK_MATCH_C ("operator()<long>(int)", "operator ( ) < long > ( int )");
2071 /* The first "()" is not the parameter list. */
2072 CHECK_NOT_MATCH ("operator()(int)", "operator");
2074 /* Misc user-defined operator tests. */
2076 CHECK_NOT_MATCH_C ("operator/=()", "operator ^=");
2077 /* Same length at end of input. */
2078 CHECK_NOT_MATCH_C ("operator>>", "operator[]");
2079 /* Same length but not at end of input. */
2080 CHECK_NOT_MATCH_C ("operator>>()", "operator[]()");
2082 CHECK_MATCH_C ("base::operator char*()", "base::operator char*()");
2083 CHECK_MATCH_C ("base::operator char*()", "base::operator char * ()");
2084 CHECK_MATCH_C ("base::operator char**()", "base::operator char * * ()");
2085 CHECK_MATCH ("base::operator char**()", "base::operator char * *");
2086 CHECK_MATCH_C ("base::operator*()", "base::operator*()");
2087 CHECK_NOT_MATCH_C ("base::operator char*()", "base::operatorc");
2088 CHECK_NOT_MATCH ("base::operator char*()", "base::operator char");
2089 CHECK_NOT_MATCH ("base::operator char*()", "base::operat");
2091 /* Check handling of whitespace around C++ scope operators. */
2092 CHECK_NOT_MATCH_C ("foo::bar", "foo: :bar");
2093 CHECK_MATCH_C ("foo::bar", "foo :: bar");
2094 CHECK_MATCH_C ("foo :: bar", "foo::bar");
2096 CHECK_MATCH_C ("abc::def::ghi()", "abc::def::ghi()");
2097 CHECK_MATCH_C ("abc::def::ghi ( )", "abc::def::ghi()");
2098 CHECK_MATCH_C ("abc::def::ghi()", "abc::def::ghi ( )");
2099 CHECK_MATCH_C ("function()", "function()");
2100 CHECK_MATCH_C ("bar::function()", "bar::function()");
2102 /* Wild matching tests follow. */
2104 /* Tests matching symbols in some scope. */
2105 CHECK_MATCH_C ("foo::function()", "function");
2106 CHECK_MATCH_C ("foo::function(int)", "function");
2107 CHECK_MATCH_C ("foo::bar::function()", "function");
2108 CHECK_MATCH_C ("bar::function()", "bar::function");
2109 CHECK_MATCH_C ("foo::bar::function()", "bar::function");
2110 CHECK_MATCH_C ("foo::bar::function(int)", "bar::function");
2112 /* Same, with parameters in the lookup name. */
2113 CHECK_MATCH_C ("foo::function()", "function()");
2114 CHECK_MATCH_C ("foo::bar::function()", "function()");
2115 CHECK_MATCH_C ("foo::function(int)", "function(int)");
2116 CHECK_MATCH_C ("foo::function()", "foo::function()");
2117 CHECK_MATCH_C ("foo::bar::function()", "bar::function()");
2118 CHECK_MATCH_C ("foo::bar::function(int)", "bar::function(int)");
2119 CHECK_MATCH_C ("bar::function()", "bar::function()");
2121 CHECK_NOT_MATCH_C ("foo::bar::function(int)", "bar::function()");
2123 CHECK_MATCH_C ("(anonymous namespace)::bar::function(int)",
2124 "bar::function(int)");
2125 CHECK_MATCH_C ("foo::(anonymous namespace)::bar::function(int)",
2128 /* Lookup scope wider than symbol scope, should not match. */
2129 CHECK_NOT_MATCH_C ("function()", "bar::function");
2130 CHECK_NOT_MATCH_C ("function()", "bar::function()");
2132 /* Explicit global scope doesn't match. */
2133 CHECK_NOT_MATCH_C ("foo::function()", "::function");
2134 CHECK_NOT_MATCH_C ("foo::function()", "::function()");
2135 CHECK_NOT_MATCH_C ("foo::function(int)", "::function()");
2136 CHECK_NOT_MATCH_C ("foo::function(int)", "::function(int)");
2138 /* Test ABI tag matching/ignoring. */
2140 /* If the symbol name has an ABI tag, but the lookup name doesn't,
2141 then the ABI tag in the symbol name is ignored. */
2142 CHECK_MATCH_C ("function[abi:foo]()", "function");
2143 CHECK_MATCH_C ("function[abi:foo](int)", "function");
2144 CHECK_MATCH_C ("function[abi:foo]()", "function ()");
2145 CHECK_NOT_MATCH_C ("function[abi:foo]()", "function (int)");
2147 CHECK_MATCH_C ("function[abi:foo]()", "function[abi:foo]");
2148 CHECK_MATCH_C ("function[abi:foo](int)", "function[abi:foo]");
2149 CHECK_MATCH_C ("function[abi:foo]()", "function[abi:foo] ()");
2150 CHECK_MATCH_C ("function[abi:foo][abi:bar]()", "function");
2151 CHECK_MATCH_C ("function[abi:foo][abi:bar](int)", "function");
2152 CHECK_MATCH_C ("function[abi:foo][abi:bar]()", "function[abi:foo]");
2153 CHECK_MATCH_C ("function[abi:foo][abi:bar](int)", "function[abi:foo]");
2154 CHECK_MATCH_C ("function[abi:foo][abi:bar]()", "function[abi:foo] ()");
2155 CHECK_NOT_MATCH_C ("function[abi:foo][abi:bar]()", "function[abi:foo] (int)");
2157 CHECK_MATCH_C ("function [abi:foo][abi:bar] ( )", "function [abi:foo]");
2159 /* If the symbol name does not have an ABI tag, while the lookup
2160 name has one, then there's no match. */
2161 CHECK_NOT_MATCH_C ("function()", "function[abi:foo]()");
2162 CHECK_NOT_MATCH_C ("function()", "function[abi:foo]");
2165 /* If non-NULL, return STR wrapped in quotes. Otherwise, return a
2166 "<null>" string (with no quotes). */
2169 quote (const char *str
)
2172 return std::string (1, '"') + str
+ '"';
2177 /* Check that removing parameter info out of NAME produces EXPECTED.
2178 COMPLETION_MODE indicates whether we're testing normal and
2179 completion mode. FILE and LINE are used to provide better test
2180 location information in case the check fails. */
2183 check_remove_params (const char *file
, int line
,
2184 const char *name
, const char *expected
,
2185 bool completion_mode
)
2187 gdb::unique_xmalloc_ptr
<char> result
2188 = cp_remove_params_if_any (name
, completion_mode
);
2190 if ((expected
== NULL
) != (result
== NULL
)
2191 || (expected
!= NULL
2192 && strcmp (result
.get (), expected
) != 0))
2194 error (_("%s:%d: make-paramless self-test failed: (completion=%d) "
2195 "\"%s\" -> %s, expected %s"),
2196 file
, line
, completion_mode
, name
,
2197 quote (result
.get ()).c_str (), quote (expected
).c_str ());
2201 /* Entry point for cp_remove_params unit tests. */
2204 test_cp_remove_params ()
2206 /* Check that removing parameter info out of NAME produces EXPECTED.
2207 Checks both normal and completion modes. */
2208 #define CHECK(NAME, EXPECTED) \
2211 check_remove_params (__FILE__, __LINE__, NAME, EXPECTED, false); \
2212 check_remove_params (__FILE__, __LINE__, NAME, EXPECTED, true); \
2216 /* Similar, but used when NAME is incomplete -- i.e., is has
2217 unbalanced parentheses. In this case, looking for the exact name
2218 should fail / return empty. */
2219 #define CHECK_INCOMPL(NAME, EXPECTED) \
2222 check_remove_params (__FILE__, __LINE__, NAME, NULL, false); \
2223 check_remove_params (__FILE__, __LINE__, NAME, EXPECTED, true); \
2227 CHECK ("function()", "function");
2228 CHECK_INCOMPL ("function(", "function");
2229 CHECK ("function() const", "function");
2231 CHECK ("(anonymous namespace)::A::B::C",
2232 "(anonymous namespace)::A::B::C");
2234 CHECK ("A::(anonymous namespace)",
2235 "A::(anonymous namespace)");
2237 CHECK_INCOMPL ("A::(anonymou", "A");
2239 CHECK ("A::foo<int>()",
2242 CHECK_INCOMPL ("A::foo<int>(",
2245 CHECK ("A::foo<(anonymous namespace)::B>::func(int)",
2246 "A::foo<(anonymous namespace)::B>::func");
2248 CHECK_INCOMPL ("A::foo<(anonymous namespace)::B>::func(in",
2249 "A::foo<(anonymous namespace)::B>::func");
2251 CHECK_INCOMPL ("A::foo<(anonymous namespace)::B>::",
2252 "A::foo<(anonymous namespace)::B>");
2254 CHECK_INCOMPL ("A::foo<(anonymous namespace)::B>:",
2255 "A::foo<(anonymous namespace)::B>");
2257 CHECK ("A::foo<(anonymous namespace)::B>",
2258 "A::foo<(anonymous namespace)::B>");
2260 CHECK_INCOMPL ("A::foo<(anonymous namespace)::B",
2263 CHECK ("A::foo<void(int)>::func(int)",
2264 "A::foo<void(int)>::func");
2266 CHECK_INCOMPL ("A::foo<void(int",
2270 #undef CHECK_INCOMPL
2273 } // namespace selftests
2275 #endif /* GDB_SELF_CHECK */
2277 /* This is a front end for cp_find_first_component, for unit testing.
2278 Be careful when using it: see the NOTE above
2279 cp_find_first_component. */
2282 first_component_command (const char *arg
, int from_tty
)
2287 int len
= cp_find_first_component (arg
);
2288 gdb_printf ("%.*s\n", len
, arg
);
2291 /* Implement "info vtbl". */
2294 info_vtbl_command (const char *arg
, int from_tty
)
2296 struct value
*value
;
2298 value
= parse_and_eval (arg
);
2299 cplus_print_vtable (value
);
2302 /* See description in cp-support.h. */
2305 find_toplevel_char (const char *s
, char c
)
2307 int quoted
= 0; /* zero if we're not in quotes;
2308 '"' if we're in a double-quoted string;
2309 '\'' if we're in a single-quoted string. */
2310 int depth
= 0; /* Number of unclosed parens we've seen. */
2313 for (scan
= s
; *scan
; scan
++)
2317 if (*scan
== quoted
)
2319 else if (*scan
== '\\' && *(scan
+ 1))
2322 else if (*scan
== c
&& ! quoted
&& depth
== 0)
2324 else if (*scan
== '"' || *scan
== '\'')
2326 else if (*scan
== '(' || *scan
== '<')
2328 else if ((*scan
== ')' || *scan
== '>') && depth
> 0)
2330 else if (*scan
== 'o' && !quoted
&& depth
== 0)
2332 /* Handle C++ operator names. */
2333 if (strncmp (scan
, CP_OPERATOR_STR
, CP_OPERATOR_LEN
) == 0)
2335 scan
+= CP_OPERATOR_LEN
;
2338 while (ISSPACE (*scan
))
2349 /* Skip over one less than the appropriate number of
2350 characters: the for loop will skip over the last
2376 void _initialize_cp_support ();
2378 _initialize_cp_support ()
2380 cmd_list_element
*maintenance_cplus
2381 = add_basic_prefix_cmd ("cplus", class_maintenance
,
2382 _("C++ maintenance commands."),
2383 &maint_cplus_cmd_list
,
2384 0, &maintenancelist
);
2385 add_alias_cmd ("cp", maintenance_cplus
, class_maintenance
, 1,
2388 add_cmd ("first_component",
2390 first_component_command
,
2391 _("Print the first class/namespace component of NAME."),
2392 &maint_cplus_cmd_list
);
2394 add_info ("vtbl", info_vtbl_command
,
2395 _("Show the virtual function table for a C++ object.\n\
2396 Usage: info vtbl EXPRESSION\n\
2397 Evaluate EXPRESSION and display the virtual function table for the\n\
2398 resulting object."));
2400 #ifdef HAVE_WORKING_FORK
2401 add_setshow_boolean_cmd ("catch-demangler-crashes", class_maintenance
,
2402 &catch_demangler_crashes
, _("\
2403 Set whether to attempt to catch demangler crashes."), _("\
2404 Show whether to attempt to catch demangler crashes."), _("\
2405 If enabled GDB will attempt to catch demangler crashes and\n\
2406 display the offending symbol."),
2409 &maintenance_set_cmdlist
,
2410 &maintenance_show_cmdlist
);
2412 gdb_demangle_attempt_core_dump
= can_dump_core (LIMIT_CUR
);
2416 selftests::register_test ("cp_symbol_name_matches",
2417 selftests::test_cp_symbol_name_matches
);
2418 selftests::register_test ("cp_remove_params",
2419 selftests::test_cp_remove_params
);
2420 selftests::register_test ("cp_search_name_hash",
2421 selftests::test_cp_search_name_hash
);