Commit | Line | Data |
---|---|---|
fe898f56 DC |
1 | /* Code dealing with blocks for GDB. |
2 | ||
42a4f53d | 3 | Copyright (C) 2003-2019 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 | #ifndef BLOCK_H | |
21 | #define BLOCK_H | |
22 | ||
8157b174 TT |
23 | #include "dictionary.h" |
24 | ||
fe898f56 DC |
25 | /* Opaque declarations. */ |
26 | ||
27 | struct symbol; | |
43f3e411 | 28 | struct compunit_symtab; |
9219021c DC |
29 | struct block_namespace_info; |
30 | struct using_direct; | |
31 | struct obstack; | |
801e3a5b | 32 | struct addrmap; |
fe898f56 | 33 | |
26457a9c KB |
34 | /* Blocks can occupy non-contiguous address ranges. When this occurs, |
35 | startaddr and endaddr within struct block (still) specify the lowest | |
36 | and highest addresses of all ranges, but each individual range is | |
37 | specified by the addresses in struct blockrange. */ | |
38 | ||
39 | struct blockrange | |
40 | { | |
41 | blockrange (CORE_ADDR startaddr_, CORE_ADDR endaddr_) | |
42 | : startaddr (startaddr_), | |
43 | endaddr (endaddr_) | |
44 | { | |
45 | } | |
46 | ||
47 | /* Lowest address in this range. */ | |
48 | ||
49 | CORE_ADDR startaddr; | |
50 | ||
51 | /* One past the highest address in the range. */ | |
52 | ||
53 | CORE_ADDR endaddr; | |
54 | }; | |
55 | ||
56 | /* Two or more non-contiguous ranges in the same order as that provided | |
57 | via the debug info. */ | |
58 | ||
59 | struct blockranges | |
60 | { | |
61 | int nranges; | |
62 | struct blockrange range[1]; | |
63 | }; | |
64 | ||
fe898f56 DC |
65 | /* All of the name-scope contours of the program |
66 | are represented by `struct block' objects. | |
67 | All of these objects are pointed to by the blockvector. | |
68 | ||
69 | Each block represents one name scope. | |
70 | Each lexical context has its own block. | |
71 | ||
72 | The blockvector begins with some special blocks. | |
73 | The GLOBAL_BLOCK contains all the symbols defined in this compilation | |
74 | whose scope is the entire program linked together. | |
75 | The STATIC_BLOCK contains all the symbols whose scope is the | |
76 | entire compilation excluding other separate compilations. | |
77 | Blocks starting with the FIRST_LOCAL_BLOCK are not special. | |
78 | ||
79 | Each block records a range of core addresses for the code that | |
80 | is in the scope of the block. The STATIC_BLOCK and GLOBAL_BLOCK | |
81 | give, for the range of code, the entire range of code produced | |
82 | by the compilation that the symbol segment belongs to. | |
83 | ||
84 | The blocks appear in the blockvector | |
85 | in order of increasing starting-address, | |
86 | and, within that, in order of decreasing ending-address. | |
87 | ||
88 | This implies that within the body of one function | |
89 | the blocks appear in the order of a depth-first tree walk. */ | |
90 | ||
91 | struct block | |
92 | { | |
93 | ||
94 | /* Addresses in the executable code that are in this block. */ | |
95 | ||
96 | CORE_ADDR startaddr; | |
97 | CORE_ADDR endaddr; | |
98 | ||
99 | /* The symbol that names this block, if the block is the body of a | |
edb3359d | 100 | function (real or inlined); otherwise, zero. */ |
fe898f56 DC |
101 | |
102 | struct symbol *function; | |
103 | ||
104 | /* The `struct block' for the containing block, or 0 if none. | |
105 | ||
106 | The superblock of a top-level local block (i.e. a function in the | |
107 | case of C) is the STATIC_BLOCK. The superblock of the | |
108 | STATIC_BLOCK is the GLOBAL_BLOCK. */ | |
109 | ||
582942f4 | 110 | const struct block *superblock; |
fe898f56 | 111 | |
de4f826b DC |
112 | /* This is used to store the symbols in the block. */ |
113 | ||
b026f593 | 114 | struct multidictionary *multidict; |
de4f826b | 115 | |
22cee43f PMR |
116 | /* Contains information about namespace-related info relevant to this block: |
117 | using directives and the current namespace scope. */ | |
118 | ||
119 | struct block_namespace_info *namespace_info; | |
26457a9c KB |
120 | |
121 | /* Address ranges for blocks with non-contiguous ranges. If this | |
122 | is NULL, then there is only one range which is specified by | |
123 | startaddr and endaddr above. */ | |
124 | ||
125 | struct blockranges *ranges; | |
fe898f56 DC |
126 | }; |
127 | ||
84a146c9 | 128 | /* The global block is singled out so that we can provide a back-link |
43f3e411 | 129 | to the compunit symtab. */ |
84a146c9 TT |
130 | |
131 | struct global_block | |
132 | { | |
133 | /* The block. */ | |
134 | ||
135 | struct block block; | |
136 | ||
43f3e411 | 137 | /* This holds a pointer to the compunit symtab holding this block. */ |
84a146c9 | 138 | |
43f3e411 | 139 | struct compunit_symtab *compunit_symtab; |
84a146c9 TT |
140 | }; |
141 | ||
fe898f56 DC |
142 | #define BLOCK_START(bl) (bl)->startaddr |
143 | #define BLOCK_END(bl) (bl)->endaddr | |
144 | #define BLOCK_FUNCTION(bl) (bl)->function | |
145 | #define BLOCK_SUPERBLOCK(bl) (bl)->superblock | |
b026f593 | 146 | #define BLOCK_MULTIDICT(bl) (bl)->multidict |
22cee43f | 147 | #define BLOCK_NAMESPACE(bl) (bl)->namespace_info |
fe898f56 | 148 | |
26457a9c KB |
149 | /* Accessor for ranges field within block BL. */ |
150 | ||
151 | #define BLOCK_RANGES(bl) (bl)->ranges | |
152 | ||
153 | /* Number of ranges within a block. */ | |
154 | ||
155 | #define BLOCK_NRANGES(bl) (bl)->ranges->nranges | |
156 | ||
157 | /* Access range array for block BL. */ | |
158 | ||
159 | #define BLOCK_RANGE(bl) (bl)->ranges->range | |
160 | ||
161 | /* Are all addresses within a block contiguous? */ | |
162 | ||
163 | #define BLOCK_CONTIGUOUS_P(bl) (BLOCK_RANGES (bl) == nullptr \ | |
164 | || BLOCK_NRANGES (bl) <= 1) | |
165 | ||
166 | /* Obtain the start address of the Nth range for block BL. */ | |
167 | ||
168 | #define BLOCK_RANGE_START(bl,n) (BLOCK_RANGE (bl)[n].startaddr) | |
169 | ||
170 | /* Obtain the end address of the Nth range for block BL. */ | |
171 | ||
172 | #define BLOCK_RANGE_END(bl,n) (BLOCK_RANGE (bl)[n].endaddr) | |
173 | ||
174 | /* Define the "entry pc" for a block BL to be the lowest (start) address | |
175 | for the block when all addresses within the block are contiguous. If | |
176 | non-contiguous, then use the start address for the first range in the | |
177 | block. | |
178 | ||
179 | At the moment, this almost matches what DWARF specifies as the entry | |
180 | pc. (The missing bit is support for DW_AT_entry_pc which should be | |
181 | preferred over range data and the low_pc.) | |
182 | ||
183 | Once support for DW_AT_entry_pc is added, I expect that an entry_pc | |
184 | field will be added to one of these data structures. Once that's done, | |
185 | the entry_pc field can be set from the dwarf reader (and other readers | |
186 | too). BLOCK_ENTRY_PC can then be redefined to be less DWARF-centric. */ | |
187 | ||
188 | #define BLOCK_ENTRY_PC(bl) (BLOCK_CONTIGUOUS_P (bl) \ | |
189 | ? BLOCK_START (bl) \ | |
190 | : BLOCK_RANGE_START (bl,0)) | |
191 | ||
fe898f56 DC |
192 | struct blockvector |
193 | { | |
194 | /* Number of blocks in the list. */ | |
195 | int nblocks; | |
801e3a5b JB |
196 | /* An address map mapping addresses to blocks in this blockvector. |
197 | This pointer is zero if the blocks' start and end addresses are | |
198 | enough. */ | |
199 | struct addrmap *map; | |
fe898f56 DC |
200 | /* The blocks themselves. */ |
201 | struct block *block[1]; | |
202 | }; | |
203 | ||
204 | #define BLOCKVECTOR_NBLOCKS(blocklist) (blocklist)->nblocks | |
205 | #define BLOCKVECTOR_BLOCK(blocklist,n) (blocklist)->block[n] | |
801e3a5b | 206 | #define BLOCKVECTOR_MAP(blocklist) ((blocklist)->map) |
fe898f56 | 207 | |
1994afbf DE |
208 | /* Return the objfile of BLOCK, which must be non-NULL. */ |
209 | ||
210 | extern struct objfile *block_objfile (const struct block *block); | |
211 | ||
212 | /* Return the architecture of BLOCK, which must be non-NULL. */ | |
213 | ||
214 | extern struct gdbarch *block_gdbarch (const struct block *block); | |
215 | ||
7f0df278 | 216 | extern struct symbol *block_linkage_function (const struct block *); |
fe898f56 | 217 | |
f8eba3c6 TT |
218 | extern struct symbol *block_containing_function (const struct block *); |
219 | ||
edb3359d DJ |
220 | extern int block_inlined_p (const struct block *block); |
221 | ||
0cf566ec | 222 | extern int contained_in (const struct block *, const struct block *); |
fe898f56 | 223 | |
346d1dfe | 224 | extern const struct blockvector *blockvector_for_pc (CORE_ADDR, |
3977b71f | 225 | const struct block **); |
fe898f56 | 226 | |
43f3e411 DE |
227 | extern const struct blockvector * |
228 | blockvector_for_pc_sect (CORE_ADDR, struct obj_section *, | |
229 | const struct block **, struct compunit_symtab *); | |
fe898f56 | 230 | |
346d1dfe | 231 | extern int blockvector_contains_pc (const struct blockvector *bv, CORE_ADDR pc); |
9703b513 | 232 | |
8e3b41a9 JK |
233 | extern struct call_site *call_site_for_pc (struct gdbarch *gdbarch, |
234 | CORE_ADDR pc); | |
235 | ||
3977b71f | 236 | extern const struct block *block_for_pc (CORE_ADDR); |
fe898f56 | 237 | |
3977b71f | 238 | extern const struct block *block_for_pc_sect (CORE_ADDR, struct obj_section *); |
fe898f56 | 239 | |
1fcb5155 DC |
240 | extern const char *block_scope (const struct block *block); |
241 | ||
9219021c DC |
242 | extern void block_set_scope (struct block *block, const char *scope, |
243 | struct obstack *obstack); | |
244 | ||
1fcb5155 DC |
245 | extern struct using_direct *block_using (const struct block *block); |
246 | ||
9219021c | 247 | extern void block_set_using (struct block *block, |
fe978cb0 | 248 | struct using_direct *using_decl, |
9219021c DC |
249 | struct obstack *obstack); |
250 | ||
89a9d1b1 DC |
251 | extern const struct block *block_static_block (const struct block *block); |
252 | ||
1fcb5155 DC |
253 | extern const struct block *block_global_block (const struct block *block); |
254 | ||
5c4e30ca DC |
255 | extern struct block *allocate_block (struct obstack *obstack); |
256 | ||
84a146c9 TT |
257 | extern struct block *allocate_global_block (struct obstack *obstack); |
258 | ||
43f3e411 DE |
259 | extern void set_block_compunit_symtab (struct block *, |
260 | struct compunit_symtab *); | |
8157b174 | 261 | |
63e43d3a PMR |
262 | /* Return a property to evaluate the static link associated to BLOCK. |
263 | ||
264 | In the context of nested functions (available in Pascal, Ada and GNU C, for | |
265 | instance), a static link (as in DWARF's DW_AT_static_link attribute) for a | |
266 | function is a way to get the frame corresponding to the enclosing function. | |
267 | ||
268 | Note that only objfile-owned and function-level blocks can have a static | |
269 | link. Return NULL if there is no such property. */ | |
270 | ||
271 | extern struct dynamic_prop *block_static_link (const struct block *block); | |
272 | ||
8157b174 TT |
273 | /* A block iterator. This structure should be treated as though it |
274 | were opaque; it is only defined here because we want to support | |
275 | stack allocation of iterators. */ | |
276 | ||
277 | struct block_iterator | |
278 | { | |
b5b04b5b | 279 | /* If we're iterating over a single block, this holds the block. |
43f3e411 | 280 | Otherwise, it holds the canonical compunit. */ |
b5b04b5b TT |
281 | |
282 | union | |
283 | { | |
43f3e411 | 284 | struct compunit_symtab *compunit_symtab; |
b5b04b5b TT |
285 | const struct block *block; |
286 | } d; | |
287 | ||
288 | /* If we're iterating over a single block, this is always -1. | |
289 | Otherwise, it holds the index of the current "included" symtab in | |
290 | the canonical symtab (that is, d.symtab->includes[idx]), with -1 | |
291 | meaning the canonical symtab itself. */ | |
292 | ||
293 | int idx; | |
294 | ||
295 | /* Which block, either static or global, to iterate over. If this | |
296 | is FIRST_LOCAL_BLOCK, then we are iterating over a single block. | |
297 | This is used to select which field of 'd' is in use. */ | |
298 | ||
299 | enum block_enum which; | |
300 | ||
b026f593 | 301 | /* The underlying multidictionary iterator. */ |
8157b174 | 302 | |
b026f593 | 303 | struct mdict_iterator mdict_iter; |
8157b174 TT |
304 | }; |
305 | ||
306 | /* Initialize ITERATOR to point at the first symbol in BLOCK, and | |
307 | return that first symbol, or NULL if BLOCK is empty. */ | |
308 | ||
309 | extern struct symbol *block_iterator_first (const struct block *block, | |
310 | struct block_iterator *iterator); | |
311 | ||
312 | /* Advance ITERATOR, and return the next symbol, or NULL if there are | |
313 | no more symbols. Don't call this if you've previously received | |
314 | NULL from block_iterator_first or block_iterator_next on this | |
315 | iteration. */ | |
316 | ||
317 | extern struct symbol *block_iterator_next (struct block_iterator *iterator); | |
318 | ||
8157b174 | 319 | /* Initialize ITERATOR to point at the first symbol in BLOCK whose |
b5ec771e PA |
320 | SYMBOL_SEARCH_NAME matches NAME, and return that first symbol, or |
321 | NULL if there are no such symbols. */ | |
8157b174 TT |
322 | |
323 | extern struct symbol *block_iter_match_first (const struct block *block, | |
b5ec771e | 324 | const lookup_name_info &name, |
8157b174 TT |
325 | struct block_iterator *iterator); |
326 | ||
327 | /* Advance ITERATOR to point at the next symbol in BLOCK whose | |
b5ec771e PA |
328 | SYMBOL_SEARCH_NAME matches NAME, or NULL if there are no more such |
329 | symbols. Don't call this if you've previously received NULL from | |
8157b174 TT |
330 | block_iterator_match_first or block_iterator_match_next on this |
331 | iteration. And don't call it unless ITERATOR was created by a | |
b5ec771e | 332 | previous call to block_iter_match_first with the same NAME. */ |
8157b174 | 333 | |
b5ec771e PA |
334 | extern struct symbol *block_iter_match_next |
335 | (const lookup_name_info &name, struct block_iterator *iterator); | |
8157b174 | 336 | |
16b2eaa1 DE |
337 | /* Search BLOCK for symbol NAME in DOMAIN. */ |
338 | ||
339 | extern struct symbol *block_lookup_symbol (const struct block *block, | |
340 | const char *name, | |
de63c46b | 341 | symbol_name_match_type match_type, |
16b2eaa1 DE |
342 | const domain_enum domain); |
343 | ||
ba715d7f JK |
344 | /* Search BLOCK for symbol NAME in DOMAIN but only in primary symbol table of |
345 | BLOCK. BLOCK must be STATIC_BLOCK or GLOBAL_BLOCK. Function is useful if | |
346 | one iterates all global/static blocks of an objfile. */ | |
347 | ||
348 | extern struct symbol *block_lookup_symbol_primary (const struct block *block, | |
349 | const char *name, | |
350 | const domain_enum domain); | |
351 | ||
b2e2f908 DE |
352 | /* The type of the MATCHER argument to block_find_symbol. */ |
353 | ||
354 | typedef int (block_symbol_matcher_ftype) (struct symbol *, void *); | |
355 | ||
356 | /* Find symbol NAME in BLOCK and in DOMAIN that satisfies MATCHER. | |
357 | DATA is passed unchanged to MATCHER. | |
358 | BLOCK must be STATIC_BLOCK or GLOBAL_BLOCK. */ | |
359 | ||
360 | extern struct symbol *block_find_symbol (const struct block *block, | |
361 | const char *name, | |
362 | const domain_enum domain, | |
363 | block_symbol_matcher_ftype *matcher, | |
364 | void *data); | |
365 | ||
366 | /* A matcher function for block_find_symbol to find only symbols with | |
367 | non-opaque types. */ | |
368 | ||
369 | extern int block_find_non_opaque_type (struct symbol *sym, void *data); | |
370 | ||
371 | /* A matcher function for block_find_symbol to prefer symbols with | |
372 | non-opaque types. The way to use this function is as follows: | |
373 | ||
374 | struct symbol *with_opaque = NULL; | |
375 | struct symbol *sym | |
376 | = block_find_symbol (block, name, domain, | |
377 | block_find_non_opaque_type_preferred, &with_opaque); | |
378 | ||
379 | At this point if SYM is non-NULL then a non-opaque type has been found. | |
380 | Otherwise, if WITH_OPAQUE is non-NULL then an opaque type has been found. | |
381 | Otherwise, the symbol was not found. */ | |
382 | ||
383 | extern int block_find_non_opaque_type_preferred (struct symbol *sym, | |
384 | void *data); | |
385 | ||
a023a30f DE |
386 | /* Macro to loop through all symbols in BLOCK, in no particular |
387 | order. ITER helps keep track of the iteration, and must be a | |
8157b174 TT |
388 | struct block_iterator. SYM points to the current symbol. */ |
389 | ||
390 | #define ALL_BLOCK_SYMBOLS(block, iter, sym) \ | |
391 | for ((sym) = block_iterator_first ((block), &(iter)); \ | |
392 | (sym); \ | |
393 | (sym) = block_iterator_next (&(iter))) | |
394 | ||
b5ec771e PA |
395 | /* Macro to loop through all symbols in BLOCK with a name that matches |
396 | NAME, in no particular order. ITER helps keep track of the | |
397 | iteration, and must be a struct block_iterator. SYM points to the | |
398 | current symbol. */ | |
358d6ab3 DE |
399 | |
400 | #define ALL_BLOCK_SYMBOLS_WITH_NAME(block, name, iter, sym) \ | |
b5ec771e | 401 | for ((sym) = block_iter_match_first ((block), (name), &(iter)); \ |
358d6ab3 | 402 | (sym) != NULL; \ |
b5ec771e | 403 | (sym) = block_iter_match_next ((name), &(iter))) |
358d6ab3 | 404 | |
26457a9c KB |
405 | /* Given a vector of pairs, allocate and build an obstack allocated |
406 | blockranges struct for a block. */ | |
407 | struct blockranges *make_blockranges (struct objfile *objfile, | |
408 | const std::vector<blockrange> &rangevec); | |
409 | ||
fe898f56 | 410 | #endif /* BLOCK_H */ |