2004-03-21 Andrew Cagney <cagney@redhat.com>
[deliverable/binutils-gdb.git] / gdb / blockframe.c
1 /* Get info from stack frames; convert between frames, blocks,
2 functions and pc values.
3
4 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
5 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
6 Free Software Foundation, Inc.
7
8 This file is part of GDB.
9
10 This program is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
12 the Free Software Foundation; either version 2 of the License, or
13 (at your option) any later version.
14
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
19
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 59 Temple Place - Suite 330,
23 Boston, MA 02111-1307, USA. */
24
25 #include "defs.h"
26 #include "symtab.h"
27 #include "bfd.h"
28 #include "objfiles.h"
29 #include "frame.h"
30 #include "gdbcore.h"
31 #include "value.h" /* for read_register */
32 #include "target.h" /* for target_has_stack */
33 #include "inferior.h" /* for read_pc */
34 #include "annotate.h"
35 #include "regcache.h"
36 #include "gdb_assert.h"
37 #include "dummy-frame.h"
38 #include "command.h"
39 #include "gdbcmd.h"
40 #include "block.h"
41
42 /* Prototypes for exported functions. */
43
44 void _initialize_blockframe (void);
45
46 /* Is ADDR inside the startup file? Note that if your machine has a
47 way to detect the bottom of the stack, there is no need to call
48 this function from DEPRECATED_FRAME_CHAIN_VALID; the reason for
49 doing so is that some machines have no way of detecting bottom of
50 stack.
51
52 A PC of zero is always considered to be the bottom of the stack. */
53
54 int
55 deprecated_inside_entry_file (CORE_ADDR addr)
56 {
57 if (addr == 0)
58 return 1;
59 if (symfile_objfile == 0)
60 return 0;
61 if (CALL_DUMMY_LOCATION == AT_ENTRY_POINT
62 || CALL_DUMMY_LOCATION == AT_SYMBOL)
63 {
64 /* Do not stop backtracing if the pc is in the call dummy
65 at the entry point. */
66 /* FIXME: Won't always work with zeros for the last two arguments */
67 if (DEPRECATED_PC_IN_CALL_DUMMY (addr, 0, 0))
68 return 0;
69 }
70 return (addr >= symfile_objfile->ei.deprecated_entry_file_lowpc &&
71 addr < symfile_objfile->ei.deprecated_entry_file_highpc);
72 }
73
74 /* Test whether PC is in the range of addresses that corresponds to
75 the "main" function. */
76
77 int
78 inside_main_func (CORE_ADDR pc)
79 {
80 struct minimal_symbol *msymbol;
81
82 if (symfile_objfile == 0)
83 return 0;
84
85 msymbol = lookup_minimal_symbol (main_name (), NULL, symfile_objfile);
86
87 /* If the address range hasn't been set up at symbol reading time,
88 set it up now. */
89
90 if (msymbol != NULL
91 && symfile_objfile->ei.main_func_lowpc == INVALID_ENTRY_LOWPC
92 && symfile_objfile->ei.main_func_highpc == INVALID_ENTRY_HIGHPC)
93 {
94 /* brobecker/2003-10-10: We used to rely on lookup_symbol() to
95 search the symbol associated to the "main" function.
96 Unfortunately, lookup_symbol() uses the current-language
97 la_lookup_symbol_nonlocal function to do the global symbol
98 search. Depending on the language, this can introduce
99 certain side-effects, because certain languages, for instance
100 Ada, may find more than one match. Therefore we prefer to
101 search the "main" function symbol using its address rather
102 than its name. */
103 struct symbol *mainsym =
104 find_pc_function (SYMBOL_VALUE_ADDRESS (msymbol));
105
106 if (mainsym && SYMBOL_CLASS (mainsym) == LOC_BLOCK)
107 {
108 symfile_objfile->ei.main_func_lowpc =
109 BLOCK_START (SYMBOL_BLOCK_VALUE (mainsym));
110 symfile_objfile->ei.main_func_highpc =
111 BLOCK_END (SYMBOL_BLOCK_VALUE (mainsym));
112 }
113 }
114
115 /* Not in the normal symbol tables, see if "main" is in the partial
116 symbol table. If it's not, then give up. */
117 if (msymbol != NULL && MSYMBOL_TYPE (msymbol) == mst_text)
118 {
119 CORE_ADDR maddr = SYMBOL_VALUE_ADDRESS (msymbol);
120 asection *msect = SYMBOL_BFD_SECTION (msymbol);
121 struct obj_section *osect = find_pc_sect_section (maddr, msect);
122
123 if (osect != NULL)
124 {
125 int i;
126
127 /* Step over other symbols at this same address, and symbols
128 in other sections, to find the next symbol in this
129 section with a different address. */
130 for (i = 1; SYMBOL_LINKAGE_NAME (msymbol + i) != NULL; i++)
131 {
132 if (SYMBOL_VALUE_ADDRESS (msymbol + i) != maddr
133 && SYMBOL_BFD_SECTION (msymbol + i) == msect)
134 break;
135 }
136
137 symfile_objfile->ei.main_func_lowpc = maddr;
138
139 /* Use the lesser of the next minimal symbol in the same
140 section, or the end of the section, as the end of the
141 function. */
142 if (SYMBOL_LINKAGE_NAME (msymbol + i) != NULL
143 && SYMBOL_VALUE_ADDRESS (msymbol + i) < osect->endaddr)
144 symfile_objfile->ei.main_func_highpc =
145 SYMBOL_VALUE_ADDRESS (msymbol + i);
146 else
147 /* We got the start address from the last msymbol in the
148 objfile. So the end address is the end of the
149 section. */
150 symfile_objfile->ei.main_func_highpc = osect->endaddr;
151 }
152 }
153
154 return (symfile_objfile->ei.main_func_lowpc <= pc
155 && symfile_objfile->ei.main_func_highpc > pc);
156 }
157
158 /* Test whether THIS_FRAME is inside the process entry point function. */
159
160 int
161 inside_entry_func (struct frame_info *this_frame)
162 {
163 return (get_frame_func (this_frame) == entry_point_address ());
164 }
165
166 /* Similar to inside_entry_func, but accomodating legacy frame code. */
167
168 static int
169 legacy_inside_entry_func (CORE_ADDR pc)
170 {
171 if (symfile_objfile == 0)
172 return 0;
173
174 if (CALL_DUMMY_LOCATION == AT_ENTRY_POINT)
175 {
176 /* Do not stop backtracing if the program counter is in the call
177 dummy at the entry point. */
178 /* FIXME: This won't always work with zeros for the last two
179 arguments. */
180 if (DEPRECATED_PC_IN_CALL_DUMMY (pc, 0, 0))
181 return 0;
182 }
183
184 return (symfile_objfile->ei.entry_func_lowpc <= pc
185 && symfile_objfile->ei.entry_func_highpc > pc);
186 }
187
188 /* Return nonzero if the function for this frame lacks a prologue.
189 Many machines can define DEPRECATED_FRAMELESS_FUNCTION_INVOCATION
190 to just call this function. */
191
192 int
193 legacy_frameless_look_for_prologue (struct frame_info *frame)
194 {
195 CORE_ADDR func_start;
196
197 func_start = get_frame_func (frame);
198 if (func_start)
199 {
200 func_start += FUNCTION_START_OFFSET;
201 /* NOTE: cagney/2004-02-09: Eliminated per-architecture
202 PROLOGUE_FRAMELESS_P call as architectures with custom
203 implementations had all been deleted. Eventually even this
204 function can go - GDB no longer tries to differentiate
205 between framed, frameless and stackless functions. They are
206 all now considered equally evil :-^. */
207 /* If skipping the prologue ends up skips nothing, there must be
208 no prologue and hence no code creating a frame. There for
209 the function is "frameless" :-/. */
210 return func_start == SKIP_PROLOGUE (func_start);
211 }
212 else if (get_frame_pc (frame) == 0)
213 /* A frame with a zero PC is usually created by dereferencing a
214 NULL function pointer, normally causing an immediate core dump
215 of the inferior. Mark function as frameless, as the inferior
216 has no chance of setting up a stack frame. */
217 return 1;
218 else
219 /* If we can't find the start of the function, we don't really
220 know whether the function is frameless, but we should be able
221 to get a reasonable (i.e. best we can do under the
222 circumstances) backtrace by saying that it isn't. */
223 return 0;
224 }
225
226 /* Return the innermost lexical block in execution
227 in a specified stack frame. The frame address is assumed valid.
228
229 If ADDR_IN_BLOCK is non-zero, set *ADDR_IN_BLOCK to the exact code
230 address we used to choose the block. We use this to find a source
231 line, to decide which macro definitions are in scope.
232
233 The value returned in *ADDR_IN_BLOCK isn't necessarily the frame's
234 PC, and may not really be a valid PC at all. For example, in the
235 caller of a function declared to never return, the code at the
236 return address will never be reached, so the call instruction may
237 be the very last instruction in the block. So the address we use
238 to choose the block is actually one byte before the return address
239 --- hopefully pointing us at the call instruction, or its delay
240 slot instruction. */
241
242 struct block *
243 get_frame_block (struct frame_info *frame, CORE_ADDR *addr_in_block)
244 {
245 const CORE_ADDR pc = get_frame_address_in_block (frame);
246
247 if (addr_in_block)
248 *addr_in_block = pc;
249
250 return block_for_pc (pc);
251 }
252
253 CORE_ADDR
254 get_pc_function_start (CORE_ADDR pc)
255 {
256 struct block *bl;
257 struct minimal_symbol *msymbol;
258
259 bl = block_for_pc (pc);
260 if (bl)
261 {
262 struct symbol *symbol = block_function (bl);
263
264 if (symbol)
265 {
266 bl = SYMBOL_BLOCK_VALUE (symbol);
267 return BLOCK_START (bl);
268 }
269 }
270
271 msymbol = lookup_minimal_symbol_by_pc (pc);
272 if (msymbol)
273 {
274 CORE_ADDR fstart = SYMBOL_VALUE_ADDRESS (msymbol);
275
276 if (find_pc_section (fstart))
277 return fstart;
278 }
279
280 return 0;
281 }
282
283 /* Return the symbol for the function executing in frame FRAME. */
284
285 struct symbol *
286 get_frame_function (struct frame_info *frame)
287 {
288 struct block *bl = get_frame_block (frame, 0);
289 if (bl == 0)
290 return 0;
291 return block_function (bl);
292 }
293 \f
294
295 /* Return the function containing pc value PC in section SECTION.
296 Returns 0 if function is not known. */
297
298 struct symbol *
299 find_pc_sect_function (CORE_ADDR pc, struct bfd_section *section)
300 {
301 struct block *b = block_for_pc_sect (pc, section);
302 if (b == 0)
303 return 0;
304 return block_function (b);
305 }
306
307 /* Return the function containing pc value PC.
308 Returns 0 if function is not known. Backward compatibility, no section */
309
310 struct symbol *
311 find_pc_function (CORE_ADDR pc)
312 {
313 return find_pc_sect_function (pc, find_pc_mapped_section (pc));
314 }
315
316 /* These variables are used to cache the most recent result
317 * of find_pc_partial_function. */
318
319 static CORE_ADDR cache_pc_function_low = 0;
320 static CORE_ADDR cache_pc_function_high = 0;
321 static char *cache_pc_function_name = 0;
322 static struct bfd_section *cache_pc_function_section = NULL;
323
324 /* Clear cache, e.g. when symbol table is discarded. */
325
326 void
327 clear_pc_function_cache (void)
328 {
329 cache_pc_function_low = 0;
330 cache_pc_function_high = 0;
331 cache_pc_function_name = (char *) 0;
332 cache_pc_function_section = NULL;
333 }
334
335 /* Finds the "function" (text symbol) that is smaller than PC but
336 greatest of all of the potential text symbols in SECTION. Sets
337 *NAME and/or *ADDRESS conditionally if that pointer is non-null.
338 If ENDADDR is non-null, then set *ENDADDR to be the end of the
339 function (exclusive), but passing ENDADDR as non-null means that
340 the function might cause symbols to be read. This function either
341 succeeds or fails (not halfway succeeds). If it succeeds, it sets
342 *NAME, *ADDRESS, and *ENDADDR to real information and returns 1.
343 If it fails, it sets *NAME, *ADDRESS, and *ENDADDR to zero and
344 returns 0. */
345
346 /* Backward compatibility, no section argument. */
347
348 int
349 find_pc_partial_function (CORE_ADDR pc, char **name, CORE_ADDR *address,
350 CORE_ADDR *endaddr)
351 {
352 struct bfd_section *section;
353 struct partial_symtab *pst;
354 struct symbol *f;
355 struct minimal_symbol *msymbol;
356 struct partial_symbol *psb;
357 struct obj_section *osect;
358 int i;
359 CORE_ADDR mapped_pc;
360
361 /* To ensure that the symbol returned belongs to the correct setion
362 (and that the last [random] symbol from the previous section
363 isn't returned) try to find the section containing PC. First try
364 the overlay code (which by default returns NULL); and second try
365 the normal section code (which almost always succeeds). */
366 section = find_pc_overlay (pc);
367 if (section == NULL)
368 {
369 struct obj_section *obj_section = find_pc_section (pc);
370 if (obj_section == NULL)
371 section = NULL;
372 else
373 section = obj_section->the_bfd_section;
374 }
375
376 mapped_pc = overlay_mapped_address (pc, section);
377
378 if (mapped_pc >= cache_pc_function_low
379 && mapped_pc < cache_pc_function_high
380 && section == cache_pc_function_section)
381 goto return_cached_value;
382
383 /* If sigtramp is in the u area, it counts as a function (especially
384 important for step_1). */
385 if (SIGTRAMP_START_P () && PC_IN_SIGTRAMP (mapped_pc, (char *) NULL))
386 {
387 cache_pc_function_low = SIGTRAMP_START (mapped_pc);
388 cache_pc_function_high = SIGTRAMP_END (mapped_pc);
389 cache_pc_function_name = "<sigtramp>";
390 cache_pc_function_section = section;
391 goto return_cached_value;
392 }
393
394 msymbol = lookup_minimal_symbol_by_pc_section (mapped_pc, section);
395 pst = find_pc_sect_psymtab (mapped_pc, section);
396 if (pst)
397 {
398 /* Need to read the symbols to get a good value for the end address. */
399 if (endaddr != NULL && !pst->readin)
400 {
401 /* Need to get the terminal in case symbol-reading produces
402 output. */
403 target_terminal_ours_for_output ();
404 PSYMTAB_TO_SYMTAB (pst);
405 }
406
407 if (pst->readin)
408 {
409 /* Checking whether the msymbol has a larger value is for the
410 "pathological" case mentioned in print_frame_info. */
411 f = find_pc_sect_function (mapped_pc, section);
412 if (f != NULL
413 && (msymbol == NULL
414 || (BLOCK_START (SYMBOL_BLOCK_VALUE (f))
415 >= SYMBOL_VALUE_ADDRESS (msymbol))))
416 {
417 cache_pc_function_low = BLOCK_START (SYMBOL_BLOCK_VALUE (f));
418 cache_pc_function_high = BLOCK_END (SYMBOL_BLOCK_VALUE (f));
419 cache_pc_function_name = DEPRECATED_SYMBOL_NAME (f);
420 cache_pc_function_section = section;
421 goto return_cached_value;
422 }
423 }
424 else
425 {
426 /* Now that static symbols go in the minimal symbol table, perhaps
427 we could just ignore the partial symbols. But at least for now
428 we use the partial or minimal symbol, whichever is larger. */
429 psb = find_pc_sect_psymbol (pst, mapped_pc, section);
430
431 if (psb
432 && (msymbol == NULL ||
433 (SYMBOL_VALUE_ADDRESS (psb)
434 >= SYMBOL_VALUE_ADDRESS (msymbol))))
435 {
436 /* This case isn't being cached currently. */
437 if (address)
438 *address = SYMBOL_VALUE_ADDRESS (psb);
439 if (name)
440 *name = DEPRECATED_SYMBOL_NAME (psb);
441 /* endaddr non-NULL can't happen here. */
442 return 1;
443 }
444 }
445 }
446
447 /* Not in the normal symbol tables, see if the pc is in a known section.
448 If it's not, then give up. This ensures that anything beyond the end
449 of the text seg doesn't appear to be part of the last function in the
450 text segment. */
451
452 osect = find_pc_sect_section (mapped_pc, section);
453
454 if (!osect)
455 msymbol = NULL;
456
457 /* Must be in the minimal symbol table. */
458 if (msymbol == NULL)
459 {
460 /* No available symbol. */
461 if (name != NULL)
462 *name = 0;
463 if (address != NULL)
464 *address = 0;
465 if (endaddr != NULL)
466 *endaddr = 0;
467 return 0;
468 }
469
470 cache_pc_function_low = SYMBOL_VALUE_ADDRESS (msymbol);
471 cache_pc_function_name = DEPRECATED_SYMBOL_NAME (msymbol);
472 cache_pc_function_section = section;
473
474 /* Use the lesser of the next minimal symbol in the same section, or
475 the end of the section, as the end of the function. */
476
477 /* Step over other symbols at this same address, and symbols in
478 other sections, to find the next symbol in this section with
479 a different address. */
480
481 for (i = 1; DEPRECATED_SYMBOL_NAME (msymbol + i) != NULL; i++)
482 {
483 if (SYMBOL_VALUE_ADDRESS (msymbol + i) != SYMBOL_VALUE_ADDRESS (msymbol)
484 && SYMBOL_BFD_SECTION (msymbol + i) == SYMBOL_BFD_SECTION (msymbol))
485 break;
486 }
487
488 if (DEPRECATED_SYMBOL_NAME (msymbol + i) != NULL
489 && SYMBOL_VALUE_ADDRESS (msymbol + i) < osect->endaddr)
490 cache_pc_function_high = SYMBOL_VALUE_ADDRESS (msymbol + i);
491 else
492 /* We got the start address from the last msymbol in the objfile.
493 So the end address is the end of the section. */
494 cache_pc_function_high = osect->endaddr;
495
496 return_cached_value:
497
498 if (address)
499 {
500 if (pc_in_unmapped_range (pc, section))
501 *address = overlay_unmapped_address (cache_pc_function_low, section);
502 else
503 *address = cache_pc_function_low;
504 }
505
506 if (name)
507 *name = cache_pc_function_name;
508
509 if (endaddr)
510 {
511 if (pc_in_unmapped_range (pc, section))
512 {
513 /* Because the high address is actually beyond the end of
514 the function (and therefore possibly beyond the end of
515 the overlay), we must actually convert (high - 1) and
516 then add one to that. */
517
518 *endaddr = 1 + overlay_unmapped_address (cache_pc_function_high - 1,
519 section);
520 }
521 else
522 *endaddr = cache_pc_function_high;
523 }
524
525 return 1;
526 }
527
528 /* Return the innermost stack frame executing inside of BLOCK,
529 or NULL if there is no such frame. If BLOCK is NULL, just return NULL. */
530
531 struct frame_info *
532 block_innermost_frame (struct block *block)
533 {
534 struct frame_info *frame;
535 CORE_ADDR start;
536 CORE_ADDR end;
537 CORE_ADDR calling_pc;
538
539 if (block == NULL)
540 return NULL;
541
542 start = BLOCK_START (block);
543 end = BLOCK_END (block);
544
545 frame = NULL;
546 while (1)
547 {
548 frame = get_prev_frame (frame);
549 if (frame == NULL)
550 return NULL;
551 calling_pc = get_frame_address_in_block (frame);
552 if (calling_pc >= start && calling_pc < end)
553 return frame;
554 }
555 }
556
557 /* Are we in a call dummy? The code below which allows DECR_PC_AFTER_BREAK
558 below is for infrun.c, which may give the macro a pc without that
559 subtracted out. */
560
561 /* Is the PC in a call dummy? SP and FRAME_ADDRESS are the bottom and
562 top of the stack frame which we are checking, where "bottom" and
563 "top" refer to some section of memory which contains the code for
564 the call dummy. Calls to this macro assume that the contents of
565 SP_REGNUM and DEPRECATED_FP_REGNUM (or the saved values thereof),
566 respectively, are the things to pass.
567
568 This won't work on the 29k, where SP_REGNUM and
569 DEPRECATED_FP_REGNUM don't have that meaning, but the 29k doesn't
570 use ON_STACK. This could be fixed by generalizing this scheme,
571 perhaps by passing in a frame and adding a few fields, at least on
572 machines which need them for DEPRECATED_PC_IN_CALL_DUMMY.
573
574 Something simpler, like checking for the stack segment, doesn't work,
575 since various programs (threads implementations, gcc nested function
576 stubs, etc) may either allocate stack frames in another segment, or
577 allocate other kinds of code on the stack. */
578
579 int
580 deprecated_pc_in_call_dummy_on_stack (CORE_ADDR pc, CORE_ADDR sp,
581 CORE_ADDR frame_address)
582 {
583 return (INNER_THAN ((sp), (pc))
584 && (frame_address != 0)
585 && INNER_THAN ((pc), (frame_address)));
586 }
587
588 /* Returns true for a user frame or a call_function_by_hand dummy
589 frame, and false for the CRT0 start-up frame. Purpose is to
590 terminate backtrace. */
591
592 int
593 legacy_frame_chain_valid (CORE_ADDR fp, struct frame_info *fi)
594 {
595 /* Don't prune CALL_DUMMY frames. */
596 if (DEPRECATED_USE_GENERIC_DUMMY_FRAMES
597 && DEPRECATED_PC_IN_CALL_DUMMY (get_frame_pc (fi), 0, 0))
598 return 1;
599
600 /* If the new frame pointer is zero, then it isn't valid. */
601 if (fp == 0)
602 return 0;
603
604 /* If the new frame would be inside (younger than) the previous frame,
605 then it isn't valid. */
606 if (INNER_THAN (fp, get_frame_base (fi)))
607 return 0;
608
609 /* If the architecture has a custom DEPRECATED_FRAME_CHAIN_VALID,
610 call it now. */
611 if (DEPRECATED_FRAME_CHAIN_VALID_P ())
612 return DEPRECATED_FRAME_CHAIN_VALID (fp, fi);
613
614 /* If we're already inside the entry function for the main objfile, then it
615 isn't valid. */
616 if (legacy_inside_entry_func (get_frame_pc (fi)))
617 return 0;
618
619 /* If we're inside the entry file, it isn't valid. */
620 /* NOTE/drow 2002-12-25: should there be a way to disable this check? It
621 assumes a single small entry file, and the way some debug readers (e.g.
622 dbxread) figure out which object is the entry file is somewhat hokey. */
623 if (deprecated_inside_entry_file (frame_pc_unwind (fi)))
624 return 0;
625
626 return 1;
627 }
This page took 0.044991 seconds and 5 git commands to generate.