gdb/block.h

   1 /* Code dealing with blocks for GDB.
   2
   3    Copyright (C) 2003-2022 Free Software Foundation, Inc.
   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
   9    the Free Software Foundation; either version 3 of the License, or
  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
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 #ifndef BLOCK_H
  21 #define BLOCK_H
  22
  23 #include "dictionary.h"
  24 #include "gdbsupport/array-view.h"
  25
  26 /* Opaque declarations.  */
  27
  28 struct symbol;
  29 struct compunit_symtab;
  30 struct block_namespace_info;
  31 struct using_direct;
  32 struct obstack;
  33 struct addrmap;
  34
  35 /* Blocks can occupy non-contiguous address ranges.  When this occurs,
  36    startaddr and endaddr within struct block (still) specify the lowest
  37    and highest addresses of all ranges, but each individual range is
  38    specified by the addresses in struct blockrange.  */
  39
  40 struct blockrange
  41 {
  42   blockrange (CORE_ADDR start, CORE_ADDR end)
  43     : m_start (start),
  44       m_end (end)
  45   {
  46   }
  47
  48   /* Return this blockrange's start address.  */
  49   CORE_ADDR start () const
  50   { return m_start; }
  51
  52   /* Set this blockrange's start address.  */
  53   void set_start (CORE_ADDR start)
  54   { m_start = start; }
  55
  56   /* Return this blockrange's end address.  */
  57   CORE_ADDR end () const
  58   { return m_end; }
  59
  60   /* Set this blockrange's end address.  */
  61   void set_end (CORE_ADDR end)
  62   { m_end = end; }
  63
  64   /* Lowest address in this range.  */
  65
  66   CORE_ADDR m_start;
  67
  68   /* One past the highest address in the range.  */
  69
  70   CORE_ADDR m_end;
  71 };
  72
  73 /* Two or more non-contiguous ranges in the same order as that provided
  74    via the debug info.  */
  75
  76 struct blockranges
  77 {
  78   int nranges;
  79   struct blockrange range[1];
  80 };
  81
  82 /* All of the name-scope contours of the program
  83    are represented by `struct block' objects.
  84    All of these objects are pointed to by the blockvector.
  85
  86    Each block represents one name scope.
  87    Each lexical context has its own block.
  88
  89    The blockvector begins with some special blocks.
  90    The GLOBAL_BLOCK contains all the symbols defined in this compilation
  91    whose scope is the entire program linked together.
  92    The STATIC_BLOCK contains all the symbols whose scope is the
  93    entire compilation excluding other separate compilations.
  94    Blocks starting with the FIRST_LOCAL_BLOCK are not special.
  95
  96    Each block records a range of core addresses for the code that
  97    is in the scope of the block.  The STATIC_BLOCK and GLOBAL_BLOCK
  98    give, for the range of code, the entire range of code produced
  99    by the compilation that the symbol segment belongs to.
 100
 101    The blocks appear in the blockvector
 102    in order of increasing starting-address,
 103    and, within that, in order of decreasing ending-address.
 104
 105    This implies that within the body of one function
 106    the blocks appear in the order of a depth-first tree walk.  */
 107
 108 struct block
 109 {
 110   /* Return this block's start address.  */
 111   CORE_ADDR start () const
 112   { return m_start; }
 113
 114   /* Set this block's start address.  */
 115   void set_start (CORE_ADDR start)
 116   { m_start = start; }
 117
 118   /* Return this block's end address.  */
 119   CORE_ADDR end () const
 120   { return m_end; }
 121
 122   /* Set this block's end address.  */
 123   void set_end (CORE_ADDR end)
 124   { m_end = end; }
 125
 126   /* Return this block's function symbol.  */
 127   symbol *function () const
 128   { return m_function; }
 129
 130   /* Set this block's function symbol.  */
 131   void set_function (symbol *function)
 132   { m_function = function; }
 133
 134   /* Return this block's superblock.  */
 135   const block *superblock () const
 136   { return m_superblock; }
 137
 138   /* Set this block's superblock.  */
 139   void set_superblock (const block *superblock)
 140   { m_superblock = superblock; }
 141
 142   /* Return this block's multidict.  */
 143   multidictionary *multidict () const
 144   { return m_multidict; }
 145
 146   /* Set this block's multidict.  */
 147   void set_multidict (multidictionary *multidict)
 148   { m_multidict = multidict; }
 149
 150   /* Return this block's namespace info.  */
 151   block_namespace_info *namespace_info () const
 152   { return m_namespace_info; }
 153
 154   /* Set this block's namespace info.  */
 155   void set_namespace_info (block_namespace_info *namespace_info)
 156   { m_namespace_info = namespace_info; }
 157
 158   /* Return a view on this block's ranges.  */
 159   gdb::array_view<blockrange> ranges ()
 160   { return gdb::make_array_view (m_ranges->range, m_ranges->nranges); }
 161
 162   /* Const version of the above.  */
 163   gdb::array_view<const blockrange> ranges () const
 164   { return gdb::make_array_view (m_ranges->range, m_ranges->nranges); }
 165
 166   /* Set this block's ranges array.  */
 167   void set_ranges (blockranges *ranges)
 168   { m_ranges = ranges; }
 169
 170   /* Return true if all addresses within this block are contiguous.  */
 171   bool is_contiguous () const
 172   { return this->ranges ().size () <= 1; }
 173
 174   /* Return the "entry PC" of this block.
 175
 176      The entry PC is the lowest (start) address for the block when all addresses
 177      within the block are contiguous.  If non-contiguous, then use the start
 178      address for the first range in the block.
 179
 180      At the moment, this almost matches what DWARF specifies as the entry
 181      pc.  (The missing bit is support for DW_AT_entry_pc which should be
 182      preferred over range data and the low_pc.)
 183
 184      Once support for DW_AT_entry_pc is added, I expect that an entry_pc
 185      field will be added to one of these data structures.  Once that's done,
 186      the entry_pc field can be set from the dwarf reader (and other readers
 187      too).  ENTRY_PC can then be redefined to be less DWARF-centric.  */
 188
 189   CORE_ADDR entry_pc () const
 190   {
 191     if (this->is_contiguous ())
 192       return this->start ();
 193     else
 194       return this->ranges ()[0].start ();
 195   }
 196
 197   /* Addresses in the executable code that are in this block.  */
 198
 199   CORE_ADDR m_start;
 200   CORE_ADDR m_end;
 201
 202   /* The symbol that names this block, if the block is the body of a
 203      function (real or inlined); otherwise, zero.  */
 204
 205   struct symbol *m_function;
 206
 207   /* The `struct block' for the containing block, or 0 if none.
 208
 209      The superblock of a top-level local block (i.e. a function in the
 210      case of C) is the STATIC_BLOCK.  The superblock of the
 211      STATIC_BLOCK is the GLOBAL_BLOCK.  */
 212
 213   const struct block *m_superblock;
 214
 215   /* This is used to store the symbols in the block.  */
 216
 217   struct multidictionary *m_multidict;
 218
 219   /* Contains information about namespace-related info relevant to this block:
 220      using directives and the current namespace scope.  */
 221
 222   struct block_namespace_info *m_namespace_info;
 223
 224   /* Address ranges for blocks with non-contiguous ranges.  If this
 225      is NULL, then there is only one range which is specified by
 226      startaddr and endaddr above.  */
 227
 228   struct blockranges *m_ranges;
 229 };
 230
 231 /* The global block is singled out so that we can provide a back-link
 232    to the compunit symtab.  */
 233
 234 struct global_block
 235 {
 236   /* The block.  */
 237
 238   struct block block;
 239
 240   /* This holds a pointer to the compunit symtab holding this block.  */
 241
 242   struct compunit_symtab *compunit_symtab;
 243 };
 244
 245 struct blockvector
 246 {
 247   /* Return a view on the blocks of this blockvector.  */
 248   gdb::array_view<struct block *> blocks ()
 249   {
 250     return gdb::array_view<struct block *> (m_blocks, m_num_blocks);
 251   }
 252
 253   /* Const version of the above.  */
 254   gdb::array_view<const struct block *const> blocks () const
 255   {
 256     const struct block **blocks = (const struct block **) m_blocks;
 257     return gdb::array_view<const struct block *const> (blocks, m_num_blocks);
 258   }
 259
 260   /* Return the block at index I.  */
 261   struct block *block (size_t i)
 262   { return this->blocks ()[i]; }
 263
 264   /* Const version of the above.  */
 265   const struct block *block (size_t i) const
 266   { return this->blocks ()[i]; }
 267
 268   /* Set the block at index I.  */
 269   void set_block (int i, struct block *block)
 270   { m_blocks[i] = block; }
 271
 272   /* Set the number of blocks of this blockvector.
 273
 274      The storage of blocks is done using a flexible array member, so the number
 275      of blocks set here must agree with what was effectively allocated.  */
 276   void set_num_blocks (int num_blocks)
 277   { m_num_blocks = num_blocks; }
 278
 279   /* Return the number of blocks in this blockvector.  */
 280   int num_blocks () const
 281   { return m_num_blocks; }
 282
 283   /* Return the global block of this blockvector.  */
 284   struct block *global_block ()
 285   { return this->block (GLOBAL_BLOCK); }
 286
 287   /* Const version of the above.  */
 288   const struct block *global_block () const
 289   { return this->block (GLOBAL_BLOCK); }
 290
 291   /* Return the static block of this blockvector.  */
 292   struct block *static_block ()
 293   { return this->block (STATIC_BLOCK); }
 294
 295   /* Const version of the above.  */
 296   const struct block *static_block () const
 297   { return this->block (STATIC_BLOCK); }
 298
 299   /* Return the address -> block map of this blockvector.  */
 300   addrmap *map ()
 301   { return m_map; }
 302
 303   /* Const version of the above.  */
 304   const addrmap *map () const
 305   { return m_map; }
 306
 307   /* Set this blockvector's address -> block map.  */
 308   void set_map (addrmap *map)
 309   { m_map = map; }
 310
 311 private:
 312   /* An address map mapping addresses to blocks in this blockvector.
 313      This pointer is zero if the blocks' start and end addresses are
 314      enough.  */
 315   struct addrmap *m_map;
 316
 317   /* Number of blocks in the list.  */
 318   int m_num_blocks;
 319
 320   /* The blocks themselves.  */
 321   struct block *m_blocks[1];
 322 };
 323
 324 /* Return the objfile of BLOCK, which must be non-NULL.  */
 325
 326 extern struct objfile *block_objfile (const struct block *block);
 327
 328 /* Return the architecture of BLOCK, which must be non-NULL.  */
 329
 330 extern struct gdbarch *block_gdbarch (const struct block *block);
 331
 332 extern struct symbol *block_linkage_function (const struct block *);
 333
 334 extern struct symbol *block_containing_function (const struct block *);
 335
 336 extern int block_inlined_p (const struct block *block);
 337
 338 /* Return true if block A is lexically nested within block B, or if a
 339    and b have the same pc range.  Return false otherwise.  If
 340    ALLOW_NESTED is true, then block A is considered to be in block B
 341    if A is in a nested function in B's function.  If ALLOW_NESTED is
 342    false (the default), then blocks in nested functions are not
 343    considered to be contained.  */
 344
 345 extern bool contained_in (const struct block *a, const struct block *b,
 346                           bool allow_nested = false);
 347
 348 extern const struct blockvector *blockvector_for_pc (CORE_ADDR,
 349                                                const struct block **);
 350
 351 extern const struct blockvector *
 352   blockvector_for_pc_sect (CORE_ADDR, struct obj_section *,
 353                            const struct block **, struct compunit_symtab *);
 354
 355 extern int blockvector_contains_pc (const struct blockvector *bv, CORE_ADDR pc);
 356
 357 extern struct call_site *call_site_for_pc (struct gdbarch *gdbarch,
 358                                            CORE_ADDR pc);
 359
 360 extern const struct block *block_for_pc (CORE_ADDR);
 361
 362 extern const struct block *block_for_pc_sect (CORE_ADDR, struct obj_section *);
 363
 364 extern const char *block_scope (const struct block *block);
 365
 366 extern void block_set_scope (struct block *block, const char *scope,
 367                              struct obstack *obstack);
 368
 369 extern struct using_direct *block_using (const struct block *block);
 370
 371 extern void block_set_using (struct block *block,
 372                              struct using_direct *using_decl,
 373                              struct obstack *obstack);
 374
 375 extern const struct block *block_static_block (const struct block *block);
 376
 377 extern const struct block *block_global_block (const struct block *block);
 378
 379 extern struct block *allocate_block (struct obstack *obstack);
 380
 381 extern struct block *allocate_global_block (struct obstack *obstack);
 382
 383 extern void set_block_compunit_symtab (struct block *,
 384                                        struct compunit_symtab *);
 385
 386 /* Return a property to evaluate the static link associated to BLOCK.
 387
 388    In the context of nested functions (available in Pascal, Ada and GNU C, for
 389    instance), a static link (as in DWARF's DW_AT_static_link attribute) for a
 390    function is a way to get the frame corresponding to the enclosing function.
 391
 392    Note that only objfile-owned and function-level blocks can have a static
 393    link.  Return NULL if there is no such property.  */
 394
 395 extern struct dynamic_prop *block_static_link (const struct block *block);
 396
 397 /* A block iterator.  This structure should be treated as though it
 398    were opaque; it is only defined here because we want to support
 399    stack allocation of iterators.  */
 400
 401 struct block_iterator
 402 {
 403   /* If we're iterating over a single block, this holds the block.
 404      Otherwise, it holds the canonical compunit.  */
 405
 406   union
 407   {
 408     struct compunit_symtab *compunit_symtab;
 409     const struct block *block;
 410   } d;
 411
 412   /* If we're iterating over a single block, this is always -1.
 413      Otherwise, it holds the index of the current "included" symtab in
 414      the canonical symtab (that is, d.symtab->includes[idx]), with -1
 415      meaning the canonical symtab itself.  */
 416
 417   int idx;
 418
 419   /* Which block, either static or global, to iterate over.  If this
 420      is FIRST_LOCAL_BLOCK, then we are iterating over a single block.
 421      This is used to select which field of 'd' is in use.  */
 422
 423   enum block_enum which;
 424
 425   /* The underlying multidictionary iterator.  */
 426
 427   struct mdict_iterator mdict_iter;
 428 };
 429
 430 /* Initialize ITERATOR to point at the first symbol in BLOCK, and
 431    return that first symbol, or NULL if BLOCK is empty.  */
 432
 433 extern struct symbol *block_iterator_first (const struct block *block,
 434                                             struct block_iterator *iterator);
 435
 436 /* Advance ITERATOR, and return the next symbol, or NULL if there are
 437    no more symbols.  Don't call this if you've previously received
 438    NULL from block_iterator_first or block_iterator_next on this
 439    iteration.  */
 440
 441 extern struct symbol *block_iterator_next (struct block_iterator *iterator);
 442
 443 /* Initialize ITERATOR to point at the first symbol in BLOCK whose
 444    search_name () matches NAME, and return that first symbol, or
 445    NULL if there are no such symbols.  */
 446
 447 extern struct symbol *block_iter_match_first (const struct block *block,
 448                                               const lookup_name_info &name,
 449                                               struct block_iterator *iterator);
 450
 451 /* Advance ITERATOR to point at the next symbol in BLOCK whose
 452    search_name () matches NAME, or NULL if there are no more such
 453    symbols.  Don't call this if you've previously received NULL from
 454    block_iterator_match_first or block_iterator_match_next on this
 455    iteration.  And don't call it unless ITERATOR was created by a
 456    previous call to block_iter_match_first with the same NAME.  */
 457
 458 extern struct symbol *block_iter_match_next
 459   (const lookup_name_info &name, struct block_iterator *iterator);
 460
 461 /* Return true if symbol A is the best match possible for DOMAIN.  */
 462
 463 extern bool best_symbol (struct symbol *a, const domain_enum domain);
 464
 465 /* Return symbol B if it is a better match than symbol A for DOMAIN.
 466    Otherwise return A.  */
 467
 468 extern struct symbol *better_symbol (struct symbol *a, struct symbol *b,
 469                                      const domain_enum domain);
 470
 471 /* Search BLOCK for symbol NAME in DOMAIN.  */
 472
 473 extern struct symbol *block_lookup_symbol (const struct block *block,
 474                                            const char *name,
 475                                            symbol_name_match_type match_type,
 476                                            const domain_enum domain);
 477
 478 /* Search BLOCK for symbol NAME in DOMAIN but only in primary symbol table of
 479    BLOCK.  BLOCK must be STATIC_BLOCK or GLOBAL_BLOCK.  Function is useful if
 480    one iterates all global/static blocks of an objfile.  */
 481
 482 extern struct symbol *block_lookup_symbol_primary (const struct block *block,
 483                                                    const char *name,
 484                                                    const domain_enum domain);
 485
 486 /* The type of the MATCHER argument to block_find_symbol.  */
 487
 488 typedef int (block_symbol_matcher_ftype) (struct symbol *, void *);
 489
 490 /* Find symbol NAME in BLOCK and in DOMAIN that satisfies MATCHER.
 491    DATA is passed unchanged to MATCHER.
 492    BLOCK must be STATIC_BLOCK or GLOBAL_BLOCK.  */
 493
 494 extern struct symbol *block_find_symbol (const struct block *block,
 495                                          const char *name,
 496                                          const domain_enum domain,
 497                                          block_symbol_matcher_ftype *matcher,
 498                                          void *data);
 499
 500 /* A matcher function for block_find_symbol to find only symbols with
 501    non-opaque types.  */
 502
 503 extern int block_find_non_opaque_type (struct symbol *sym, void *data);
 504
 505 /* A matcher function for block_find_symbol to prefer symbols with
 506    non-opaque types.  The way to use this function is as follows:
 507
 508    struct symbol *with_opaque = NULL;
 509    struct symbol *sym
 510      = block_find_symbol (block, name, domain,
 511                           block_find_non_opaque_type_preferred, &with_opaque);
 512
 513    At this point if SYM is non-NULL then a non-opaque type has been found.
 514    Otherwise, if WITH_OPAQUE is non-NULL then an opaque type has been found.
 515    Otherwise, the symbol was not found.  */
 516
 517 extern int block_find_non_opaque_type_preferred (struct symbol *sym,
 518                                                  void *data);
 519
 520 /* Macro to loop through all symbols in BLOCK, in no particular
 521    order.  ITER helps keep track of the iteration, and must be a
 522    struct block_iterator.  SYM points to the current symbol.  */
 523
 524 #define ALL_BLOCK_SYMBOLS(block, iter, sym)             \
 525   for ((sym) = block_iterator_first ((block), &(iter)); \
 526        (sym);                                           \
 527        (sym) = block_iterator_next (&(iter)))
 528
 529 /* Macro to loop through all symbols in BLOCK with a name that matches
 530    NAME, in no particular order.  ITER helps keep track of the
 531    iteration, and must be a struct block_iterator.  SYM points to the
 532    current symbol.  */
 533
 534 #define ALL_BLOCK_SYMBOLS_WITH_NAME(block, name, iter, sym)             \
 535   for ((sym) = block_iter_match_first ((block), (name), &(iter));       \
 536        (sym) != NULL;                                                   \
 537        (sym) = block_iter_match_next ((name), &(iter)))
 538
 539 /* Given a vector of pairs, allocate and build an obstack allocated
 540    blockranges struct for a block.  */
 541 struct blockranges *make_blockranges (struct objfile *objfile,
 542                                       const std::vector<blockrange> &rangevec);
 543
 544 #endif /* BLOCK_H */