Add amd64_x32_linux_record_tdep and amd64_x32_sys
[deliverable/binutils-gdb.git] / gdb / cp-namespace.c
CommitLineData
9219021c 1/* Helper routines for C++ support in GDB.
28e7fd62 2 Copyright (C) 2003-2013 Free Software Foundation, Inc.
9219021c 3
1fcb5155 4 Contributed by David Carlton and by Kealia, Inc.
9219021c
DC
5
6 This file is part of GDB.
7
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
a9762ec7 10 the Free Software Foundation; either version 3 of the License, or
9219021c
DC
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
a9762ec7 19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
9219021c
DC
20
21#include "defs.h"
22#include "cp-support.h"
23#include "gdb_obstack.h"
24#include "symtab.h"
25#include "symfile.h"
26#include "gdb_assert.h"
27#include "block.h"
5c4e30ca
DC
28#include "objfiles.h"
29#include "gdbtypes.h"
30#include "dictionary.h"
31#include "command.h"
b368761e 32#include "frame.h"
27aa8d6a 33#include "buildsym.h"
34eaf542 34#include "language.h"
9219021c 35
1fcb5155 36static struct symbol *lookup_namespace_scope (const char *name,
1fcb5155
DC
37 const struct block *block,
38 const domain_enum domain,
1fcb5155
DC
39 const char *scope,
40 int scope_len);
41
42static struct symbol *lookup_symbol_file (const char *name,
1fcb5155
DC
43 const struct block *block,
44 const domain_enum domain,
8dea366b
KS
45 int anonymous_namespace,
46 int search);
1fcb5155 47
b368761e
DC
48static struct type *cp_lookup_transparent_type_loop (const char *name,
49 const char *scope,
50 int scope_len);
51
9219021c
DC
52/* Check to see if SYMBOL refers to an object contained within an
53 anonymous namespace; if so, add an appropriate using directive. */
54
9219021c 55void
a10964d1
AR
56cp_scan_for_anonymous_namespaces (const struct symbol *const symbol,
57 struct objfile *const objfile)
9219021c 58{
df8a16a1 59 if (SYMBOL_DEMANGLED_NAME (symbol) != NULL)
9219021c 60 {
df8a16a1 61 const char *name = SYMBOL_DEMANGLED_NAME (symbol);
9219021c
DC
62 unsigned int previous_component;
63 unsigned int next_component;
9219021c
DC
64
65 /* Start with a quick-and-dirty check for mention of "(anonymous
66 namespace)". */
67
68 if (!cp_is_anonymous (name))
69 return;
70
71 previous_component = 0;
72 next_component = cp_find_first_component (name + previous_component);
73
74 while (name[next_component] == ':')
75 {
2b1dbab0
KS
76 if (((next_component - previous_component)
77 == CP_ANONYMOUS_NAMESPACE_LEN)
9219021c 78 && strncmp (name + previous_component,
2b1dbab0
KS
79 CP_ANONYMOUS_NAMESPACE_STR,
80 CP_ANONYMOUS_NAMESPACE_LEN) == 0)
9219021c 81 {
aff410f1
MS
82 int dest_len = (previous_component == 0
83 ? 0 : previous_component - 2);
8c902bb1 84 int src_len = next_component;
794684b6 85
8c902bb1
SW
86 char *dest = alloca (dest_len + 1);
87 char *src = alloca (src_len + 1);
794684b6 88
8c902bb1
SW
89 memcpy (dest, name, dest_len);
90 memcpy (src, name, src_len);
794684b6 91
8c902bb1
SW
92 dest[dest_len] = '\0';
93 src[src_len] = '\0';
794684b6 94
9219021c
DC
95 /* We've found a component of the name that's an
96 anonymous namespace. So add symbols in it to the
97 namespace given by the previous component if there is
98 one, or to the global namespace if there isn't. */
12aaed36 99 cp_add_using_directive (dest, src, NULL, NULL, NULL, 1,
a10964d1 100 &objfile->objfile_obstack);
9219021c
DC
101 }
102 /* The "+ 2" is for the "::". */
103 previous_component = next_component + 2;
104 next_component = (previous_component
105 + cp_find_first_component (name
106 + previous_component));
107 }
108 }
109}
110
c0cc3a76 111
aff410f1
MS
112/* Add a using directive to using_directives. If the using directive
113 in question has already been added, don't add it twice.
114
115 Create a new struct using_direct which imports the namespace SRC
116 into the scope DEST. ALIAS is the name of the imported namespace
117 in the current scope. If ALIAS is NULL then the namespace is known
118 by its original name. DECLARATION is the name if the imported
119 varable if this is a declaration import (Eg. using A::x), otherwise
12aaed36
TT
120 it is NULL. EXCLUDES is a list of names not to import from an
121 imported module or NULL. If COPY_NAMES is non-zero, then the
122 arguments are copied into newly allocated memory so they can be
123 temporaries. For EXCLUDES the VEC pointers are copied but the
32019081 124 pointed to characters are not copied. */
9219021c
DC
125
126void
13387711
SW
127cp_add_using_directive (const char *dest,
128 const char *src,
129 const char *alias,
130 const char *declaration,
32019081 131 VEC (const_char_ptr) *excludes,
12aaed36 132 int copy_names,
c0cc3a76 133 struct obstack *obstack)
9219021c
DC
134{
135 struct using_direct *current;
136 struct using_direct *new;
13387711 137
9219021c
DC
138 /* Has it already been added? */
139
27aa8d6a 140 for (current = using_directives; current != NULL; current = current->next)
9219021c 141 {
32019081
JK
142 int ix;
143 const char *param;
144
70c622a3
JK
145 if (strcmp (current->import_src, src) != 0)
146 continue;
147 if (strcmp (current->import_dest, dest) != 0)
148 continue;
149 if ((alias == NULL && current->alias != NULL)
150 || (alias != NULL && current->alias == NULL)
151 || (alias != NULL && current->alias != NULL
152 && strcmp (alias, current->alias) != 0))
153 continue;
154 if ((declaration == NULL && current->declaration != NULL)
155 || (declaration != NULL && current->declaration == NULL)
156 || (declaration != NULL && current->declaration != NULL
157 && strcmp (declaration, current->declaration) != 0))
158 continue;
159
32019081
JK
160 /* Compare the contents of EXCLUDES. */
161 for (ix = 0; VEC_iterate (const_char_ptr, excludes, ix, param); ix++)
162 if (current->excludes[ix] == NULL
163 || strcmp (param, current->excludes[ix]) != 0)
164 break;
165 if (ix < VEC_length (const_char_ptr, excludes)
166 || current->excludes[ix] != NULL)
167 continue;
168
70c622a3
JK
169 /* Parameters exactly match CURRENT. */
170 return;
9219021c
DC
171 }
172
32019081
JK
173 new = obstack_alloc (obstack, (sizeof (*new)
174 + (VEC_length (const_char_ptr, excludes)
175 * sizeof (*new->excludes))));
176 memset (new, 0, sizeof (*new));
c0cc3a76 177
12aaed36
TT
178 if (copy_names)
179 {
180 new->import_src = obstack_copy0 (obstack, src, strlen (src));
181 new->import_dest = obstack_copy0 (obstack, dest, strlen (dest));
182 }
183 else
184 {
185 new->import_src = src;
186 new->import_dest = dest;
187 }
794684b6 188
12aaed36 189 if (alias != NULL && copy_names)
10f0c4bb 190 new->alias = obstack_copy0 (obstack, alias, strlen (alias));
12aaed36
TT
191 else
192 new->alias = alias;
c0cc3a76 193
12aaed36 194 if (declaration != NULL && copy_names)
10f0c4bb
TT
195 new->declaration = obstack_copy0 (obstack,
196 declaration, strlen (declaration));
12aaed36
TT
197 else
198 new->declaration = declaration;
13387711 199
32019081
JK
200 memcpy (new->excludes, VEC_address (const_char_ptr, excludes),
201 VEC_length (const_char_ptr, excludes) * sizeof (*new->excludes));
202 new->excludes[VEC_length (const_char_ptr, excludes)] = NULL;
203
c0cc3a76
SW
204 new->next = using_directives;
205 using_directives = new;
9219021c
DC
206}
207
9219021c
DC
208/* Test whether or not NAMESPACE looks like it mentions an anonymous
209 namespace; return nonzero if so. */
210
211int
212cp_is_anonymous (const char *namespace)
213{
2b1dbab0 214 return (strstr (namespace, CP_ANONYMOUS_NAMESPACE_STR)
9219021c
DC
215 != NULL);
216}
217
1fcb5155
DC
218/* The C++-specific version of name lookup for static and global
219 names. This makes sure that names get looked for in all namespaces
220 that are in scope. NAME is the natural name of the symbol that
94af9270 221 we're looking for, BLOCK is the block that we're searching within,
aff410f1
MS
222 DOMAIN says what kind of symbols we're looking for, and if SYMTAB
223 is non-NULL, we should store the symtab where we found the symbol
224 in it. */
1fcb5155
DC
225
226struct symbol *
227cp_lookup_symbol_nonlocal (const char *name,
1fcb5155 228 const struct block *block,
21b556f4 229 const domain_enum domain)
1fcb5155 230{
8540c487
SW
231 struct symbol *sym;
232 const char *scope = block_scope (block);
233
aff410f1
MS
234 sym = lookup_namespace_scope (name, block,
235 domain, scope, 0);
8540c487
SW
236 if (sym != NULL)
237 return sym;
238
aff410f1
MS
239 return cp_lookup_symbol_namespace (scope, name,
240 block, domain);
8540c487
SW
241}
242
aff410f1 243/* Look up NAME in the C++ namespace NAMESPACE. Other arguments are
8dea366b
KS
244 as in cp_lookup_symbol_nonlocal. If SEARCH is non-zero, search
245 through base classes for a matching symbol. */
8540c487
SW
246
247static struct symbol *
248cp_lookup_symbol_in_namespace (const char *namespace,
249 const char *name,
8540c487 250 const struct block *block,
8dea366b 251 const domain_enum domain, int search)
8540c487
SW
252{
253 if (namespace[0] == '\0')
254 {
8dea366b 255 return lookup_symbol_file (name, block, domain, 0, search);
8540c487
SW
256 }
257 else
258 {
aff410f1
MS
259 char *concatenated_name = alloca (strlen (namespace) + 2
260 + strlen (name) + 1);
c5504eaf 261
8540c487
SW
262 strcpy (concatenated_name, namespace);
263 strcat (concatenated_name, "::");
264 strcat (concatenated_name, name);
aff410f1 265 return lookup_symbol_file (concatenated_name, block, domain,
8dea366b 266 cp_is_anonymous (namespace), search);
8540c487
SW
267 }
268}
269
b14e635e
SW
270/* Used for cleanups to reset the "searched" flag incase
271 of an error. */
272
273static void
274reset_directive_searched (void *data)
275{
276 struct using_direct *direct = data;
277 direct->searched = 0;
278}
279
aff410f1
MS
280/* Search for NAME by applying all import statements belonging to
281 BLOCK which are applicable in SCOPE. If DECLARATION_ONLY the
282 search is restricted to using declarations.
13387711
SW
283 Example:
284
aff410f1 285 namespace A {
13387711
SW
286 int x;
287 }
288 using A::x;
289
aff410f1
MS
290 If SEARCH_PARENTS the search will include imports which are
291 applicable in parents of SCOPE.
b14e635e
SW
292 Example:
293
aff410f1 294 namespace A {
b14e635e 295 using namespace X;
aff410f1 296 namespace B {
b14e635e
SW
297 using namespace Y;
298 }
299 }
300
aff410f1
MS
301 If SCOPE is "A::B" and SEARCH_PARENTS is true the imports of
302 namespaces X and Y will be considered. If SEARCH_PARENTS is false
303 only the import of Y is considered. */
8540c487 304
13387711 305struct symbol *
8540c487
SW
306cp_lookup_symbol_imports (const char *scope,
307 const char *name,
8540c487 308 const struct block *block,
b14e635e 309 const domain_enum domain,
13387711 310 const int declaration_only,
b14e635e 311 const int search_parents)
8540c487 312{
b14e635e 313 struct using_direct *current;
13387711 314 struct symbol *sym = NULL;
8540c487 315 int len;
b14e635e
SW
316 int directive_match;
317 struct cleanup *searched_cleanup;
8540c487
SW
318
319 /* First, try to find the symbol in the given namespace. */
13387711 320 if (!declaration_only)
aff410f1 321 sym = cp_lookup_symbol_in_namespace (scope, name,
8dea366b 322 block, domain, 1);
13387711 323
8540c487
SW
324 if (sym != NULL)
325 return sym;
326
aff410f1
MS
327 /* Go through the using directives. If any of them add new names to
328 the namespace we're searching in, see if we can find a match by
329 applying them. */
8540c487
SW
330
331 for (current = block_using (block);
332 current != NULL;
333 current = current->next)
334 {
32019081
JK
335 const char **excludep;
336
b14e635e
SW
337 len = strlen (current->import_dest);
338 directive_match = (search_parents
339 ? (strncmp (scope, current->import_dest,
340 strlen (current->import_dest)) == 0
341 && (len == 0
aff410f1
MS
342 || scope[len] == ':'
343 || scope[len] == '\0'))
b14e635e 344 : strcmp (scope, current->import_dest) == 0);
8540c487 345
aff410f1
MS
346 /* If the import destination is the current scope or one of its
347 ancestors then it is applicable. */
b14e635e 348 if (directive_match && !current->searched)
8540c487 349 {
a1d705ee
TT
350 /* Mark this import as searched so that the recursive call
351 does not search it again. */
352 current->searched = 1;
353 searched_cleanup = make_cleanup (reset_directive_searched,
354 current);
355
356 /* If there is an import of a single declaration, compare the
357 imported declaration (after optional renaming by its alias)
358 with the sought out name. If there is a match pass
359 current->import_src as NAMESPACE to direct the search
360 towards the imported namespace. */
361 if (current->declaration
362 && strcmp (name, current->alias
363 ? current->alias : current->declaration) == 0)
364 sym = cp_lookup_symbol_in_namespace (current->import_src,
365 current->declaration,
8dea366b 366 block, domain, 1);
a1d705ee
TT
367
368 /* If this is a DECLARATION_ONLY search or a symbol was found
369 or this import statement was an import declaration, the
370 search of this import is complete. */
371 if (declaration_only || sym != NULL || current->declaration)
372 {
373 current->searched = 0;
374 discard_cleanups (searched_cleanup);
375
376 if (sym != NULL)
377 return sym;
378
379 continue;
380 }
381
382 /* Do not follow CURRENT if NAME matches its EXCLUDES. */
383 for (excludep = current->excludes; *excludep; excludep++)
384 if (strcmp (name, *excludep) == 0)
385 break;
386 if (*excludep)
387 {
388 discard_cleanups (searched_cleanup);
389 continue;
390 }
391
392 if (current->alias != NULL
393 && strcmp (name, current->alias) == 0)
394 /* If the import is creating an alias and the alias matches
395 the sought name. Pass current->import_src as the NAME to
396 direct the search towards the aliased namespace. */
397 {
398 sym = cp_lookup_symbol_in_namespace (scope,
399 current->import_src,
8dea366b 400 block, domain, 1);
a1d705ee
TT
401 }
402 else if (current->alias == NULL)
403 {
404 /* If this import statement creates no alias, pass
405 current->inner as NAMESPACE to direct the search
406 towards the imported namespace. */
407 sym = cp_lookup_symbol_imports (current->import_src,
408 name, block,
409 domain, 0, 0);
410 }
411 current->searched = 0;
412 discard_cleanups (searched_cleanup);
413
414 if (sym != NULL)
415 return sym;
8540c487
SW
416 }
417 }
418
419 return NULL;
420}
421
34eaf542
TT
422/* Helper function that searches an array of symbols for one named
423 NAME. */
424
425static struct symbol *
aff410f1
MS
426search_symbol_list (const char *name, int num,
427 struct symbol **syms)
34eaf542
TT
428{
429 int i;
430
431 /* Maybe we should store a dictionary in here instead. */
432 for (i = 0; i < num; ++i)
433 {
434 if (strcmp (name, SYMBOL_NATURAL_NAME (syms[i])) == 0)
435 return syms[i];
436 }
437 return NULL;
438}
439
440/* Like cp_lookup_symbol_imports, but if BLOCK is a function, it
441 searches through the template parameters of the function and the
442 function's type. */
443
444struct symbol *
445cp_lookup_symbol_imports_or_template (const char *scope,
446 const char *name,
447 const struct block *block,
448 const domain_enum domain)
449{
450 struct symbol *function = BLOCK_FUNCTION (block);
451
452 if (function != NULL && SYMBOL_LANGUAGE (function) == language_cplus)
453 {
34eaf542
TT
454 /* Search the function's template parameters. */
455 if (SYMBOL_IS_CPLUS_TEMPLATE_FUNCTION (function))
456 {
aff410f1
MS
457 struct template_symbol *templ
458 = (struct template_symbol *) function;
34eaf542
TT
459 struct symbol *result;
460
461 result = search_symbol_list (name,
462 templ->n_template_arguments,
463 templ->template_arguments);
464 if (result != NULL)
465 return result;
466 }
467
468 /* Search the template parameters of the function's defining
469 context. */
470 if (SYMBOL_NATURAL_NAME (function))
471 {
472 struct type *context;
473 char *name_copy = xstrdup (SYMBOL_NATURAL_NAME (function));
474 struct cleanup *cleanups = make_cleanup (xfree, name_copy);
475 const struct language_defn *lang = language_def (language_cplus);
df6d5441
TT
476 struct gdbarch *arch
477 = get_objfile_arch (SYMBOL_SYMTAB (function)->objfile);
34eaf542
TT
478 const struct block *parent = BLOCK_SUPERBLOCK (block);
479
480 while (1)
481 {
482 struct symbol *result;
483 unsigned int prefix_len = cp_entire_prefix_len (name_copy);
484
485 if (prefix_len == 0)
486 context = NULL;
487 else
488 {
489 name_copy[prefix_len] = '\0';
aff410f1
MS
490 context = lookup_typename (lang, arch,
491 name_copy,
492 parent, 1);
34eaf542
TT
493 }
494
495 if (context == NULL)
496 break;
497
aff410f1
MS
498 result
499 = search_symbol_list (name,
500 TYPE_N_TEMPLATE_ARGUMENTS (context),
501 TYPE_TEMPLATE_ARGUMENTS (context));
34eaf542 502 if (result != NULL)
c27e16e3
TT
503 {
504 do_cleanups (cleanups);
505 return result;
506 }
34eaf542
TT
507 }
508
509 do_cleanups (cleanups);
510 }
511 }
512
513 return cp_lookup_symbol_imports (scope, name, block, domain, 1, 1);
514}
515
aff410f1
MS
516 /* Searches for NAME in the current namespace, and by applying
517 relevant import statements belonging to BLOCK and its parents.
518 SCOPE is the namespace scope of the context in which the search is
519 being evaluated. */
8540c487
SW
520
521struct symbol*
522cp_lookup_symbol_namespace (const char *scope,
523 const char *name,
8540c487 524 const struct block *block,
13387711 525 const domain_enum domain)
8540c487
SW
526{
527 struct symbol *sym;
13387711
SW
528
529 /* First, try to find the symbol in the given namespace. */
aff410f1 530 sym = cp_lookup_symbol_in_namespace (scope, name,
8dea366b 531 block, domain, 1);
13387711
SW
532 if (sym != NULL)
533 return sym;
8540c487 534
aff410f1
MS
535 /* Search for name in namespaces imported to this and parent
536 blocks. */
8540c487
SW
537 while (block != NULL)
538 {
aff410f1
MS
539 sym = cp_lookup_symbol_imports (scope, name, block,
540 domain, 0, 1);
8540c487
SW
541
542 if (sym)
543 return sym;
544
545 block = BLOCK_SUPERBLOCK (block);
546 }
547
548 return NULL;
1fcb5155
DC
549}
550
551/* Lookup NAME at namespace scope (or, in C terms, in static and
552 global variables). SCOPE is the namespace that the current
553 function is defined within; only consider namespaces whose length
554 is at least SCOPE_LEN. Other arguments are as in
555 cp_lookup_symbol_nonlocal.
556
557 For example, if we're within a function A::B::f and looking for a
3882f37a 558 symbol x, this will get called with NAME = "x", SCOPE = "A::B", and
1fcb5155
DC
559 SCOPE_LEN = 0. It then calls itself with NAME and SCOPE the same,
560 but with SCOPE_LEN = 1. And then it calls itself with NAME and
561 SCOPE the same, but with SCOPE_LEN = 4. This third call looks for
562 "A::B::x"; if it doesn't find it, then the second call looks for
563 "A::x", and if that call fails, then the first call looks for
564 "x". */
565
566static struct symbol *
567lookup_namespace_scope (const char *name,
1fcb5155
DC
568 const struct block *block,
569 const domain_enum domain,
1fcb5155
DC
570 const char *scope,
571 int scope_len)
572{
573 char *namespace;
574
575 if (scope[scope_len] != '\0')
576 {
577 /* Recursively search for names in child namespaces first. */
578
579 struct symbol *sym;
580 int new_scope_len = scope_len;
581
582 /* If the current scope is followed by "::", skip past that. */
583 if (new_scope_len != 0)
584 {
585 gdb_assert (scope[new_scope_len] == ':');
586 new_scope_len += 2;
587 }
588 new_scope_len += cp_find_first_component (scope + new_scope_len);
aff410f1
MS
589 sym = lookup_namespace_scope (name, block, domain,
590 scope, new_scope_len);
1fcb5155
DC
591 if (sym != NULL)
592 return sym;
593 }
594
595 /* Okay, we didn't find a match in our children, so look for the
596 name in the current namespace. */
597
598 namespace = alloca (scope_len + 1);
599 strncpy (namespace, scope, scope_len);
600 namespace[scope_len] = '\0';
aff410f1 601 return cp_lookup_symbol_in_namespace (namespace, name,
8dea366b 602 block, domain, 1);
1fcb5155
DC
603}
604
605/* Look up NAME in BLOCK's static block and in global blocks. If
606 ANONYMOUS_NAMESPACE is nonzero, the symbol in question is located
8dea366b
KS
607 within an anonymous namespace. If SEARCH is non-zero, search through
608 base classes for a matching symbol. Other arguments are as in
1fcb5155
DC
609 cp_lookup_symbol_nonlocal. */
610
611static struct symbol *
612lookup_symbol_file (const char *name,
1fcb5155
DC
613 const struct block *block,
614 const domain_enum domain,
8dea366b 615 int anonymous_namespace, int search)
1fcb5155
DC
616{
617 struct symbol *sym = NULL;
618
94af9270 619 sym = lookup_symbol_static (name, block, domain);
1fcb5155
DC
620 if (sym != NULL)
621 return sym;
622
623 if (anonymous_namespace)
624 {
625 /* Symbols defined in anonymous namespaces have external linkage
626 but should be treated as local to a single file nonetheless.
627 So we only search the current file's global block. */
628
629 const struct block *global_block = block_global_block (block);
630
631 if (global_block != NULL)
94af9270 632 sym = lookup_symbol_aux_block (name, global_block, domain);
1fcb5155
DC
633 }
634 else
635 {
94af9270 636 sym = lookup_symbol_global (name, block, domain);
5c4e30ca
DC
637 }
638
8dea366b
KS
639 if (sym != NULL)
640 return sym;
641
642 if (search)
643 {
644 char *klass, *nested;
645 unsigned int prefix_len;
646 struct cleanup *cleanup;
647 struct symbol *klass_sym;
648
649 /* A simple lookup failed. Check if the symbol was defined in
650 a base class. */
651
652 cleanup = make_cleanup (null_cleanup, NULL);
653
654 /* Find the name of the class and the name of the method,
655 variable, etc. */
656 prefix_len = cp_entire_prefix_len (name);
657
658 /* If no prefix was found, search "this". */
659 if (prefix_len == 0)
660 {
661 struct type *type;
662 struct symbol *this;
663
664 this = lookup_language_this (language_def (language_cplus), block);
665 if (this == NULL)
666 {
667 do_cleanups (cleanup);
668 return NULL;
669 }
670
671 type = check_typedef (TYPE_TARGET_TYPE (SYMBOL_TYPE (this)));
672 klass = xstrdup (TYPE_NAME (type));
673 nested = xstrdup (name);
674 }
675 else
676 {
677 /* The class name is everything up to and including PREFIX_LEN. */
678 klass = savestring (name, prefix_len);
679
680 /* The rest of the name is everything else past the initial scope
681 operator. */
682 nested = xstrdup (name + prefix_len + 2);
683 }
684
685 /* Add cleanups to free memory for these strings. */
686 make_cleanup (xfree, klass);
687 make_cleanup (xfree, nested);
688
689 /* Lookup a class named KLASS. If none is found, there is nothing
690 more that can be done. */
691 klass_sym = lookup_symbol_global (klass, block, domain);
692 if (klass_sym == NULL)
693 {
694 do_cleanups (cleanup);
695 return NULL;
696 }
697
698 /* Look for a symbol named NESTED in this class. */
699 sym = cp_lookup_nested_symbol (SYMBOL_TYPE (klass_sym), nested, block);
700 do_cleanups (cleanup);
701 }
702
703 return sym;
704}
705
f7e3ecae
KS
706/* Search through the base classes of PARENT_TYPE for a base class
707 named NAME and return its type. If not found, return NULL. */
708
709struct type *
710find_type_baseclass_by_name (struct type *parent_type, const char *name)
711{
712 int i;
713
714 CHECK_TYPEDEF (parent_type);
715 for (i = 0; i < TYPE_N_BASECLASSES (parent_type); ++i)
716 {
717 struct type *type = check_typedef (TYPE_BASECLASS (parent_type, i));
718 const char *base_name = TYPE_BASECLASS_NAME (parent_type, i);
719
720 if (base_name == NULL)
721 continue;
722
723 if (streq (base_name, name))
724 return type;
725
726 type = find_type_baseclass_by_name (type, name);
727 if (type != NULL)
728 return type;
729 }
730
731 return NULL;
732}
733
8dea366b
KS
734/* Search through the base classes of PARENT_TYPE for a symbol named
735 NAME in block BLOCK. */
736
737static struct symbol *
738find_symbol_in_baseclass (struct type *parent_type, const char *name,
739 const struct block *block)
740{
741 int i;
742 struct symbol *sym;
743 struct cleanup *cleanup;
744 char *concatenated_name;
745
746 sym = NULL;
747 concatenated_name = NULL;
748 cleanup = make_cleanup (free_current_contents, &concatenated_name);
749 for (i = 0; i < TYPE_N_BASECLASSES (parent_type); ++i)
750 {
751 size_t len;
69fc87c2 752 struct type *base_type = TYPE_BASECLASS (parent_type, i);
8dea366b
KS
753 const char *base_name = TYPE_BASECLASS_NAME (parent_type, i);
754
755 if (base_name == NULL)
756 continue;
757
758 /* Search this particular base class. */
69fc87c2
DE
759 sym = cp_lookup_symbol_in_namespace (base_name, name, block,
760 VAR_DOMAIN, 0);
8dea366b
KS
761 if (sym != NULL)
762 break;
763
69fc87c2
DE
764 /* Now search all static file-level symbols. We have to do this for
765 things like typedefs in the class. First search in this symtab,
766 what we want is possibly there. */
8dea366b
KS
767 len = strlen (base_name) + 2 + strlen (name) + 1;
768 concatenated_name = xrealloc (concatenated_name, len);
769 xsnprintf (concatenated_name, len, "%s::%s", base_name, name);
770 sym = lookup_symbol_static (concatenated_name, block, VAR_DOMAIN);
69fc87c2
DE
771 if (sym != NULL)
772 break;
8dea366b 773
69fc87c2
DE
774 /* Nope. We now have to search all static blocks in all objfiles,
775 even if block != NULL, because there's no guarantees as to which
776 symtab the symbol we want is in. */
777 sym = lookup_static_symbol_aux (concatenated_name, VAR_DOMAIN);
778 if (sym != NULL)
779 break;
8dea366b
KS
780
781 /* If this class has base classes, search them next. */
69fc87c2
DE
782 CHECK_TYPEDEF (base_type);
783 if (TYPE_N_BASECLASSES (base_type) > 0)
8dea366b 784 {
69fc87c2 785 sym = find_symbol_in_baseclass (base_type, name, block);
8dea366b
KS
786 if (sym != NULL)
787 break;
788 }
789 }
790
791 do_cleanups (cleanup);
0c2e6019 792 return sym;
5c4e30ca
DC
793}
794
50af5481 795/* Look up a symbol named NESTED_NAME that is nested inside the C++
79c2c32d
DC
796 class or namespace given by PARENT_TYPE, from within the context
797 given by BLOCK. Return NULL if there is no such nested type. */
798
50af5481
JK
799struct symbol *
800cp_lookup_nested_symbol (struct type *parent_type,
801 const char *nested_name,
802 const struct block *block)
79c2c32d 803{
d8228535
JK
804 /* type_name_no_tag_required provides better error reporting using the
805 original type. */
806 struct type *saved_parent_type = parent_type;
807
808 CHECK_TYPEDEF (parent_type);
809
79c2c32d
DC
810 switch (TYPE_CODE (parent_type))
811 {
63d06c5c 812 case TYPE_CODE_STRUCT:
79c2c32d 813 case TYPE_CODE_NAMESPACE:
48e32051 814 case TYPE_CODE_UNION:
530e8392
KB
815 /* NOTE: Handle modules here as well, because Fortran is re-using the C++
816 specific code to lookup nested symbols in modules, by calling the
817 function pointer la_lookup_symbol_nonlocal, which ends up here. */
818 case TYPE_CODE_MODULE:
79c2c32d 819 {
63d06c5c
DC
820 /* NOTE: carlton/2003-11-10: We don't treat C++ class members
821 of classes like, say, data or function members. Instead,
822 they're just represented by symbols whose names are
823 qualified by the name of the surrounding class. This is
824 just like members of namespaces; in particular,
825 lookup_symbol_namespace works when looking them up. */
826
08850b56 827 int size;
d8228535 828 const char *parent_name = type_name_no_tag_or_error (saved_parent_type);
aff410f1
MS
829 struct symbol *sym
830 = cp_lookup_symbol_in_namespace (parent_name, nested_name,
8dea366b 831 block, VAR_DOMAIN, 0);
41f62f39 832 char *concatenated_name;
c5504eaf 833
50af5481
JK
834 if (sym != NULL)
835 return sym;
41f62f39 836
69fc87c2
DE
837 /* Now search all static file-level symbols. We have to do this
838 for things like typedefs in the class. We do not try to
aff410f1 839 guess any imported namespace as even the fully specified
8dea366b 840 namespace search is already not C++ compliant and more
aff410f1 841 assumptions could make it too magic. */
41f62f39 842
08850b56
PM
843 size = strlen (parent_name) + 2 + strlen (nested_name) + 1;
844 concatenated_name = alloca (size);
845 xsnprintf (concatenated_name, size, "%s::%s",
aff410f1 846 parent_name, nested_name);
50af5481
JK
847 sym = lookup_static_symbol_aux (concatenated_name, VAR_DOMAIN);
848 if (sym != NULL)
849 return sym;
41f62f39 850
8dea366b
KS
851 /* If no matching symbols were found, try searching any
852 base classes. */
853 return find_symbol_in_baseclass (parent_type, nested_name, block);
79c2c32d 854 }
bb869963
SDJ
855
856 case TYPE_CODE_FUNC:
857 case TYPE_CODE_METHOD:
858 return NULL;
859
79c2c32d
DC
860 default:
861 internal_error (__FILE__, __LINE__,
50af5481 862 _("cp_lookup_nested_symbol called "
3e43a32a 863 "on a non-aggregate type."));
79c2c32d
DC
864 }
865}
866
b368761e
DC
867/* The C++-version of lookup_transparent_type. */
868
869/* FIXME: carlton/2004-01-16: The problem that this is trying to
870 address is that, unfortunately, sometimes NAME is wrong: it may not
871 include the name of namespaces enclosing the type in question.
b021a221 872 lookup_transparent_type gets called when the type in question
b368761e
DC
873 is a declaration, and we're trying to find its definition; but, for
874 declarations, our type name deduction mechanism doesn't work.
875 There's nothing we can do to fix this in general, I think, in the
876 absence of debug information about namespaces (I've filed PR
877 gdb/1511 about this); until such debug information becomes more
878 prevalent, one heuristic which sometimes looks is to search for the
879 definition in namespaces containing the current namespace.
880
881 We should delete this functions once the appropriate debug
882 information becomes more widespread. (GCC 3.4 will be the first
883 released version of GCC with such information.) */
884
885struct type *
886cp_lookup_transparent_type (const char *name)
887{
888 /* First, try the honest way of looking up the definition. */
889 struct type *t = basic_lookup_transparent_type (name);
890 const char *scope;
891
892 if (t != NULL)
893 return t;
894
895 /* If that doesn't work and we're within a namespace, look there
896 instead. */
897 scope = block_scope (get_selected_block (0));
898
899 if (scope[0] == '\0')
900 return NULL;
901
902 return cp_lookup_transparent_type_loop (name, scope, 0);
903}
904
b021a221
MS
905/* Lookup the type definition associated to NAME in namespaces/classes
906 containing SCOPE whose name is strictly longer than LENGTH. LENGTH
907 must be the index of the start of a component of SCOPE. */
b368761e
DC
908
909static struct type *
aff410f1
MS
910cp_lookup_transparent_type_loop (const char *name,
911 const char *scope,
b368761e
DC
912 int length)
913{
1198ecbe 914 int scope_length = length + cp_find_first_component (scope + length);
b368761e
DC
915 char *full_name;
916
917 /* If the current scope is followed by "::", look in the next
918 component. */
919 if (scope[scope_length] == ':')
920 {
921 struct type *retval
aff410f1
MS
922 = cp_lookup_transparent_type_loop (name, scope,
923 scope_length + 2);
c5504eaf 924
b368761e
DC
925 if (retval != NULL)
926 return retval;
927 }
928
929 full_name = alloca (scope_length + 2 + strlen (name) + 1);
930 strncpy (full_name, scope, scope_length);
931 strncpy (full_name + scope_length, "::", 2);
932 strcpy (full_name + scope_length + 2, name);
933
934 return basic_lookup_transparent_type (full_name);
935}
936
0c2e6019
TT
937/* This used to do something but was removed when it became
938 obsolete. */
5c4e30ca
DC
939
940static void
941maintenance_cplus_namespace (char *args, int from_tty)
942{
0c2e6019 943 printf_unfiltered (_("The `maint namespace' command was removed.\n"));
5c4e30ca
DC
944}
945
2c0b251b
PA
946/* Provide a prototype to silence -Wmissing-prototypes. */
947extern initialize_file_ftype _initialize_cp_namespace;
948
5c4e30ca
DC
949void
950_initialize_cp_namespace (void)
951{
0c2e6019
TT
952 struct cmd_list_element *cmd;
953
954 cmd = add_cmd ("namespace", class_maintenance,
955 maintenance_cplus_namespace,
956 _("Deprecated placeholder for removed functionality."),
957 &maint_cplus_cmd_list);
958 deprecate_cmd (cmd, NULL);
1fcb5155 959}
This page took 0.769208 seconds and 4 git commands to generate.