* gdb.cp/cp-relocate.exp: Remove single-quoting of C++ methods.
[deliverable/binutils-gdb.git] / gdb / cp-namespace.c
CommitLineData
9219021c 1/* Helper routines for C++ support in GDB.
4c38e0a4
JB
2 Copyright (C) 2003, 2004, 2007, 2008, 2009, 2010
3 Free Software Foundation, Inc.
9219021c 4
1fcb5155 5 Contributed by David Carlton and by Kealia, Inc.
9219021c
DC
6
7 This file is part of GDB.
8
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
a9762ec7 11 the Free Software Foundation; either version 3 of the License, or
9219021c
DC
12 (at your option) any later version.
13
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.
18
19 You should have received a copy of the GNU General Public License
a9762ec7 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
9219021c
DC
21
22#include "defs.h"
23#include "cp-support.h"
24#include "gdb_obstack.h"
25#include "symtab.h"
26#include "symfile.h"
27#include "gdb_assert.h"
28#include "block.h"
5c4e30ca
DC
29#include "objfiles.h"
30#include "gdbtypes.h"
31#include "dictionary.h"
32#include "command.h"
b368761e 33#include "frame.h"
27aa8d6a 34#include "buildsym.h"
9219021c 35
1fcb5155
DC
36static struct symbol *lookup_namespace_scope (const char *name,
37 const char *linkage_name,
38 const struct block *block,
39 const domain_enum domain,
1fcb5155
DC
40 const char *scope,
41 int scope_len);
42
43static struct symbol *lookup_symbol_file (const char *name,
44 const char *linkage_name,
45 const struct block *block,
46 const domain_enum domain,
1fcb5155
DC
47 int anonymous_namespace);
48
b368761e
DC
49static struct type *cp_lookup_transparent_type_loop (const char *name,
50 const char *scope,
51 int scope_len);
52
5c4e30ca
DC
53static void initialize_namespace_symtab (struct objfile *objfile);
54
55static struct block *get_possible_namespace_block (struct objfile *objfile);
56
57static void free_namespace_block (struct symtab *symtab);
58
59static int check_possible_namespace_symbols_loop (const char *name,
60 int len,
61 struct objfile *objfile);
62
63static int check_one_possible_namespace_symbol (const char *name,
64 int len,
65 struct objfile *objfile);
66
21b556f4 67static struct symbol *lookup_possible_namespace_symbol (const char *name);
5c4e30ca
DC
68
69static void maintenance_cplus_namespace (char *args, int from_tty);
70
9219021c
DC
71/* Check to see if SYMBOL refers to an object contained within an
72 anonymous namespace; if so, add an appropriate using directive. */
73
74/* Optimize away strlen ("(anonymous namespace)"). */
75
76#define ANONYMOUS_NAMESPACE_LEN 21
77
78void
79cp_scan_for_anonymous_namespaces (const struct symbol *symbol)
80{
df8a16a1 81 if (SYMBOL_DEMANGLED_NAME (symbol) != NULL)
9219021c 82 {
df8a16a1 83 const char *name = SYMBOL_DEMANGLED_NAME (symbol);
9219021c
DC
84 unsigned int previous_component;
85 unsigned int next_component;
86 const char *len;
87
88 /* Start with a quick-and-dirty check for mention of "(anonymous
89 namespace)". */
90
91 if (!cp_is_anonymous (name))
92 return;
93
94 previous_component = 0;
95 next_component = cp_find_first_component (name + previous_component);
96
97 while (name[next_component] == ':')
98 {
99 if ((next_component - previous_component) == ANONYMOUS_NAMESPACE_LEN
100 && strncmp (name + previous_component,
101 "(anonymous namespace)",
102 ANONYMOUS_NAMESPACE_LEN) == 0)
103 {
8c902bb1
SW
104 int dest_len = (previous_component == 0 ? 0 : previous_component - 2);
105 int src_len = next_component;
794684b6 106
8c902bb1
SW
107 char *dest = alloca (dest_len + 1);
108 char *src = alloca (src_len + 1);
794684b6 109
8c902bb1
SW
110 memcpy (dest, name, dest_len);
111 memcpy (src, name, src_len);
794684b6 112
8c902bb1
SW
113 dest[dest_len] = '\0';
114 src[src_len] = '\0';
794684b6 115
9219021c
DC
116 /* We've found a component of the name that's an
117 anonymous namespace. So add symbols in it to the
118 namespace given by the previous component if there is
119 one, or to the global namespace if there isn't. */
82856980 120 cp_add_using_directive (dest, src, NULL);
9219021c
DC
121 }
122 /* The "+ 2" is for the "::". */
123 previous_component = next_component + 2;
124 next_component = (previous_component
125 + cp_find_first_component (name
126 + previous_component));
127 }
128 }
129}
130
794684b6
SW
131/* Add a using directive to using_list. If the using directive in question
132 has already been added, don't add it twice. */
9219021c
DC
133
134void
82856980 135cp_add_using_directive (const char *dest, const char *src, const char *alias)
9219021c
DC
136{
137 struct using_direct *current;
138 struct using_direct *new;
139
140 /* Has it already been added? */
141
27aa8d6a 142 for (current = using_directives; current != NULL; current = current->next)
9219021c 143 {
8c902bb1
SW
144 if (strcmp (current->import_src, src) == 0
145 && strcmp (current->import_dest, dest) == 0)
9219021c
DC
146 return;
147 }
148
82856980 149 using_directives = cp_add_using (dest, src, alias, using_directives);
794684b6 150
9219021c
DC
151}
152
153/* Record the namespace that the function defined by SYMBOL was
154 defined in, if necessary. BLOCK is the associated block; use
155 OBSTACK for allocation. */
156
157void
158cp_set_block_scope (const struct symbol *symbol,
159 struct block *block,
df8a16a1
DJ
160 struct obstack *obstack,
161 const char *processing_current_prefix,
162 int processing_has_namespace_info)
9219021c 163{
df8a16a1 164 if (processing_has_namespace_info)
9219021c 165 {
df8a16a1
DJ
166 block_set_scope
167 (block, obsavestring (processing_current_prefix,
168 strlen (processing_current_prefix),
169 obstack),
170 obstack);
171 }
172 else if (SYMBOL_DEMANGLED_NAME (symbol) != NULL)
173 {
174 /* Try to figure out the appropriate namespace from the
175 demangled name. */
9219021c 176
df8a16a1
DJ
177 /* FIXME: carlton/2003-04-15: If the function in question is
178 a method of a class, the name will actually include the
179 name of the class as well. This should be harmless, but
180 is a little unfortunate. */
9219021c 181
df8a16a1
DJ
182 const char *name = SYMBOL_DEMANGLED_NAME (symbol);
183 unsigned int prefix_len = cp_entire_prefix_len (name);
9219021c 184
df8a16a1
DJ
185 block_set_scope (block,
186 obsavestring (name, prefix_len, obstack),
187 obstack);
9219021c
DC
188 }
189}
190
191/* Test whether or not NAMESPACE looks like it mentions an anonymous
192 namespace; return nonzero if so. */
193
194int
195cp_is_anonymous (const char *namespace)
196{
197 return (strstr (namespace, "(anonymous namespace)")
198 != NULL);
199}
200
82856980
SW
201/* Create a new struct using direct which imports the namespace SRC into the
202 scope DEST. ALIAS is the name of the imported namespace in the current
203 scope. If ALIAS is NULL then the namespace is known by its original name.
9219021c
DC
204 Set its next member in the linked list to NEXT; allocate all memory
205 using xmalloc. It copies the strings, so NAME can be a temporary
206 string. */
207
27aa8d6a 208struct using_direct *
8c902bb1
SW
209cp_add_using (const char *dest,
210 const char *src,
82856980 211 const char *alias,
9219021c
DC
212 struct using_direct *next)
213{
214 struct using_direct *retval;
215
9219021c 216 retval = xmalloc (sizeof (struct using_direct));
8c902bb1
SW
217 retval->import_src = savestring (src, strlen(src));
218 retval->import_dest = savestring (dest, strlen(dest));
82856980
SW
219
220 if (alias != NULL)
221 retval->alias = savestring (alias, strlen (alias));
222 else
223 retval->alias = NULL;
224
9219021c 225 retval->next = next;
b14e635e 226 retval->searched = 0;
9219021c
DC
227
228 return retval;
229}
230
1fcb5155
DC
231/* The C++-specific version of name lookup for static and global
232 names. This makes sure that names get looked for in all namespaces
233 that are in scope. NAME is the natural name of the symbol that
234 we're looking for, LINKAGE_NAME (which is optional) is its linkage
235 name, BLOCK is the block that we're searching within, DOMAIN says
236 what kind of symbols we're looking for, and if SYMTAB is non-NULL,
237 we should store the symtab where we found the symbol in it. */
238
239struct symbol *
240cp_lookup_symbol_nonlocal (const char *name,
241 const char *linkage_name,
242 const struct block *block,
21b556f4 243 const domain_enum domain)
1fcb5155 244{
8540c487
SW
245 struct symbol *sym;
246 const char *scope = block_scope (block);
247
248 sym = lookup_namespace_scope (name, linkage_name, block, domain, scope, 0);
249 if (sym != NULL)
250 return sym;
251
b14e635e
SW
252 return cp_lookup_symbol_namespace (scope, name, linkage_name, block, domain,
253 1);
8540c487
SW
254}
255
256/* Look up NAME in the C++ namespace NAMESPACE. Other arguments are as in
257 cp_lookup_symbol_nonlocal. */
258
259static struct symbol *
260cp_lookup_symbol_in_namespace (const char *namespace,
261 const char *name,
262 const char *linkage_name,
263 const struct block *block,
264 const domain_enum domain)
265{
266 if (namespace[0] == '\0')
267 {
268 return lookup_symbol_file (name, linkage_name, block,
269 domain, 0);
270 }
271 else
272 {
273 char *concatenated_name = alloca (strlen (namespace) + 2 +
274 strlen (name+ 1));
275 strcpy (concatenated_name, namespace);
276 strcat (concatenated_name, "::");
277 strcat (concatenated_name, name);
278 return lookup_symbol_file (concatenated_name, linkage_name,
279 block, domain,cp_is_anonymous (namespace));
280 }
281}
282
b14e635e
SW
283/* Used for cleanups to reset the "searched" flag incase
284 of an error. */
285
286static void
287reset_directive_searched (void *data)
288{
289 struct using_direct *direct = data;
290 direct->searched = 0;
291}
292
8540c487 293/* Search for NAME by applying all import statements belonging
b14e635e
SW
294 to BLOCK which are applicable in SCOPE.
295 If SEARCH_PARENTS the search will include imports which are applicable in
296 parents of SCOPE.
297 Example:
298
299 namespace A{
300 using namespace X;
301 namespace B{
302 using namespace Y;
303 }
304 }
305
306 If SCOPE is "A::B" and SEARCH_PARENTS is true the imports of namespaces X
307 and Y will be considered. If SEARCH_PARENTS is false only the import of Y
308 is considered. */
8540c487
SW
309
310static struct symbol *
311cp_lookup_symbol_imports (const char *scope,
312 const char *name,
313 const char *linkage_name,
314 const struct block *block,
b14e635e
SW
315 const domain_enum domain,
316 const int search_parents)
8540c487 317{
b14e635e 318 struct using_direct *current;
8540c487
SW
319 struct symbol *sym;
320 int len;
b14e635e
SW
321 int directive_match;
322 struct cleanup *searched_cleanup;
8540c487
SW
323
324 /* First, try to find the symbol in the given namespace. */
325 sym = cp_lookup_symbol_in_namespace (scope, name, linkage_name, block,
326 domain);
327 if (sym != NULL)
328 return sym;
329
330 /* Go through the using directives. If any of them add new
331 names to the namespace we're searching in, see if we can find a
332 match by applying them. */
333
334 for (current = block_using (block);
335 current != NULL;
336 current = current->next)
337 {
b14e635e
SW
338 len = strlen (current->import_dest);
339 directive_match = (search_parents
340 ? (strncmp (scope, current->import_dest,
341 strlen (current->import_dest)) == 0
342 && (len == 0
343 || scope[len] == ':' || scope[len] == '\0'))
344 : strcmp (scope, current->import_dest) == 0);
8540c487
SW
345
346 /* If the import destination is the current scope or one of its ancestors then
347 it is applicable. */
b14e635e 348 if (directive_match && !current->searched)
8540c487 349 {
b14e635e
SW
350 /* Mark this import as searched so that the recursive call does not
351 search it again. */
352 current->searched = 1;
353 searched_cleanup = make_cleanup (reset_directive_searched, current);
354
82856980
SW
355 if (current->alias != NULL && strcmp (name, current->alias) == 0)
356 /* If the import is creating an alias and the alias matches the
357 sought name. Pass current->import_src as the NAME to direct the
358 search towards the aliased namespace. */
359 {
360 sym = cp_lookup_symbol_in_namespace (scope,
361 current->import_src,
362 linkage_name,
363 block,
364 domain);
365 }
366 else if (current->alias == NULL)
367 {
368 /* If this import statement creates no alias, pass current->inner as
369 NAMESPACE to direct the search towards the imported namespace. */
370 sym = cp_lookup_symbol_imports (current->import_src,
371 name,
372 linkage_name,
373 block,
374 domain,
375 0);
376 }
b14e635e
SW
377 current->searched = 0;
378 discard_cleanups (searched_cleanup);
379
380 if (sym != NULL)
381 return sym;
8540c487
SW
382 }
383 }
384
385 return NULL;
386}
387
8540c487
SW
388 /* Searches for NAME in the current namespace, and by applying relevant import
389 statements belonging to BLOCK and its parents. SCOPE is the namespace scope
390 of the context in which the search is being evaluated. */
391
392struct symbol*
393cp_lookup_symbol_namespace (const char *scope,
394 const char *name,
395 const char *linkage_name,
396 const struct block *block,
b14e635e
SW
397 const domain_enum domain,
398 const int search_parents)
8540c487
SW
399{
400 struct symbol *sym;
401
402 /* Search for name in namespaces imported to this and parent blocks. */
403 while (block != NULL)
404 {
b14e635e
SW
405 sym = cp_lookup_symbol_imports (scope, name, linkage_name, block, domain,
406 search_parents);
8540c487
SW
407
408 if (sym)
409 return sym;
410
411 block = BLOCK_SUPERBLOCK (block);
412 }
413
414 return NULL;
1fcb5155
DC
415}
416
417/* Lookup NAME at namespace scope (or, in C terms, in static and
418 global variables). SCOPE is the namespace that the current
419 function is defined within; only consider namespaces whose length
420 is at least SCOPE_LEN. Other arguments are as in
421 cp_lookup_symbol_nonlocal.
422
423 For example, if we're within a function A::B::f and looking for a
3882f37a 424 symbol x, this will get called with NAME = "x", SCOPE = "A::B", and
1fcb5155
DC
425 SCOPE_LEN = 0. It then calls itself with NAME and SCOPE the same,
426 but with SCOPE_LEN = 1. And then it calls itself with NAME and
427 SCOPE the same, but with SCOPE_LEN = 4. This third call looks for
428 "A::B::x"; if it doesn't find it, then the second call looks for
429 "A::x", and if that call fails, then the first call looks for
430 "x". */
431
432static struct symbol *
433lookup_namespace_scope (const char *name,
434 const char *linkage_name,
435 const struct block *block,
436 const domain_enum domain,
1fcb5155
DC
437 const char *scope,
438 int scope_len)
439{
440 char *namespace;
441
442 if (scope[scope_len] != '\0')
443 {
444 /* Recursively search for names in child namespaces first. */
445
446 struct symbol *sym;
447 int new_scope_len = scope_len;
448
449 /* If the current scope is followed by "::", skip past that. */
450 if (new_scope_len != 0)
451 {
452 gdb_assert (scope[new_scope_len] == ':');
453 new_scope_len += 2;
454 }
455 new_scope_len += cp_find_first_component (scope + new_scope_len);
456 sym = lookup_namespace_scope (name, linkage_name, block,
21b556f4 457 domain, scope, new_scope_len);
1fcb5155
DC
458 if (sym != NULL)
459 return sym;
460 }
461
462 /* Okay, we didn't find a match in our children, so look for the
463 name in the current namespace. */
464
465 namespace = alloca (scope_len + 1);
466 strncpy (namespace, scope, scope_len);
467 namespace[scope_len] = '\0';
8540c487
SW
468 return cp_lookup_symbol_in_namespace (namespace, name, linkage_name,
469 block, domain);
1fcb5155
DC
470}
471
472/* Look up NAME in BLOCK's static block and in global blocks. If
473 ANONYMOUS_NAMESPACE is nonzero, the symbol in question is located
474 within an anonymous namespace. Other arguments are as in
475 cp_lookup_symbol_nonlocal. */
476
477static struct symbol *
478lookup_symbol_file (const char *name,
479 const char *linkage_name,
480 const struct block *block,
481 const domain_enum domain,
1fcb5155
DC
482 int anonymous_namespace)
483{
484 struct symbol *sym = NULL;
485
21b556f4 486 sym = lookup_symbol_static (name, linkage_name, block, domain);
1fcb5155
DC
487 if (sym != NULL)
488 return sym;
489
490 if (anonymous_namespace)
491 {
492 /* Symbols defined in anonymous namespaces have external linkage
493 but should be treated as local to a single file nonetheless.
494 So we only search the current file's global block. */
495
496 const struct block *global_block = block_global_block (block);
497
498 if (global_block != NULL)
5c4e30ca 499 sym = lookup_symbol_aux_block (name, linkage_name, global_block,
21b556f4 500 domain);
1fcb5155
DC
501 }
502 else
503 {
21b556f4 504 sym = lookup_symbol_global (name, linkage_name, block, domain);
5c4e30ca
DC
505 }
506
507 if (sym != NULL)
508 return sym;
509
510 /* Now call "lookup_possible_namespace_symbol". Symbols in here
511 claim to be associated to namespaces, but this claim might be
512 incorrect: the names in question might actually correspond to
513 classes instead of namespaces. But if they correspond to
514 classes, then we should have found a match for them above. So if
515 we find them now, they should be genuine. */
516
517 /* FIXME: carlton/2003-06-12: This is a hack and should eventually
518 be deleted: see comments below. */
519
520 if (domain == VAR_DOMAIN)
521 {
21b556f4 522 sym = lookup_possible_namespace_symbol (name);
5c4e30ca
DC
523 if (sym != NULL)
524 return sym;
525 }
526
527 return NULL;
528}
529
79c2c32d
DC
530/* Look up a type named NESTED_NAME that is nested inside the C++
531 class or namespace given by PARENT_TYPE, from within the context
532 given by BLOCK. Return NULL if there is no such nested type. */
533
79c2c32d
DC
534struct type *
535cp_lookup_nested_type (struct type *parent_type,
536 const char *nested_name,
537 const struct block *block)
538{
539 switch (TYPE_CODE (parent_type))
540 {
63d06c5c 541 case TYPE_CODE_STRUCT:
79c2c32d 542 case TYPE_CODE_NAMESPACE:
48e32051 543 case TYPE_CODE_UNION:
79c2c32d 544 {
63d06c5c
DC
545 /* NOTE: carlton/2003-11-10: We don't treat C++ class members
546 of classes like, say, data or function members. Instead,
547 they're just represented by symbols whose names are
548 qualified by the name of the surrounding class. This is
549 just like members of namespaces; in particular,
550 lookup_symbol_namespace works when looking them up. */
551
79c2c32d 552 const char *parent_name = TYPE_TAG_NAME (parent_type);
8540c487
SW
553 struct symbol *sym = cp_lookup_symbol_in_namespace (parent_name,
554 nested_name,
555 NULL,
556 block,
557 VAR_DOMAIN);
79c2c32d
DC
558 if (sym == NULL || SYMBOL_CLASS (sym) != LOC_TYPEDEF)
559 return NULL;
560 else
561 return SYMBOL_TYPE (sym);
562 }
563 default:
564 internal_error (__FILE__, __LINE__,
e2e0b3e5 565 _("cp_lookup_nested_type called on a non-aggregate type."));
79c2c32d
DC
566 }
567}
568
b368761e
DC
569/* The C++-version of lookup_transparent_type. */
570
571/* FIXME: carlton/2004-01-16: The problem that this is trying to
572 address is that, unfortunately, sometimes NAME is wrong: it may not
573 include the name of namespaces enclosing the type in question.
574 lookup_transparent_type gets called when the the type in question
575 is a declaration, and we're trying to find its definition; but, for
576 declarations, our type name deduction mechanism doesn't work.
577 There's nothing we can do to fix this in general, I think, in the
578 absence of debug information about namespaces (I've filed PR
579 gdb/1511 about this); until such debug information becomes more
580 prevalent, one heuristic which sometimes looks is to search for the
581 definition in namespaces containing the current namespace.
582
583 We should delete this functions once the appropriate debug
584 information becomes more widespread. (GCC 3.4 will be the first
585 released version of GCC with such information.) */
586
587struct type *
588cp_lookup_transparent_type (const char *name)
589{
590 /* First, try the honest way of looking up the definition. */
591 struct type *t = basic_lookup_transparent_type (name);
592 const char *scope;
593
594 if (t != NULL)
595 return t;
596
597 /* If that doesn't work and we're within a namespace, look there
598 instead. */
599 scope = block_scope (get_selected_block (0));
600
601 if (scope[0] == '\0')
602 return NULL;
603
604 return cp_lookup_transparent_type_loop (name, scope, 0);
605}
606
607/* Lookup the the type definition associated to NAME in
608 namespaces/classes containing SCOPE whose name is strictly longer
609 than LENGTH. LENGTH must be the index of the start of a
610 component of SCOPE. */
611
612static struct type *
613cp_lookup_transparent_type_loop (const char *name, const char *scope,
614 int length)
615{
1198ecbe 616 int scope_length = length + cp_find_first_component (scope + length);
b368761e
DC
617 char *full_name;
618
619 /* If the current scope is followed by "::", look in the next
620 component. */
621 if (scope[scope_length] == ':')
622 {
623 struct type *retval
624 = cp_lookup_transparent_type_loop (name, scope, scope_length + 2);
625 if (retval != NULL)
626 return retval;
627 }
628
629 full_name = alloca (scope_length + 2 + strlen (name) + 1);
630 strncpy (full_name, scope, scope_length);
631 strncpy (full_name + scope_length, "::", 2);
632 strcpy (full_name + scope_length + 2, name);
633
634 return basic_lookup_transparent_type (full_name);
635}
636
5c4e30ca
DC
637/* Now come functions for dealing with symbols associated to
638 namespaces. (They're used to store the namespaces themselves, not
639 objects that live in the namespaces.) These symbols come in two
640 varieties: if we run into a DW_TAG_namespace DIE, then we know that
641 we have a namespace, so dwarf2read.c creates a symbol for it just
642 like normal. But, unfortunately, versions of GCC through at least
643 3.3 don't generate those DIE's. Our solution is to try to guess
644 their existence by looking at demangled names. This might cause us
645 to misidentify classes as namespaces, however. So we put those
646 symbols in a special block (one per objfile), and we only search
647 that block as a last resort. */
648
649/* FIXME: carlton/2003-06-12: Once versions of GCC that generate
650 DW_TAG_namespace have been out for a year or two, we should get rid
651 of all of this "possible namespace" nonsense. */
652
653/* Allocate everything necessary for the possible namespace block
654 associated to OBJFILE. */
655
656static void
657initialize_namespace_symtab (struct objfile *objfile)
658{
659 struct symtab *namespace_symtab;
660 struct blockvector *bv;
661 struct block *bl;
662
663 namespace_symtab = allocate_symtab ("<<C++-namespaces>>", objfile);
664 namespace_symtab->language = language_cplus;
665 namespace_symtab->free_code = free_nothing;
666 namespace_symtab->dirname = NULL;
667
4a146b47 668 bv = obstack_alloc (&objfile->objfile_obstack,
5c4e30ca
DC
669 sizeof (struct blockvector)
670 + FIRST_LOCAL_BLOCK * sizeof (struct block *));
671 BLOCKVECTOR_NBLOCKS (bv) = FIRST_LOCAL_BLOCK + 1;
672 BLOCKVECTOR (namespace_symtab) = bv;
673
674 /* Allocate empty GLOBAL_BLOCK and STATIC_BLOCK. */
675
4a146b47
EZ
676 bl = allocate_block (&objfile->objfile_obstack);
677 BLOCK_DICT (bl) = dict_create_linear (&objfile->objfile_obstack,
5c4e30ca
DC
678 NULL);
679 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = bl;
4a146b47
EZ
680 bl = allocate_block (&objfile->objfile_obstack);
681 BLOCK_DICT (bl) = dict_create_linear (&objfile->objfile_obstack,
5c4e30ca
DC
682 NULL);
683 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = bl;
684
685 /* Allocate the possible namespace block; we put it where the first
686 local block will live, though I don't think there's any need to
687 pretend that it's actually a local block (e.g. by setting
688 BLOCK_SUPERBLOCK appropriately). We don't use the global or
689 static block because we don't want it searched during the normal
690 search of all global/static blocks in lookup_symbol: we only want
691 it used as a last resort. */
692
693 /* NOTE: carlton/2003-09-11: I considered not associating the fake
694 symbols to a block/symtab at all. But that would cause problems
695 with lookup_symbol's SYMTAB argument and with block_found, so
696 having a symtab/block for this purpose seems like the best
697 solution for now. */
698
4a146b47 699 bl = allocate_block (&objfile->objfile_obstack);
5c4e30ca
DC
700 BLOCK_DICT (bl) = dict_create_hashed_expandable ();
701 BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK) = bl;
702
703 namespace_symtab->free_func = free_namespace_block;
704
705 objfile->cp_namespace_symtab = namespace_symtab;
706}
707
708/* Locate the possible namespace block associated to OBJFILE,
709 allocating it if necessary. */
710
711static struct block *
712get_possible_namespace_block (struct objfile *objfile)
713{
714 if (objfile->cp_namespace_symtab == NULL)
715 initialize_namespace_symtab (objfile);
716
717 return BLOCKVECTOR_BLOCK (BLOCKVECTOR (objfile->cp_namespace_symtab),
718 FIRST_LOCAL_BLOCK);
719}
720
721/* Free the dictionary associated to the possible namespace block. */
722
723static void
724free_namespace_block (struct symtab *symtab)
725{
726 struct block *possible_namespace_block;
727
728 possible_namespace_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab),
729 FIRST_LOCAL_BLOCK);
730 gdb_assert (possible_namespace_block != NULL);
731 dict_free (BLOCK_DICT (possible_namespace_block));
732}
733
734/* Ensure that there are symbols in the possible namespace block
735 associated to OBJFILE for all initial substrings of NAME that look
736 like namespaces or classes. NAME should end in a member variable:
737 it shouldn't consist solely of namespaces. */
738
739void
740cp_check_possible_namespace_symbols (const char *name, struct objfile *objfile)
741{
742 check_possible_namespace_symbols_loop (name,
743 cp_find_first_component (name),
744 objfile);
745}
746
747/* This is a helper loop for cp_check_possible_namespace_symbols; it
748 ensures that there are symbols in the possible namespace block
749 associated to OBJFILE for all namespaces that are initial
750 substrings of NAME of length at least LEN. It returns 1 if a
751 previous loop had already created the shortest such symbol and 0
752 otherwise.
753
754 This function assumes that if there is already a symbol associated
755 to a substring of NAME of a given length, then there are already
756 symbols associated to all substrings of NAME whose length is less
757 than that length. So if cp_check_possible_namespace_symbols has
758 been called once with argument "A::B::C::member", then that will
759 create symbols "A", "A::B", and "A::B::C". If it is then later
760 called with argument "A::B::D::member", then the new call will
761 generate a new symbol for "A::B::D", but once it sees that "A::B"
762 has already been created, it doesn't bother checking to see if "A"
763 has also been created. */
764
765static int
766check_possible_namespace_symbols_loop (const char *name, int len,
767 struct objfile *objfile)
768{
769 if (name[len] == ':')
770 {
771 int done;
772 int next_len = len + 2;
773
774 next_len += cp_find_first_component (name + next_len);
775 done = check_possible_namespace_symbols_loop (name, next_len,
776 objfile);
777
778 if (!done)
779 done = check_one_possible_namespace_symbol (name, len, objfile);
780
781 return done;
1fcb5155 782 }
5c4e30ca
DC
783 else
784 return 0;
785}
786
787/* Check to see if there's already a possible namespace symbol in
788 OBJFILE whose name is the initial substring of NAME of length LEN.
789 If not, create one and return 0; otherwise, return 1. */
790
791static int
792check_one_possible_namespace_symbol (const char *name, int len,
793 struct objfile *objfile)
794{
795 struct block *block = get_possible_namespace_block (objfile);
ec5cdd75
DJ
796 char *name_copy = alloca (len + 1);
797 struct symbol *sym;
798
799 memcpy (name_copy, name, len);
800 name_copy[len] = '\0';
801 sym = lookup_block_symbol (block, name_copy, NULL, VAR_DOMAIN);
5c4e30ca
DC
802
803 if (sym == NULL)
804 {
ec5cdd75 805 struct type *type;
ec5cdd75
DJ
806
807 type = init_type (TYPE_CODE_NAMESPACE, 0, 0, name_copy, objfile);
808
5c4e30ca
DC
809 TYPE_TAG_NAME (type) = TYPE_NAME (type);
810
4a146b47 811 sym = obstack_alloc (&objfile->objfile_obstack, sizeof (struct symbol));
5c4e30ca
DC
812 memset (sym, 0, sizeof (struct symbol));
813 SYMBOL_LANGUAGE (sym) = language_cplus;
04a679b8
TT
814 /* Note that init_type copied the name to the objfile's
815 obstack. */
816 SYMBOL_SET_NAMES (sym, TYPE_NAME (type), len, 0, objfile);
5c4e30ca
DC
817 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
818 SYMBOL_TYPE (sym) = type;
819 SYMBOL_DOMAIN (sym) = VAR_DOMAIN;
820
821 dict_add_symbol (BLOCK_DICT (block), sym);
822
823 return 0;
824 }
825 else
ec5cdd75 826 return 1;
5c4e30ca
DC
827}
828
829/* Look for a symbol named NAME in all the possible namespace blocks.
21b556f4 830 If one is found, return it. */
5c4e30ca
DC
831
832static struct symbol *
21b556f4 833lookup_possible_namespace_symbol (const char *name)
5c4e30ca
DC
834{
835 struct objfile *objfile;
836
837 ALL_OBJFILES (objfile)
838 {
839 struct symbol *sym;
840
841 sym = lookup_block_symbol (get_possible_namespace_block (objfile),
842 name, NULL, VAR_DOMAIN);
843
844 if (sym != NULL)
21b556f4 845 return sym;
5c4e30ca
DC
846 }
847
848 return NULL;
849}
850
851/* Print out all the possible namespace symbols. */
852
853static void
854maintenance_cplus_namespace (char *args, int from_tty)
855{
856 struct objfile *objfile;
a3f17187 857 printf_unfiltered (_("Possible namespaces:\n"));
5c4e30ca
DC
858 ALL_OBJFILES (objfile)
859 {
860 struct dict_iterator iter;
861 struct symbol *sym;
862
863 ALL_BLOCK_SYMBOLS (get_possible_namespace_block (objfile), iter, sym)
864 {
865 printf_unfiltered ("%s\n", SYMBOL_PRINT_NAME (sym));
866 }
867 }
868}
869
2c0b251b
PA
870/* Provide a prototype to silence -Wmissing-prototypes. */
871extern initialize_file_ftype _initialize_cp_namespace;
872
5c4e30ca
DC
873void
874_initialize_cp_namespace (void)
875{
876 add_cmd ("namespace", class_maintenance, maintenance_cplus_namespace,
1a966eab 877 _("Print the list of possible C++ namespaces."),
5c4e30ca 878 &maint_cplus_cmd_list);
1fcb5155 879}
This page took 0.455378 seconds and 4 git commands to generate.