DWARF-5 basic functionality
[deliverable/binutils-gdb.git] / gdb / block.c
CommitLineData
fe898f56
DC
1/* Block-related functions for the GNU debugger, GDB.
2
61baf725 3 Copyright (C) 2003-2017 Free Software Foundation, Inc.
fe898f56
DC
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
fe898f56
DC
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
fe898f56
DC
19
20#include "defs.h"
21#include "block.h"
22#include "symtab.h"
23#include "symfile.h"
9219021c
DC
24#include "gdb_obstack.h"
25#include "cp-support.h"
801e3a5b 26#include "addrmap.h"
8e3b41a9 27#include "gdbtypes.h"
1994afbf 28#include "objfiles.h"
9219021c
DC
29
30/* This is used by struct block to store namespace-related info for
31 C++ files, namely using declarations and the current namespace in
32 scope. */
33
34struct block_namespace_info
35{
36 const char *scope;
fe978cb0 37 struct using_direct *using_decl;
9219021c
DC
38};
39
40static void block_initialize_namespace (struct block *block,
41 struct obstack *obstack);
fe898f56 42
1994afbf
DE
43/* See block.h. */
44
45struct objfile *
46block_objfile (const struct block *block)
47{
48 const struct global_block *global_block;
49
50 if (BLOCK_FUNCTION (block) != NULL)
51 return symbol_objfile (BLOCK_FUNCTION (block));
52
53 global_block = (struct global_block *) block_global_block (block);
54 return COMPUNIT_OBJFILE (global_block->compunit_symtab);
55}
56
57/* See block. */
58
59struct gdbarch *
60block_gdbarch (const struct block *block)
61{
62 if (BLOCK_FUNCTION (block) != NULL)
63 return symbol_arch (BLOCK_FUNCTION (block));
64
65 return get_objfile_arch (block_objfile (block));
66}
67
fe898f56
DC
68/* Return Nonzero if block a is lexically nested within block b,
69 or if a and b have the same pc range.
4a64f543 70 Return zero otherwise. */
fe898f56
DC
71
72int
0cf566ec 73contained_in (const struct block *a, const struct block *b)
fe898f56
DC
74{
75 if (!a || !b)
76 return 0;
edb3359d
DJ
77
78 do
79 {
80 if (a == b)
81 return 1;
49e794ac
JB
82 /* If A is a function block, then A cannot be contained in B,
83 except if A was inlined. */
84 if (BLOCK_FUNCTION (a) != NULL && !block_inlined_p (a))
85 return 0;
edb3359d
DJ
86 a = BLOCK_SUPERBLOCK (a);
87 }
88 while (a != NULL);
89
90 return 0;
fe898f56
DC
91}
92
93
94/* Return the symbol for the function which contains a specified
7f0df278
DJ
95 lexical block, described by a struct block BL. The return value
96 will not be an inlined function; the containing function will be
97 returned instead. */
fe898f56
DC
98
99struct symbol *
7f0df278 100block_linkage_function (const struct block *bl)
fe898f56 101{
edb3359d
DJ
102 while ((BLOCK_FUNCTION (bl) == NULL || block_inlined_p (bl))
103 && BLOCK_SUPERBLOCK (bl) != NULL)
fe898f56
DC
104 bl = BLOCK_SUPERBLOCK (bl);
105
106 return BLOCK_FUNCTION (bl);
107}
108
f8eba3c6
TT
109/* Return the symbol for the function which contains a specified
110 block, described by a struct block BL. The return value will be
111 the closest enclosing function, which might be an inline
112 function. */
113
114struct symbol *
115block_containing_function (const struct block *bl)
116{
117 while (BLOCK_FUNCTION (bl) == NULL && BLOCK_SUPERBLOCK (bl) != NULL)
118 bl = BLOCK_SUPERBLOCK (bl);
119
120 return BLOCK_FUNCTION (bl);
121}
122
edb3359d
DJ
123/* Return one if BL represents an inlined function. */
124
125int
126block_inlined_p (const struct block *bl)
127{
128 return BLOCK_FUNCTION (bl) != NULL && SYMBOL_INLINED (BLOCK_FUNCTION (bl));
129}
130
9703b513
TT
131/* A helper function that checks whether PC is in the blockvector BL.
132 It returns the containing block if there is one, or else NULL. */
fe898f56 133
9703b513 134static struct block *
346d1dfe 135find_block_in_blockvector (const struct blockvector *bl, CORE_ADDR pc)
fe898f56 136{
b59661bd
AC
137 struct block *b;
138 int bot, top, half;
fe898f56 139
801e3a5b
JB
140 /* If we have an addrmap mapping code addresses to blocks, then use
141 that. */
142 if (BLOCKVECTOR_MAP (bl))
9a3c8263 143 return (struct block *) addrmap_find (BLOCKVECTOR_MAP (bl), pc);
801e3a5b
JB
144
145 /* Otherwise, use binary search to find the last block that starts
6ac9ef80
DE
146 before PC.
147 Note: GLOBAL_BLOCK is block 0, STATIC_BLOCK is block 1.
148 They both have the same START,END values.
149 Historically this code would choose STATIC_BLOCK over GLOBAL_BLOCK but the
150 fact that this choice was made was subtle, now we make it explicit. */
151 gdb_assert (BLOCKVECTOR_NBLOCKS (bl) >= 2);
152 bot = STATIC_BLOCK;
fe898f56
DC
153 top = BLOCKVECTOR_NBLOCKS (bl);
154
155 while (top - bot > 1)
156 {
157 half = (top - bot + 1) >> 1;
158 b = BLOCKVECTOR_BLOCK (bl, bot + half);
159 if (BLOCK_START (b) <= pc)
160 bot += half;
161 else
162 top = bot + half;
163 }
164
165 /* Now search backward for a block that ends after PC. */
166
6ac9ef80 167 while (bot >= STATIC_BLOCK)
fe898f56
DC
168 {
169 b = BLOCKVECTOR_BLOCK (bl, bot);
170 if (BLOCK_END (b) > pc)
9703b513 171 return b;
fe898f56
DC
172 bot--;
173 }
9703b513
TT
174
175 return NULL;
176}
177
178/* Return the blockvector immediately containing the innermost lexical
179 block containing the specified pc value and section, or 0 if there
180 is none. PBLOCK is a pointer to the block. If PBLOCK is NULL, we
181 don't pass this information back to the caller. */
182
346d1dfe 183const struct blockvector *
9703b513 184blockvector_for_pc_sect (CORE_ADDR pc, struct obj_section *section,
43f3e411
DE
185 const struct block **pblock,
186 struct compunit_symtab *cust)
9703b513 187{
346d1dfe 188 const struct blockvector *bl;
9703b513
TT
189 struct block *b;
190
43f3e411 191 if (cust == NULL)
9703b513
TT
192 {
193 /* First search all symtabs for one whose file contains our pc */
43f3e411
DE
194 cust = find_pc_sect_compunit_symtab (pc, section);
195 if (cust == NULL)
9703b513
TT
196 return 0;
197 }
198
43f3e411 199 bl = COMPUNIT_BLOCKVECTOR (cust);
9703b513
TT
200
201 /* Then search that symtab for the smallest block that wins. */
202 b = find_block_in_blockvector (bl, pc);
203 if (b == NULL)
204 return NULL;
205
206 if (pblock)
207 *pblock = b;
208 return bl;
209}
210
211/* Return true if the blockvector BV contains PC, false otherwise. */
212
213int
346d1dfe 214blockvector_contains_pc (const struct blockvector *bv, CORE_ADDR pc)
9703b513
TT
215{
216 return find_block_in_blockvector (bv, pc) != NULL;
fe898f56
DC
217}
218
8e3b41a9
JK
219/* Return call_site for specified PC in GDBARCH. PC must match exactly, it
220 must be the next instruction after call (or after tail call jump). Throw
221 NO_ENTRY_VALUE_ERROR otherwise. This function never returns NULL. */
222
223struct call_site *
224call_site_for_pc (struct gdbarch *gdbarch, CORE_ADDR pc)
225{
43f3e411 226 struct compunit_symtab *cust;
8e3b41a9
JK
227 void **slot = NULL;
228
229 /* -1 as tail call PC can be already after the compilation unit range. */
43f3e411 230 cust = find_pc_compunit_symtab (pc - 1);
8e3b41a9 231
43f3e411
DE
232 if (cust != NULL && COMPUNIT_CALL_SITE_HTAB (cust) != NULL)
233 slot = htab_find_slot (COMPUNIT_CALL_SITE_HTAB (cust), &pc, NO_INSERT);
8e3b41a9
JK
234
235 if (slot == NULL)
236 {
7cbd4a93 237 struct bound_minimal_symbol msym = lookup_minimal_symbol_by_pc (pc);
8e3b41a9
JK
238
239 /* DW_TAG_gnu_call_site will be missing just if GCC could not determine
240 the call target. */
241 throw_error (NO_ENTRY_VALUE_ERROR,
242 _("DW_OP_GNU_entry_value resolving cannot find "
243 "DW_TAG_GNU_call_site %s in %s"),
244 paddress (gdbarch, pc),
7cbd4a93 245 (msym.minsym == NULL ? "???"
efd66ac6 246 : MSYMBOL_PRINT_NAME (msym.minsym)));
8e3b41a9
JK
247 }
248
9a3c8263 249 return (struct call_site *) *slot;
8e3b41a9
JK
250}
251
fe898f56
DC
252/* Return the blockvector immediately containing the innermost lexical block
253 containing the specified pc value, or 0 if there is none.
254 Backward compatibility, no section. */
255
346d1dfe 256const struct blockvector *
3977b71f 257blockvector_for_pc (CORE_ADDR pc, const struct block **pblock)
fe898f56
DC
258{
259 return blockvector_for_pc_sect (pc, find_pc_mapped_section (pc),
801e3a5b 260 pblock, NULL);
fe898f56
DC
261}
262
263/* Return the innermost lexical block containing the specified pc value
264 in the specified section, or 0 if there is none. */
265
3977b71f 266const struct block *
714835d5 267block_for_pc_sect (CORE_ADDR pc, struct obj_section *section)
fe898f56 268{
346d1dfe 269 const struct blockvector *bl;
3977b71f 270 const struct block *b;
fe898f56 271
801e3a5b 272 bl = blockvector_for_pc_sect (pc, section, &b, NULL);
fe898f56 273 if (bl)
801e3a5b 274 return b;
fe898f56
DC
275 return 0;
276}
277
278/* Return the innermost lexical block containing the specified pc value,
279 or 0 if there is none. Backward compatibility, no section. */
280
3977b71f 281const struct block *
b59661bd 282block_for_pc (CORE_ADDR pc)
fe898f56
DC
283{
284 return block_for_pc_sect (pc, find_pc_mapped_section (pc));
285}
9219021c 286
1fcb5155
DC
287/* Now come some functions designed to deal with C++ namespace issues.
288 The accessors are safe to use even in the non-C++ case. */
289
290/* This returns the namespace that BLOCK is enclosed in, or "" if it
291 isn't enclosed in a namespace at all. This travels the chain of
292 superblocks looking for a scope, if necessary. */
293
294const char *
295block_scope (const struct block *block)
296{
297 for (; block != NULL; block = BLOCK_SUPERBLOCK (block))
298 {
299 if (BLOCK_NAMESPACE (block) != NULL
300 && BLOCK_NAMESPACE (block)->scope != NULL)
301 return BLOCK_NAMESPACE (block)->scope;
302 }
303
304 return "";
305}
9219021c
DC
306
307/* Set BLOCK's scope member to SCOPE; if needed, allocate memory via
308 OBSTACK. (It won't make a copy of SCOPE, however, so that already
309 has to be allocated correctly.) */
310
311void
312block_set_scope (struct block *block, const char *scope,
313 struct obstack *obstack)
314{
315 block_initialize_namespace (block, obstack);
316
317 BLOCK_NAMESPACE (block)->scope = scope;
318}
319
27aa8d6a 320/* This returns the using directives list associated with BLOCK, if
1fcb5155
DC
321 any. */
322
1fcb5155
DC
323struct using_direct *
324block_using (const struct block *block)
325{
27aa8d6a 326 if (block == NULL || BLOCK_NAMESPACE (block) == NULL)
1fcb5155
DC
327 return NULL;
328 else
fe978cb0 329 return BLOCK_NAMESPACE (block)->using_decl;
1fcb5155
DC
330}
331
9219021c
DC
332/* Set BLOCK's using member to USING; if needed, allocate memory via
333 OBSTACK. (It won't make a copy of USING, however, so that already
334 has to be allocated correctly.) */
335
336void
337block_set_using (struct block *block,
fe978cb0 338 struct using_direct *using_decl,
9219021c
DC
339 struct obstack *obstack)
340{
341 block_initialize_namespace (block, obstack);
342
fe978cb0 343 BLOCK_NAMESPACE (block)->using_decl = using_decl;
9219021c
DC
344}
345
346/* If BLOCK_NAMESPACE (block) is NULL, allocate it via OBSTACK and
347 ititialize its members to zero. */
348
349static void
350block_initialize_namespace (struct block *block, struct obstack *obstack)
351{
352 if (BLOCK_NAMESPACE (block) == NULL)
353 {
8d749320 354 BLOCK_NAMESPACE (block) = XOBNEW (obstack, struct block_namespace_info);
9219021c 355 BLOCK_NAMESPACE (block)->scope = NULL;
fe978cb0 356 BLOCK_NAMESPACE (block)->using_decl = NULL;
9219021c
DC
357 }
358}
89a9d1b1
DC
359
360/* Return the static block associated to BLOCK. Return NULL if block
361 is NULL or if block is a global block. */
362
363const struct block *
364block_static_block (const struct block *block)
365{
366 if (block == NULL || BLOCK_SUPERBLOCK (block) == NULL)
367 return NULL;
368
369 while (BLOCK_SUPERBLOCK (BLOCK_SUPERBLOCK (block)) != NULL)
370 block = BLOCK_SUPERBLOCK (block);
371
372 return block;
373}
1fcb5155
DC
374
375/* Return the static block associated to BLOCK. Return NULL if block
376 is NULL. */
377
378const struct block *
379block_global_block (const struct block *block)
380{
381 if (block == NULL)
382 return NULL;
383
384 while (BLOCK_SUPERBLOCK (block) != NULL)
385 block = BLOCK_SUPERBLOCK (block);
386
387 return block;
388}
5c4e30ca
DC
389
390/* Allocate a block on OBSTACK, and initialize its elements to
391 zero/NULL. This is useful for creating "dummy" blocks that don't
392 correspond to actual source files.
393
394 Warning: it sets the block's BLOCK_DICT to NULL, which isn't a
395 valid value. If you really don't want the block to have a
396 dictionary, then you should subsequently set its BLOCK_DICT to
397 dict_create_linear (obstack, NULL). */
398
399struct block *
400allocate_block (struct obstack *obstack)
401{
4c35218e 402 struct block *bl = OBSTACK_ZALLOC (obstack, struct block);
5c4e30ca
DC
403
404 return bl;
405}
8157b174 406
84a146c9
TT
407/* Allocate a global block. */
408
409struct block *
410allocate_global_block (struct obstack *obstack)
411{
412 struct global_block *bl = OBSTACK_ZALLOC (obstack, struct global_block);
413
414 return &bl->block;
415}
416
43f3e411 417/* Set the compunit of the global block. */
84a146c9
TT
418
419void
43f3e411 420set_block_compunit_symtab (struct block *block, struct compunit_symtab *cu)
84a146c9
TT
421{
422 struct global_block *gb;
423
424 gdb_assert (BLOCK_SUPERBLOCK (block) == NULL);
425 gb = (struct global_block *) block;
43f3e411
DE
426 gdb_assert (gb->compunit_symtab == NULL);
427 gb->compunit_symtab = cu;
84a146c9
TT
428}
429
63e43d3a
PMR
430/* See block.h. */
431
432struct dynamic_prop *
433block_static_link (const struct block *block)
434{
435 struct objfile *objfile = block_objfile (block);
436
437 /* Only objfile-owned blocks that materialize top function scopes can have
438 static links. */
439 if (objfile == NULL || BLOCK_FUNCTION (block) == NULL)
440 return NULL;
441
442 return (struct dynamic_prop *) objfile_lookup_static_link (objfile, block);
443}
444
43f3e411 445/* Return the compunit of the global block. */
b5b04b5b 446
43f3e411
DE
447static struct compunit_symtab *
448get_block_compunit_symtab (const struct block *block)
b5b04b5b
TT
449{
450 struct global_block *gb;
451
452 gdb_assert (BLOCK_SUPERBLOCK (block) == NULL);
453 gb = (struct global_block *) block;
43f3e411
DE
454 gdb_assert (gb->compunit_symtab != NULL);
455 return gb->compunit_symtab;
b5b04b5b
TT
456}
457
8157b174
TT
458\f
459
b5b04b5b
TT
460/* Initialize a block iterator, either to iterate over a single block,
461 or, for static and global blocks, all the included symtabs as
462 well. */
463
464static void
465initialize_block_iterator (const struct block *block,
466 struct block_iterator *iter)
467{
468 enum block_enum which;
43f3e411 469 struct compunit_symtab *cu;
b5b04b5b
TT
470
471 iter->idx = -1;
472
473 if (BLOCK_SUPERBLOCK (block) == NULL)
474 {
475 which = GLOBAL_BLOCK;
43f3e411 476 cu = get_block_compunit_symtab (block);
b5b04b5b
TT
477 }
478 else if (BLOCK_SUPERBLOCK (BLOCK_SUPERBLOCK (block)) == NULL)
479 {
480 which = STATIC_BLOCK;
43f3e411 481 cu = get_block_compunit_symtab (BLOCK_SUPERBLOCK (block));
b5b04b5b
TT
482 }
483 else
484 {
485 iter->d.block = block;
486 /* A signal value meaning that we're iterating over a single
487 block. */
488 iter->which = FIRST_LOCAL_BLOCK;
489 return;
490 }
491
492 /* If this is an included symtab, find the canonical includer and
493 use it instead. */
43f3e411
DE
494 while (cu->user != NULL)
495 cu = cu->user;
b5b04b5b
TT
496
497 /* Putting this check here simplifies the logic of the iterator
498 functions. If there are no included symtabs, we only need to
499 search a single block, so we might as well just do that
500 directly. */
43f3e411 501 if (cu->includes == NULL)
b5b04b5b
TT
502 {
503 iter->d.block = block;
504 /* A signal value meaning that we're iterating over a single
505 block. */
506 iter->which = FIRST_LOCAL_BLOCK;
507 }
508 else
509 {
43f3e411 510 iter->d.compunit_symtab = cu;
b5b04b5b
TT
511 iter->which = which;
512 }
513}
514
43f3e411 515/* A helper function that finds the current compunit over whose static
b5b04b5b
TT
516 or global block we should iterate. */
517
43f3e411
DE
518static struct compunit_symtab *
519find_iterator_compunit_symtab (struct block_iterator *iterator)
b5b04b5b
TT
520{
521 if (iterator->idx == -1)
43f3e411
DE
522 return iterator->d.compunit_symtab;
523 return iterator->d.compunit_symtab->includes[iterator->idx];
b5b04b5b
TT
524}
525
526/* Perform a single step for a plain block iterator, iterating across
527 symbol tables as needed. Returns the next symbol, or NULL when
528 iteration is complete. */
529
530static struct symbol *
531block_iterator_step (struct block_iterator *iterator, int first)
532{
533 struct symbol *sym;
534
535 gdb_assert (iterator->which != FIRST_LOCAL_BLOCK);
536
537 while (1)
538 {
539 if (first)
540 {
43f3e411
DE
541 struct compunit_symtab *cust
542 = find_iterator_compunit_symtab (iterator);
b5b04b5b
TT
543 const struct block *block;
544
545 /* Iteration is complete. */
43f3e411 546 if (cust == NULL)
b5b04b5b
TT
547 return NULL;
548
43f3e411 549 block = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust),
439247b6 550 iterator->which);
b5b04b5b
TT
551 sym = dict_iterator_first (BLOCK_DICT (block), &iterator->dict_iter);
552 }
553 else
554 sym = dict_iterator_next (&iterator->dict_iter);
555
556 if (sym != NULL)
557 return sym;
558
559 /* We have finished iterating the appropriate block of one
560 symtab. Now advance to the next symtab and begin iteration
561 there. */
562 ++iterator->idx;
563 first = 1;
564 }
565}
566
8157b174
TT
567/* See block.h. */
568
569struct symbol *
570block_iterator_first (const struct block *block,
571 struct block_iterator *iterator)
572{
b5b04b5b
TT
573 initialize_block_iterator (block, iterator);
574
575 if (iterator->which == FIRST_LOCAL_BLOCK)
576 return dict_iterator_first (block->dict, &iterator->dict_iter);
577
578 return block_iterator_step (iterator, 1);
8157b174
TT
579}
580
581/* See block.h. */
582
583struct symbol *
584block_iterator_next (struct block_iterator *iterator)
585{
b5b04b5b
TT
586 if (iterator->which == FIRST_LOCAL_BLOCK)
587 return dict_iterator_next (&iterator->dict_iter);
588
589 return block_iterator_step (iterator, 0);
590}
591
592/* Perform a single step for a "name" block iterator, iterating across
593 symbol tables as needed. Returns the next symbol, or NULL when
594 iteration is complete. */
595
596static struct symbol *
597block_iter_name_step (struct block_iterator *iterator, const char *name,
598 int first)
599{
600 struct symbol *sym;
601
602 gdb_assert (iterator->which != FIRST_LOCAL_BLOCK);
603
604 while (1)
605 {
606 if (first)
607 {
43f3e411
DE
608 struct compunit_symtab *cust
609 = find_iterator_compunit_symtab (iterator);
b5b04b5b
TT
610 const struct block *block;
611
612 /* Iteration is complete. */
43f3e411 613 if (cust == NULL)
b5b04b5b
TT
614 return NULL;
615
43f3e411 616 block = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust),
439247b6 617 iterator->which);
b5b04b5b
TT
618 sym = dict_iter_name_first (BLOCK_DICT (block), name,
619 &iterator->dict_iter);
620 }
621 else
622 sym = dict_iter_name_next (name, &iterator->dict_iter);
623
624 if (sym != NULL)
625 return sym;
626
627 /* We have finished iterating the appropriate block of one
628 symtab. Now advance to the next symtab and begin iteration
629 there. */
630 ++iterator->idx;
631 first = 1;
632 }
8157b174
TT
633}
634
635/* See block.h. */
636
637struct symbol *
638block_iter_name_first (const struct block *block,
639 const char *name,
640 struct block_iterator *iterator)
641{
b5b04b5b
TT
642 initialize_block_iterator (block, iterator);
643
644 if (iterator->which == FIRST_LOCAL_BLOCK)
645 return dict_iter_name_first (block->dict, name, &iterator->dict_iter);
646
647 return block_iter_name_step (iterator, name, 1);
8157b174
TT
648}
649
650/* See block.h. */
651
652struct symbol *
653block_iter_name_next (const char *name, struct block_iterator *iterator)
654{
b5b04b5b
TT
655 if (iterator->which == FIRST_LOCAL_BLOCK)
656 return dict_iter_name_next (name, &iterator->dict_iter);
657
658 return block_iter_name_step (iterator, name, 0);
659}
660
661/* Perform a single step for a "match" block iterator, iterating
662 across symbol tables as needed. Returns the next symbol, or NULL
663 when iteration is complete. */
664
665static struct symbol *
666block_iter_match_step (struct block_iterator *iterator,
667 const char *name,
668 symbol_compare_ftype *compare,
669 int first)
670{
671 struct symbol *sym;
672
673 gdb_assert (iterator->which != FIRST_LOCAL_BLOCK);
674
675 while (1)
676 {
677 if (first)
678 {
43f3e411
DE
679 struct compunit_symtab *cust
680 = find_iterator_compunit_symtab (iterator);
b5b04b5b
TT
681 const struct block *block;
682
683 /* Iteration is complete. */
43f3e411 684 if (cust == NULL)
b5b04b5b
TT
685 return NULL;
686
43f3e411 687 block = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust),
439247b6 688 iterator->which);
b5b04b5b
TT
689 sym = dict_iter_match_first (BLOCK_DICT (block), name,
690 compare, &iterator->dict_iter);
691 }
692 else
693 sym = dict_iter_match_next (name, compare, &iterator->dict_iter);
694
695 if (sym != NULL)
696 return sym;
697
698 /* We have finished iterating the appropriate block of one
699 symtab. Now advance to the next symtab and begin iteration
700 there. */
701 ++iterator->idx;
702 first = 1;
703 }
8157b174
TT
704}
705
706/* See block.h. */
707
708struct symbol *
709block_iter_match_first (const struct block *block,
710 const char *name,
711 symbol_compare_ftype *compare,
712 struct block_iterator *iterator)
713{
b5b04b5b
TT
714 initialize_block_iterator (block, iterator);
715
716 if (iterator->which == FIRST_LOCAL_BLOCK)
717 return dict_iter_match_first (block->dict, name, compare,
718 &iterator->dict_iter);
719
720 return block_iter_match_step (iterator, name, compare, 1);
8157b174
TT
721}
722
723/* See block.h. */
724
725struct symbol *
726block_iter_match_next (const char *name,
727 symbol_compare_ftype *compare,
728 struct block_iterator *iterator)
729{
b5b04b5b
TT
730 if (iterator->which == FIRST_LOCAL_BLOCK)
731 return dict_iter_match_next (name, compare, &iterator->dict_iter);
732
733 return block_iter_match_step (iterator, name, compare, 0);
8157b174 734}
16b2eaa1
DE
735
736/* See block.h.
737
738 Note that if NAME is the demangled form of a C++ symbol, we will fail
739 to find a match during the binary search of the non-encoded names, but
740 for now we don't worry about the slight inefficiency of looking for
741 a match we'll never find, since it will go pretty quick. Once the
742 binary search terminates, we drop through and do a straight linear
743 search on the symbols. Each symbol which is marked as being a ObjC/C++
744 symbol (language_cplus or language_objc set) has both the encoded and
745 non-encoded names tested for a match. */
746
747struct symbol *
748block_lookup_symbol (const struct block *block, const char *name,
749 const domain_enum domain)
750{
751 struct block_iterator iter;
752 struct symbol *sym;
753
754 if (!BLOCK_FUNCTION (block))
755 {
ee93cd5e
KS
756 struct symbol *other = NULL;
757
358d6ab3 758 ALL_BLOCK_SYMBOLS_WITH_NAME (block, name, iter, sym)
16b2eaa1 759 {
ee93cd5e
KS
760 if (SYMBOL_DOMAIN (sym) == domain)
761 return sym;
762 /* This is a bit of a hack, but symbol_matches_domain might ignore
763 STRUCT vs VAR domain symbols. So if a matching symbol is found,
764 make sure there is no "better" matching symbol, i.e., one with
765 exactly the same domain. PR 16253. */
16b2eaa1
DE
766 if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
767 SYMBOL_DOMAIN (sym), domain))
ee93cd5e 768 other = sym;
16b2eaa1 769 }
ee93cd5e 770 return other;
16b2eaa1
DE
771 }
772 else
773 {
774 /* Note that parameter symbols do not always show up last in the
775 list; this loop makes sure to take anything else other than
776 parameter symbols first; it only uses parameter symbols as a
777 last resort. Note that this only takes up extra computation
ee93cd5e
KS
778 time on a match.
779 It's hard to define types in the parameter list (at least in
780 C/C++) so we don't do the same PR 16253 hack here that is done
781 for the !BLOCK_FUNCTION case. */
16b2eaa1
DE
782
783 struct symbol *sym_found = NULL;
784
358d6ab3 785 ALL_BLOCK_SYMBOLS_WITH_NAME (block, name, iter, sym)
16b2eaa1
DE
786 {
787 if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
788 SYMBOL_DOMAIN (sym), domain))
789 {
790 sym_found = sym;
791 if (!SYMBOL_IS_ARGUMENT (sym))
792 {
793 break;
794 }
795 }
796 }
797 return (sym_found); /* Will be NULL if not found. */
798 }
799}
ba715d7f
JK
800
801/* See block.h. */
802
803struct symbol *
804block_lookup_symbol_primary (const struct block *block, const char *name,
805 const domain_enum domain)
806{
ee93cd5e 807 struct symbol *sym, *other;
ba715d7f
JK
808 struct dict_iterator dict_iter;
809
810 /* Verify BLOCK is STATIC_BLOCK or GLOBAL_BLOCK. */
811 gdb_assert (BLOCK_SUPERBLOCK (block) == NULL
812 || BLOCK_SUPERBLOCK (BLOCK_SUPERBLOCK (block)) == NULL);
813
ee93cd5e 814 other = NULL;
ba715d7f
JK
815 for (sym = dict_iter_name_first (block->dict, name, &dict_iter);
816 sym != NULL;
817 sym = dict_iter_name_next (name, &dict_iter))
818 {
ee93cd5e
KS
819 if (SYMBOL_DOMAIN (sym) == domain)
820 return sym;
821
822 /* This is a bit of a hack, but symbol_matches_domain might ignore
823 STRUCT vs VAR domain symbols. So if a matching symbol is found,
824 make sure there is no "better" matching symbol, i.e., one with
825 exactly the same domain. PR 16253. */
ba715d7f
JK
826 if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
827 SYMBOL_DOMAIN (sym), domain))
ee93cd5e 828 other = sym;
ba715d7f
JK
829 }
830
ee93cd5e 831 return other;
ba715d7f 832}
b2e2f908
DE
833
834/* See block.h. */
835
836struct symbol *
837block_find_symbol (const struct block *block, const char *name,
838 const domain_enum domain,
839 block_symbol_matcher_ftype *matcher, void *data)
840{
841 struct block_iterator iter;
842 struct symbol *sym;
843
844 /* Verify BLOCK is STATIC_BLOCK or GLOBAL_BLOCK. */
845 gdb_assert (BLOCK_SUPERBLOCK (block) == NULL
846 || BLOCK_SUPERBLOCK (BLOCK_SUPERBLOCK (block)) == NULL);
847
848 ALL_BLOCK_SYMBOLS_WITH_NAME (block, name, iter, sym)
849 {
850 /* MATCHER is deliberately called second here so that it never sees
851 a non-domain-matching symbol. */
852 if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
853 SYMBOL_DOMAIN (sym), domain)
854 && matcher (sym, data))
855 return sym;
856 }
857 return NULL;
858}
859
860/* See block.h. */
861
862int
863block_find_non_opaque_type (struct symbol *sym, void *data)
864{
865 return !TYPE_IS_OPAQUE (SYMBOL_TYPE (sym));
866}
867
868/* See block.h. */
869
870int
871block_find_non_opaque_type_preferred (struct symbol *sym, void *data)
872{
9a3c8263 873 struct symbol **best = (struct symbol **) data;
b2e2f908
DE
874
875 if (!TYPE_IS_OPAQUE (SYMBOL_TYPE (sym)))
876 return 1;
877 *best = sym;
878 return 0;
879}
This page took 0.881557 seconds and 4 git commands to generate.