1 /* Helper routines for C++ support in GDB.
2 Copyright (C) 2003, 2004, 2007, 2008, 2009, 2010, 2011
3 Free Software Foundation, Inc.
5 Contributed by David Carlton and by Kealia, Inc.
7 This file is part of GDB.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 #include "cp-support.h"
24 #include "gdb_obstack.h"
27 #include "gdb_assert.h"
31 #include "dictionary.h"
37 static struct symbol *lookup_namespace_scope (const char *name,
38 const struct block *block,
39 const domain_enum domain,
43 static struct symbol *lookup_symbol_file (const char *name,
44 const struct block *block,
45 const domain_enum domain,
46 int anonymous_namespace);
48 static struct type *cp_lookup_transparent_type_loop (const char *name,
52 static void initialize_namespace_symtab (struct objfile *objfile);
54 static struct block *get_possible_namespace_block (struct objfile *objfile);
56 static void free_namespace_block (struct symtab *symtab);
58 static int check_possible_namespace_symbols_loop (const char *name,
60 struct objfile *objfile);
62 static int check_one_possible_namespace_symbol (const char *name,
64 struct objfile *objfile);
66 static struct symbol *lookup_possible_namespace_symbol (const char *name);
68 static void maintenance_cplus_namespace (char *args, int from_tty);
70 /* Check to see if SYMBOL refers to an object contained within an
71 anonymous namespace; if so, add an appropriate using directive. */
74 cp_scan_for_anonymous_namespaces (const struct symbol *symbol)
76 if (SYMBOL_DEMANGLED_NAME (symbol) != NULL)
78 const char *name = SYMBOL_DEMANGLED_NAME (symbol);
79 unsigned int previous_component;
80 unsigned int next_component;
82 /* Start with a quick-and-dirty check for mention of "(anonymous
85 if (!cp_is_anonymous (name))
88 previous_component = 0;
89 next_component = cp_find_first_component (name + previous_component);
91 while (name[next_component] == ':')
93 if (((next_component - previous_component)
94 == CP_ANONYMOUS_NAMESPACE_LEN)
95 && strncmp (name + previous_component,
96 CP_ANONYMOUS_NAMESPACE_STR,
97 CP_ANONYMOUS_NAMESPACE_LEN) == 0)
99 int dest_len = (previous_component == 0
100 ? 0 : previous_component - 2);
101 int src_len = next_component;
103 char *dest = alloca (dest_len + 1);
104 char *src = alloca (src_len + 1);
106 memcpy (dest, name, dest_len);
107 memcpy (src, name, src_len);
109 dest[dest_len] = '\0';
112 /* We've found a component of the name that's an
113 anonymous namespace. So add symbols in it to the
114 namespace given by the previous component if there is
115 one, or to the global namespace if there isn't. */
116 cp_add_using_directive (dest, src, NULL, NULL,
117 &SYMBOL_SYMTAB (symbol)->objfile->objfile_obstack);
119 /* The "+ 2" is for the "::". */
120 previous_component = next_component + 2;
121 next_component = (previous_component
122 + cp_find_first_component (name
123 + previous_component));
129 /* Add a using directive to using_directives. If the using directive
130 in question has already been added, don't add it twice.
132 Create a new struct using_direct which imports the namespace SRC
133 into the scope DEST. ALIAS is the name of the imported namespace
134 in the current scope. If ALIAS is NULL then the namespace is known
135 by its original name. DECLARATION is the name if the imported
136 varable if this is a declaration import (Eg. using A::x), otherwise
137 it is NULL. The arguments are copied into newly allocated memory
138 so they can be temporaries. */
141 cp_add_using_directive (const char *dest,
144 const char *declaration,
145 struct obstack *obstack)
147 struct using_direct *current;
148 struct using_direct *new;
150 /* Has it already been added? */
152 for (current = using_directives; current != NULL; current = current->next)
154 if (strcmp (current->import_src, src) == 0
155 && strcmp (current->import_dest, dest) == 0
156 && ((alias == NULL && current->alias == NULL)
157 || (alias != NULL && current->alias != NULL
158 && strcmp (alias, current->alias) == 0))
159 && ((declaration == NULL && current->declaration == NULL)
160 || (declaration != NULL && current->declaration != NULL
161 && strcmp (declaration, current->declaration) == 0)))
165 new = OBSTACK_ZALLOC (obstack, struct using_direct);
167 new->import_src = obsavestring (src, strlen (src), obstack);
168 new->import_dest = obsavestring (dest, strlen (dest), obstack);
171 new->alias = obsavestring (alias, strlen (alias), obstack);
173 if (declaration != NULL)
174 new->declaration = obsavestring (declaration, strlen (declaration),
177 new->next = using_directives;
178 using_directives = new;
181 /* Record the namespace that the function defined by SYMBOL was
182 defined in, if necessary. BLOCK is the associated block; use
183 OBSTACK for allocation. */
186 cp_set_block_scope (const struct symbol *symbol,
188 struct obstack *obstack,
189 const char *processing_current_prefix,
190 int processing_has_namespace_info)
192 if (processing_has_namespace_info)
195 (block, obsavestring (processing_current_prefix,
196 strlen (processing_current_prefix),
200 else if (SYMBOL_DEMANGLED_NAME (symbol) != NULL)
202 /* Try to figure out the appropriate namespace from the
205 /* FIXME: carlton/2003-04-15: If the function in question is
206 a method of a class, the name will actually include the
207 name of the class as well. This should be harmless, but
208 is a little unfortunate. */
210 const char *name = SYMBOL_DEMANGLED_NAME (symbol);
211 unsigned int prefix_len = cp_entire_prefix_len (name);
213 block_set_scope (block,
214 obsavestring (name, prefix_len, obstack),
219 /* Test whether or not NAMESPACE looks like it mentions an anonymous
220 namespace; return nonzero if so. */
223 cp_is_anonymous (const char *namespace)
225 return (strstr (namespace, CP_ANONYMOUS_NAMESPACE_STR)
229 /* The C++-specific version of name lookup for static and global
230 names. This makes sure that names get looked for in all namespaces
231 that are in scope. NAME is the natural name of the symbol that
232 we're looking for, BLOCK is the block that we're searching within,
233 DOMAIN says what kind of symbols we're looking for, and if SYMTAB
234 is non-NULL, we should store the symtab where we found the symbol
238 cp_lookup_symbol_nonlocal (const char *name,
239 const struct block *block,
240 const domain_enum domain)
243 const char *scope = block_scope (block);
245 sym = lookup_namespace_scope (name, block,
250 return cp_lookup_symbol_namespace (scope, name,
254 /* Look up NAME in the C++ namespace NAMESPACE. Other arguments are
255 as in cp_lookup_symbol_nonlocal. */
257 static struct symbol *
258 cp_lookup_symbol_in_namespace (const char *namespace,
260 const struct block *block,
261 const domain_enum domain)
263 if (namespace[0] == '\0')
265 return lookup_symbol_file (name, block, domain, 0);
269 char *concatenated_name = alloca (strlen (namespace) + 2
270 + strlen (name) + 1);
272 strcpy (concatenated_name, namespace);
273 strcat (concatenated_name, "::");
274 strcat (concatenated_name, name);
275 return lookup_symbol_file (concatenated_name, block, domain,
276 cp_is_anonymous (namespace));
280 /* Used for cleanups to reset the "searched" flag incase
284 reset_directive_searched (void *data)
286 struct using_direct *direct = data;
287 direct->searched = 0;
290 /* Search for NAME by applying all import statements belonging to
291 BLOCK which are applicable in SCOPE. If DECLARATION_ONLY the
292 search is restricted to using declarations.
300 If SEARCH_PARENTS the search will include imports which are
301 applicable in parents of SCOPE.
311 If SCOPE is "A::B" and SEARCH_PARENTS is true the imports of
312 namespaces X and Y will be considered. If SEARCH_PARENTS is false
313 only the import of Y is considered. */
316 cp_lookup_symbol_imports (const char *scope,
318 const struct block *block,
319 const domain_enum domain,
320 const int declaration_only,
321 const int search_parents)
323 struct using_direct *current;
324 struct symbol *sym = NULL;
327 struct cleanup *searched_cleanup;
329 /* First, try to find the symbol in the given namespace. */
330 if (!declaration_only)
331 sym = cp_lookup_symbol_in_namespace (scope, name,
337 /* Go through the using directives. If any of them add new names to
338 the namespace we're searching in, see if we can find a match by
341 for (current = block_using (block);
343 current = current->next)
345 len = strlen (current->import_dest);
346 directive_match = (search_parents
347 ? (strncmp (scope, current->import_dest,
348 strlen (current->import_dest)) == 0
351 || scope[len] == '\0'))
352 : strcmp (scope, current->import_dest) == 0);
354 /* If the import destination is the current scope or one of its
355 ancestors then it is applicable. */
356 if (directive_match && !current->searched)
358 /* Mark this import as searched so that the recursive call
359 does not search it again. */
360 current->searched = 1;
361 searched_cleanup = make_cleanup (reset_directive_searched,
364 /* If there is an import of a single declaration, compare the
365 imported declaration (after optional renaming by its alias)
366 with the sought out name. If there is a match pass
367 current->import_src as NAMESPACE to direct the search
368 towards the imported namespace. */
369 if (current->declaration
370 && strcmp (name, current->alias
371 ? current->alias : current->declaration) == 0)
372 sym = cp_lookup_symbol_in_namespace (current->import_src,
373 current->declaration,
376 /* If this is a DECLARATION_ONLY search or a symbol was found
377 or this import statement was an import declaration, the
378 search of this import is complete. */
379 if (declaration_only || sym != NULL || current->declaration)
381 current->searched = 0;
382 discard_cleanups (searched_cleanup);
390 if (current->alias != NULL
391 && strcmp (name, current->alias) == 0)
392 /* If the import is creating an alias and the alias matches
393 the sought name. Pass current->import_src as the NAME to
394 direct the search towards the aliased namespace. */
396 sym = cp_lookup_symbol_in_namespace (scope,
400 else if (current->alias == NULL)
402 /* If this import statement creates no alias, pass
403 current->inner as NAMESPACE to direct the search
404 towards the imported namespace. */
405 sym = cp_lookup_symbol_imports (current->import_src,
409 current->searched = 0;
410 discard_cleanups (searched_cleanup);
420 /* Helper function that searches an array of symbols for one named
423 static struct symbol *
424 search_symbol_list (const char *name, int num,
425 struct symbol **syms)
429 /* Maybe we should store a dictionary in here instead. */
430 for (i = 0; i < num; ++i)
432 if (strcmp (name, SYMBOL_NATURAL_NAME (syms[i])) == 0)
438 /* Like cp_lookup_symbol_imports, but if BLOCK is a function, it
439 searches through the template parameters of the function and the
443 cp_lookup_symbol_imports_or_template (const char *scope,
445 const struct block *block,
446 const domain_enum domain)
448 struct symbol *function = BLOCK_FUNCTION (block);
450 if (function != NULL && SYMBOL_LANGUAGE (function) == language_cplus)
453 struct cplus_specific *cps
454 = function->ginfo.language_specific.cplus_specific;
456 /* Search the function's template parameters. */
457 if (SYMBOL_IS_CPLUS_TEMPLATE_FUNCTION (function))
459 struct template_symbol *templ
460 = (struct template_symbol *) function;
461 struct symbol *result;
463 result = search_symbol_list (name,
464 templ->n_template_arguments,
465 templ->template_arguments);
470 /* Search the template parameters of the function's defining
472 if (SYMBOL_NATURAL_NAME (function))
474 struct type *context;
475 char *name_copy = xstrdup (SYMBOL_NATURAL_NAME (function));
476 struct cleanup *cleanups = make_cleanup (xfree, name_copy);
477 const struct language_defn *lang = language_def (language_cplus);
478 struct gdbarch *arch = SYMBOL_SYMTAB (function)->objfile->gdbarch;
479 const struct block *parent = BLOCK_SUPERBLOCK (block);
483 struct symbol *result;
484 unsigned int prefix_len = cp_entire_prefix_len (name_copy);
490 name_copy[prefix_len] = '\0';
491 context = lookup_typename (lang, arch,
500 = search_symbol_list (name,
501 TYPE_N_TEMPLATE_ARGUMENTS (context),
502 TYPE_TEMPLATE_ARGUMENTS (context));
507 do_cleanups (cleanups);
511 return cp_lookup_symbol_imports (scope, name, block, domain, 1, 1);
514 /* Searches for NAME in the current namespace, and by applying
515 relevant import statements belonging to BLOCK and its parents.
516 SCOPE is the namespace scope of the context in which the search is
520 cp_lookup_symbol_namespace (const char *scope,
522 const struct block *block,
523 const domain_enum domain)
527 /* First, try to find the symbol in the given namespace. */
528 sym = cp_lookup_symbol_in_namespace (scope, name,
533 /* Search for name in namespaces imported to this and parent
535 while (block != NULL)
537 sym = cp_lookup_symbol_imports (scope, name, block,
543 block = BLOCK_SUPERBLOCK (block);
549 /* Lookup NAME at namespace scope (or, in C terms, in static and
550 global variables). SCOPE is the namespace that the current
551 function is defined within; only consider namespaces whose length
552 is at least SCOPE_LEN. Other arguments are as in
553 cp_lookup_symbol_nonlocal.
555 For example, if we're within a function A::B::f and looking for a
556 symbol x, this will get called with NAME = "x", SCOPE = "A::B", and
557 SCOPE_LEN = 0. It then calls itself with NAME and SCOPE the same,
558 but with SCOPE_LEN = 1. And then it calls itself with NAME and
559 SCOPE the same, but with SCOPE_LEN = 4. This third call looks for
560 "A::B::x"; if it doesn't find it, then the second call looks for
561 "A::x", and if that call fails, then the first call looks for
564 static struct symbol *
565 lookup_namespace_scope (const char *name,
566 const struct block *block,
567 const domain_enum domain,
573 if (scope[scope_len] != '\0')
575 /* Recursively search for names in child namespaces first. */
578 int new_scope_len = scope_len;
580 /* If the current scope is followed by "::", skip past that. */
581 if (new_scope_len != 0)
583 gdb_assert (scope[new_scope_len] == ':');
586 new_scope_len += cp_find_first_component (scope + new_scope_len);
587 sym = lookup_namespace_scope (name, block, domain,
588 scope, new_scope_len);
593 /* Okay, we didn't find a match in our children, so look for the
594 name in the current namespace. */
596 namespace = alloca (scope_len + 1);
597 strncpy (namespace, scope, scope_len);
598 namespace[scope_len] = '\0';
599 return cp_lookup_symbol_in_namespace (namespace, name,
603 /* Look up NAME in BLOCK's static block and in global blocks. If
604 ANONYMOUS_NAMESPACE is nonzero, the symbol in question is located
605 within an anonymous namespace. Other arguments are as in
606 cp_lookup_symbol_nonlocal. */
608 static struct symbol *
609 lookup_symbol_file (const char *name,
610 const struct block *block,
611 const domain_enum domain,
612 int anonymous_namespace)
614 struct symbol *sym = NULL;
616 sym = lookup_symbol_static (name, block, domain);
620 if (anonymous_namespace)
622 /* Symbols defined in anonymous namespaces have external linkage
623 but should be treated as local to a single file nonetheless.
624 So we only search the current file's global block. */
626 const struct block *global_block = block_global_block (block);
628 if (global_block != NULL)
629 sym = lookup_symbol_aux_block (name, global_block, domain);
633 sym = lookup_symbol_global (name, block, domain);
639 /* Now call "lookup_possible_namespace_symbol". Symbols in here
640 claim to be associated to namespaces, but this claim might be
641 incorrect: the names in question might actually correspond to
642 classes instead of namespaces. But if they correspond to
643 classes, then we should have found a match for them above. So if
644 we find them now, they should be genuine. */
646 /* FIXME: carlton/2003-06-12: This is a hack and should eventually
647 be deleted: see comments below. */
649 if (domain == VAR_DOMAIN)
651 sym = lookup_possible_namespace_symbol (name);
659 /* Look up a type named NESTED_NAME that is nested inside the C++
660 class or namespace given by PARENT_TYPE, from within the context
661 given by BLOCK. Return NULL if there is no such nested type. */
664 cp_lookup_nested_type (struct type *parent_type,
665 const char *nested_name,
666 const struct block *block)
668 switch (TYPE_CODE (parent_type))
670 case TYPE_CODE_STRUCT:
671 case TYPE_CODE_NAMESPACE:
672 case TYPE_CODE_UNION:
674 /* NOTE: carlton/2003-11-10: We don't treat C++ class members
675 of classes like, say, data or function members. Instead,
676 they're just represented by symbols whose names are
677 qualified by the name of the surrounding class. This is
678 just like members of namespaces; in particular,
679 lookup_symbol_namespace works when looking them up. */
681 const char *parent_name = TYPE_TAG_NAME (parent_type);
683 = cp_lookup_symbol_in_namespace (parent_name, nested_name,
685 char *concatenated_name;
687 if (sym != NULL && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
688 return SYMBOL_TYPE (sym);
690 /* Now search all static file-level symbols. Not strictly
691 correct, but more useful than an error. We do not try to
692 guess any imported namespace as even the fully specified
693 namespace seach is is already not C++ compliant and more
694 assumptions could make it too magic. */
696 concatenated_name = alloca (strlen (parent_name) + 2
697 + strlen (nested_name) + 1);
698 sprintf (concatenated_name, "%s::%s",
699 parent_name, nested_name);
700 sym = lookup_static_symbol_aux (concatenated_name,
702 if (sym != NULL && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
703 return SYMBOL_TYPE (sym);
708 internal_error (__FILE__, __LINE__,
709 _("cp_lookup_nested_type called "
710 "on a non-aggregate type."));
714 /* The C++-version of lookup_transparent_type. */
716 /* FIXME: carlton/2004-01-16: The problem that this is trying to
717 address is that, unfortunately, sometimes NAME is wrong: it may not
718 include the name of namespaces enclosing the type in question.
719 lookup_transparent_type gets called when the type in question
720 is a declaration, and we're trying to find its definition; but, for
721 declarations, our type name deduction mechanism doesn't work.
722 There's nothing we can do to fix this in general, I think, in the
723 absence of debug information about namespaces (I've filed PR
724 gdb/1511 about this); until such debug information becomes more
725 prevalent, one heuristic which sometimes looks is to search for the
726 definition in namespaces containing the current namespace.
728 We should delete this functions once the appropriate debug
729 information becomes more widespread. (GCC 3.4 will be the first
730 released version of GCC with such information.) */
733 cp_lookup_transparent_type (const char *name)
735 /* First, try the honest way of looking up the definition. */
736 struct type *t = basic_lookup_transparent_type (name);
742 /* If that doesn't work and we're within a namespace, look there
744 scope = block_scope (get_selected_block (0));
746 if (scope[0] == '\0')
749 return cp_lookup_transparent_type_loop (name, scope, 0);
752 /* Lookup the type definition associated to NAME in namespaces/classes
753 containing SCOPE whose name is strictly longer than LENGTH. LENGTH
754 must be the index of the start of a component of SCOPE. */
757 cp_lookup_transparent_type_loop (const char *name,
761 int scope_length = length + cp_find_first_component (scope + length);
764 /* If the current scope is followed by "::", look in the next
766 if (scope[scope_length] == ':')
769 = cp_lookup_transparent_type_loop (name, scope,
776 full_name = alloca (scope_length + 2 + strlen (name) + 1);
777 strncpy (full_name, scope, scope_length);
778 strncpy (full_name + scope_length, "::", 2);
779 strcpy (full_name + scope_length + 2, name);
781 return basic_lookup_transparent_type (full_name);
784 /* Now come functions for dealing with symbols associated to
785 namespaces. (They're used to store the namespaces themselves, not
786 objects that live in the namespaces.) These symbols come in two
787 varieties: if we run into a DW_TAG_namespace DIE, then we know that
788 we have a namespace, so dwarf2read.c creates a symbol for it just
789 like normal. But, unfortunately, versions of GCC through at least
790 3.3 don't generate those DIE's. Our solution is to try to guess
791 their existence by looking at demangled names. This might cause us
792 to misidentify classes as namespaces, however. So we put those
793 symbols in a special block (one per objfile), and we only search
794 that block as a last resort. */
796 /* FIXME: carlton/2003-06-12: Once versions of GCC that generate
797 DW_TAG_namespace have been out for a year or two, we should get rid
798 of all of this "possible namespace" nonsense. */
800 /* Allocate everything necessary for the possible namespace block
801 associated to OBJFILE. */
804 initialize_namespace_symtab (struct objfile *objfile)
806 struct symtab *namespace_symtab;
807 struct blockvector *bv;
810 namespace_symtab = allocate_symtab ("<<C++-namespaces>>", objfile);
811 namespace_symtab->language = language_cplus;
812 namespace_symtab->free_code = free_nothing;
813 namespace_symtab->dirname = NULL;
815 bv = obstack_alloc (&objfile->objfile_obstack,
816 sizeof (struct blockvector)
817 + FIRST_LOCAL_BLOCK * sizeof (struct block *));
818 BLOCKVECTOR_NBLOCKS (bv) = FIRST_LOCAL_BLOCK + 1;
819 BLOCKVECTOR (namespace_symtab) = bv;
821 /* Allocate empty GLOBAL_BLOCK and STATIC_BLOCK. */
823 bl = allocate_block (&objfile->objfile_obstack);
824 BLOCK_DICT (bl) = dict_create_linear (&objfile->objfile_obstack,
826 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = bl;
827 bl = allocate_block (&objfile->objfile_obstack);
828 BLOCK_DICT (bl) = dict_create_linear (&objfile->objfile_obstack,
830 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = bl;
832 /* Allocate the possible namespace block; we put it where the first
833 local block will live, though I don't think there's any need to
834 pretend that it's actually a local block (e.g. by setting
835 BLOCK_SUPERBLOCK appropriately). We don't use the global or
836 static block because we don't want it searched during the normal
837 search of all global/static blocks in lookup_symbol: we only want
838 it used as a last resort. */
840 /* NOTE: carlton/2003-09-11: I considered not associating the fake
841 symbols to a block/symtab at all. But that would cause problems
842 with lookup_symbol's SYMTAB argument and with block_found, so
843 having a symtab/block for this purpose seems like the best
846 bl = allocate_block (&objfile->objfile_obstack);
847 BLOCK_DICT (bl) = dict_create_hashed_expandable ();
848 BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK) = bl;
850 namespace_symtab->free_func = free_namespace_block;
852 objfile->cp_namespace_symtab = namespace_symtab;
855 /* Locate the possible namespace block associated to OBJFILE,
856 allocating it if necessary. */
858 static struct block *
859 get_possible_namespace_block (struct objfile *objfile)
861 if (objfile->cp_namespace_symtab == NULL)
862 initialize_namespace_symtab (objfile);
864 return BLOCKVECTOR_BLOCK (BLOCKVECTOR (objfile->cp_namespace_symtab),
868 /* Free the dictionary associated to the possible namespace block. */
871 free_namespace_block (struct symtab *symtab)
873 struct block *possible_namespace_block;
875 possible_namespace_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab),
877 gdb_assert (possible_namespace_block != NULL);
878 dict_free (BLOCK_DICT (possible_namespace_block));
881 /* Ensure that there are symbols in the possible namespace block
882 associated to OBJFILE for all initial substrings of NAME that look
883 like namespaces or classes. NAME should end in a member variable:
884 it shouldn't consist solely of namespaces. */
887 cp_check_possible_namespace_symbols (const char *name,
888 struct objfile *objfile)
890 check_possible_namespace_symbols_loop (name,
891 cp_find_first_component (name),
895 /* This is a helper loop for cp_check_possible_namespace_symbols; it
896 ensures that there are symbols in the possible namespace block
897 associated to OBJFILE for all namespaces that are initial
898 substrings of NAME of length at least LEN. It returns 1 if a
899 previous loop had already created the shortest such symbol and 0
902 This function assumes that if there is already a symbol associated
903 to a substring of NAME of a given length, then there are already
904 symbols associated to all substrings of NAME whose length is less
905 than that length. So if cp_check_possible_namespace_symbols has
906 been called once with argument "A::B::C::member", then that will
907 create symbols "A", "A::B", and "A::B::C". If it is then later
908 called with argument "A::B::D::member", then the new call will
909 generate a new symbol for "A::B::D", but once it sees that "A::B"
910 has already been created, it doesn't bother checking to see if "A"
911 has also been created. */
914 check_possible_namespace_symbols_loop (const char *name, int len,
915 struct objfile *objfile)
917 if (name[len] == ':')
920 int next_len = len + 2;
922 next_len += cp_find_first_component (name + next_len);
923 done = check_possible_namespace_symbols_loop (name, next_len,
927 done = check_one_possible_namespace_symbol (name, len,
936 /* Check to see if there's already a possible namespace symbol in
937 OBJFILE whose name is the initial substring of NAME of length LEN.
938 If not, create one and return 0; otherwise, return 1. */
941 check_one_possible_namespace_symbol (const char *name, int len,
942 struct objfile *objfile)
944 struct block *block = get_possible_namespace_block (objfile);
945 char *name_copy = alloca (len + 1);
948 memcpy (name_copy, name, len);
949 name_copy[len] = '\0';
950 sym = lookup_block_symbol (block, name_copy, VAR_DOMAIN);
956 type = init_type (TYPE_CODE_NAMESPACE, 0, 0,
959 TYPE_TAG_NAME (type) = TYPE_NAME (type);
961 sym = obstack_alloc (&objfile->objfile_obstack,
962 sizeof (struct symbol));
963 memset (sym, 0, sizeof (struct symbol));
964 SYMBOL_SET_LANGUAGE (sym, language_cplus);
965 /* Note that init_type copied the name to the objfile's
967 SYMBOL_SET_NAMES (sym, TYPE_NAME (type), len, 0, objfile);
968 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
969 SYMBOL_TYPE (sym) = type;
970 SYMBOL_DOMAIN (sym) = VAR_DOMAIN;
972 dict_add_symbol (BLOCK_DICT (block), sym);
980 /* Look for a symbol named NAME in all the possible namespace blocks.
981 If one is found, return it. */
983 static struct symbol *
984 lookup_possible_namespace_symbol (const char *name)
986 struct objfile *objfile;
988 ALL_OBJFILES (objfile)
992 sym = lookup_block_symbol (get_possible_namespace_block (objfile),
1002 /* Print out all the possible namespace symbols. */
1005 maintenance_cplus_namespace (char *args, int from_tty)
1007 struct objfile *objfile;
1009 printf_unfiltered (_("Possible namespaces:\n"));
1010 ALL_OBJFILES (objfile)
1012 struct dict_iterator iter;
1015 ALL_BLOCK_SYMBOLS (get_possible_namespace_block (objfile),
1018 printf_unfiltered ("%s\n", SYMBOL_PRINT_NAME (sym));
1023 /* Provide a prototype to silence -Wmissing-prototypes. */
1024 extern initialize_file_ftype _initialize_cp_namespace;
1027 _initialize_cp_namespace (void)
1029 add_cmd ("namespace", class_maintenance,
1030 maintenance_cplus_namespace,
1031 _("Print the list of possible C++ namespaces."),
1032 &maint_cplus_cmd_list);