* symtab.h (enum address_class): Remove LOC_BASEREG and
[deliverable/binutils-gdb.git] / gdb / findvar.c
... / ...
CommitLineData
1/* Find a variable's value in memory, for GDB, the GNU debugger.
2
3 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
4 1996, 1997, 1998, 1999, 2000, 2001, 2003, 2004, 2005, 2007, 2008
5 Free Software Foundation, Inc.
6
7 This file is part of GDB.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21
22#include "defs.h"
23#include "symtab.h"
24#include "gdbtypes.h"
25#include "frame.h"
26#include "value.h"
27#include "gdbcore.h"
28#include "inferior.h"
29#include "target.h"
30#include "gdb_string.h"
31#include "gdb_assert.h"
32#include "floatformat.h"
33#include "symfile.h" /* for overlay functions */
34#include "regcache.h"
35#include "user-regs.h"
36#include "block.h"
37
38/* Basic byte-swapping routines. GDB has needed these for a long time...
39 All extract a target-format integer at ADDR which is LEN bytes long. */
40
41#if TARGET_CHAR_BIT != 8 || HOST_CHAR_BIT != 8
42 /* 8 bit characters are a pretty safe assumption these days, so we
43 assume it throughout all these swapping routines. If we had to deal with
44 9 bit characters, we would need to make len be in bits and would have
45 to re-write these routines... */
46you lose
47#endif
48
49LONGEST
50extract_signed_integer (const gdb_byte *addr, int len)
51{
52 LONGEST retval;
53 const unsigned char *p;
54 const unsigned char *startaddr = addr;
55 const unsigned char *endaddr = startaddr + len;
56
57 if (len > (int) sizeof (LONGEST))
58 error (_("\
59That operation is not available on integers of more than %d bytes."),
60 (int) sizeof (LONGEST));
61
62 /* Start at the most significant end of the integer, and work towards
63 the least significant. */
64 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
65 {
66 p = startaddr;
67 /* Do the sign extension once at the start. */
68 retval = ((LONGEST) * p ^ 0x80) - 0x80;
69 for (++p; p < endaddr; ++p)
70 retval = (retval << 8) | *p;
71 }
72 else
73 {
74 p = endaddr - 1;
75 /* Do the sign extension once at the start. */
76 retval = ((LONGEST) * p ^ 0x80) - 0x80;
77 for (--p; p >= startaddr; --p)
78 retval = (retval << 8) | *p;
79 }
80 return retval;
81}
82
83ULONGEST
84extract_unsigned_integer (const gdb_byte *addr, int len)
85{
86 ULONGEST retval;
87 const unsigned char *p;
88 const unsigned char *startaddr = addr;
89 const unsigned char *endaddr = startaddr + len;
90
91 if (len > (int) sizeof (ULONGEST))
92 error (_("\
93That operation is not available on integers of more than %d bytes."),
94 (int) sizeof (ULONGEST));
95
96 /* Start at the most significant end of the integer, and work towards
97 the least significant. */
98 retval = 0;
99 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
100 {
101 for (p = startaddr; p < endaddr; ++p)
102 retval = (retval << 8) | *p;
103 }
104 else
105 {
106 for (p = endaddr - 1; p >= startaddr; --p)
107 retval = (retval << 8) | *p;
108 }
109 return retval;
110}
111
112/* Sometimes a long long unsigned integer can be extracted as a
113 LONGEST value. This is done so that we can print these values
114 better. If this integer can be converted to a LONGEST, this
115 function returns 1 and sets *PVAL. Otherwise it returns 0. */
116
117int
118extract_long_unsigned_integer (const gdb_byte *addr, int orig_len,
119 LONGEST *pval)
120{
121 const gdb_byte *p;
122 const gdb_byte *first_addr;
123 int len;
124
125 len = orig_len;
126 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
127 {
128 for (p = addr;
129 len > (int) sizeof (LONGEST) && p < addr + orig_len;
130 p++)
131 {
132 if (*p == 0)
133 len--;
134 else
135 break;
136 }
137 first_addr = p;
138 }
139 else
140 {
141 first_addr = addr;
142 for (p = addr + orig_len - 1;
143 len > (int) sizeof (LONGEST) && p >= addr;
144 p--)
145 {
146 if (*p == 0)
147 len--;
148 else
149 break;
150 }
151 }
152
153 if (len <= (int) sizeof (LONGEST))
154 {
155 *pval = (LONGEST) extract_unsigned_integer (first_addr,
156 sizeof (LONGEST));
157 return 1;
158 }
159
160 return 0;
161}
162
163
164/* Treat the bytes at BUF as a pointer of type TYPE, and return the
165 address it represents. */
166CORE_ADDR
167extract_typed_address (const gdb_byte *buf, struct type *type)
168{
169 if (TYPE_CODE (type) != TYPE_CODE_PTR
170 && TYPE_CODE (type) != TYPE_CODE_REF)
171 internal_error (__FILE__, __LINE__,
172 _("extract_typed_address: "
173 "type is not a pointer or reference"));
174
175 return gdbarch_pointer_to_address (current_gdbarch, type, buf);
176}
177
178
179void
180store_signed_integer (gdb_byte *addr, int len, LONGEST val)
181{
182 gdb_byte *p;
183 gdb_byte *startaddr = addr;
184 gdb_byte *endaddr = startaddr + len;
185
186 /* Start at the least significant end of the integer, and work towards
187 the most significant. */
188 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
189 {
190 for (p = endaddr - 1; p >= startaddr; --p)
191 {
192 *p = val & 0xff;
193 val >>= 8;
194 }
195 }
196 else
197 {
198 for (p = startaddr; p < endaddr; ++p)
199 {
200 *p = val & 0xff;
201 val >>= 8;
202 }
203 }
204}
205
206void
207store_unsigned_integer (gdb_byte *addr, int len, ULONGEST val)
208{
209 unsigned char *p;
210 unsigned char *startaddr = (unsigned char *) addr;
211 unsigned char *endaddr = startaddr + len;
212
213 /* Start at the least significant end of the integer, and work towards
214 the most significant. */
215 if (gdbarch_byte_order (current_gdbarch) == BFD_ENDIAN_BIG)
216 {
217 for (p = endaddr - 1; p >= startaddr; --p)
218 {
219 *p = val & 0xff;
220 val >>= 8;
221 }
222 }
223 else
224 {
225 for (p = startaddr; p < endaddr; ++p)
226 {
227 *p = val & 0xff;
228 val >>= 8;
229 }
230 }
231}
232
233/* Store the address ADDR as a pointer of type TYPE at BUF, in target
234 form. */
235void
236store_typed_address (gdb_byte *buf, struct type *type, CORE_ADDR addr)
237{
238 if (TYPE_CODE (type) != TYPE_CODE_PTR
239 && TYPE_CODE (type) != TYPE_CODE_REF)
240 internal_error (__FILE__, __LINE__,
241 _("store_typed_address: "
242 "type is not a pointer or reference"));
243
244 gdbarch_address_to_pointer (current_gdbarch, type, buf, addr);
245}
246
247
248
249/* Return a `value' with the contents of (virtual or cooked) register
250 REGNUM as found in the specified FRAME. The register's type is
251 determined by register_type(). */
252
253struct value *
254value_of_register (int regnum, struct frame_info *frame)
255{
256 struct gdbarch *gdbarch = get_frame_arch (frame);
257 CORE_ADDR addr;
258 int optim;
259 struct value *reg_val;
260 int realnum;
261 gdb_byte raw_buffer[MAX_REGISTER_SIZE];
262 enum lval_type lval;
263
264 /* User registers lie completely outside of the range of normal
265 registers. Catch them early so that the target never sees them. */
266 if (regnum >= gdbarch_num_regs (gdbarch)
267 + gdbarch_num_pseudo_regs (gdbarch))
268 return value_of_user_reg (regnum, frame);
269
270 frame_register (frame, regnum, &optim, &lval, &addr, &realnum, raw_buffer);
271
272 reg_val = allocate_value (register_type (gdbarch, regnum));
273
274 memcpy (value_contents_raw (reg_val), raw_buffer,
275 register_size (gdbarch, regnum));
276 VALUE_LVAL (reg_val) = lval;
277 VALUE_ADDRESS (reg_val) = addr;
278 VALUE_REGNUM (reg_val) = regnum;
279 set_value_optimized_out (reg_val, optim);
280 VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
281 return reg_val;
282}
283
284/* Return a `value' with the contents of (virtual or cooked) register
285 REGNUM as found in the specified FRAME. The register's type is
286 determined by register_type(). The value is not fetched. */
287
288struct value *
289value_of_register_lazy (struct frame_info *frame, int regnum)
290{
291 struct gdbarch *gdbarch = get_frame_arch (frame);
292 struct value *reg_val;
293
294 gdb_assert (regnum < (gdbarch_num_regs (gdbarch)
295 + gdbarch_num_pseudo_regs (gdbarch)));
296
297 /* We should have a valid (i.e. non-sentinel) frame. */
298 gdb_assert (frame_id_p (get_frame_id (frame)));
299
300 reg_val = allocate_value (register_type (gdbarch, regnum));
301 VALUE_LVAL (reg_val) = lval_register;
302 VALUE_REGNUM (reg_val) = regnum;
303 VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
304 set_value_lazy (reg_val, 1);
305 return reg_val;
306}
307
308/* Given a pointer of type TYPE in target form in BUF, return the
309 address it represents. */
310CORE_ADDR
311unsigned_pointer_to_address (struct type *type, const gdb_byte *buf)
312{
313 return extract_unsigned_integer (buf, TYPE_LENGTH (type));
314}
315
316CORE_ADDR
317signed_pointer_to_address (struct type *type, const gdb_byte *buf)
318{
319 return extract_signed_integer (buf, TYPE_LENGTH (type));
320}
321
322/* Given an address, store it as a pointer of type TYPE in target
323 format in BUF. */
324void
325unsigned_address_to_pointer (struct type *type, gdb_byte *buf,
326 CORE_ADDR addr)
327{
328 store_unsigned_integer (buf, TYPE_LENGTH (type), addr);
329}
330
331void
332address_to_signed_pointer (struct type *type, gdb_byte *buf, CORE_ADDR addr)
333{
334 store_signed_integer (buf, TYPE_LENGTH (type), addr);
335}
336\f
337/* Will calling read_var_value or locate_var_value on SYM end
338 up caring what frame it is being evaluated relative to? SYM must
339 be non-NULL. */
340int
341symbol_read_needs_frame (struct symbol *sym)
342{
343 switch (SYMBOL_CLASS (sym))
344 {
345 /* All cases listed explicitly so that gcc -Wall will detect it if
346 we failed to consider one. */
347 case LOC_COMPUTED:
348 case LOC_COMPUTED_ARG:
349 /* FIXME: cagney/2004-01-26: It should be possible to
350 unconditionally call the SYMBOL_OPS method when available.
351 Unfortunately DWARF 2 stores the frame-base (instead of the
352 function) location in a function's symbol. Oops! For the
353 moment enable this when/where applicable. */
354 return SYMBOL_OPS (sym)->read_needs_frame (sym);
355
356 case LOC_REGISTER:
357 case LOC_ARG:
358 case LOC_REF_ARG:
359 case LOC_REGPARM:
360 case LOC_REGPARM_ADDR:
361 case LOC_LOCAL:
362 return 1;
363
364 case LOC_UNDEF:
365 case LOC_CONST:
366 case LOC_STATIC:
367 case LOC_TYPEDEF:
368
369 case LOC_LABEL:
370 /* Getting the address of a label can be done independently of the block,
371 even if some *uses* of that address wouldn't work so well without
372 the right frame. */
373
374 case LOC_BLOCK:
375 case LOC_CONST_BYTES:
376 case LOC_UNRESOLVED:
377 case LOC_OPTIMIZED_OUT:
378 return 0;
379 }
380 return 1;
381}
382
383/* Given a struct symbol for a variable,
384 and a stack frame id, read the value of the variable
385 and return a (pointer to a) struct value containing the value.
386 If the variable cannot be found, return a zero pointer.
387 If FRAME is NULL, use the selected frame. */
388
389struct value *
390read_var_value (struct symbol *var, struct frame_info *frame)
391{
392 struct value *v;
393 struct type *type = SYMBOL_TYPE (var);
394 CORE_ADDR addr;
395 int len;
396
397 if (SYMBOL_CLASS (var) == LOC_COMPUTED
398 || SYMBOL_CLASS (var) == LOC_COMPUTED_ARG
399 || SYMBOL_CLASS (var) == LOC_REGISTER
400 || SYMBOL_CLASS (var) == LOC_REGPARM)
401 /* These cases do not use V. */
402 v = NULL;
403 else
404 {
405 v = allocate_value (type);
406 VALUE_LVAL (v) = lval_memory; /* The most likely possibility. */
407 }
408
409 len = TYPE_LENGTH (type);
410
411 /* FIXME drow/2003-09-06: this call to the selected frame should be
412 pushed upwards to the callers. */
413 if (frame == NULL)
414 frame = deprecated_safe_get_selected_frame ();
415
416 switch (SYMBOL_CLASS (var))
417 {
418 case LOC_CONST:
419 /* Put the constant back in target format. */
420 store_signed_integer (value_contents_raw (v), len,
421 (LONGEST) SYMBOL_VALUE (var));
422 VALUE_LVAL (v) = not_lval;
423 return v;
424
425 case LOC_LABEL:
426 /* Put the constant back in target format. */
427 if (overlay_debugging)
428 {
429 CORE_ADDR addr
430 = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
431 SYMBOL_BFD_SECTION (var));
432 store_typed_address (value_contents_raw (v), type, addr);
433 }
434 else
435 store_typed_address (value_contents_raw (v), type,
436 SYMBOL_VALUE_ADDRESS (var));
437 VALUE_LVAL (v) = not_lval;
438 return v;
439
440 case LOC_CONST_BYTES:
441 {
442 memcpy (value_contents_raw (v), SYMBOL_VALUE_BYTES (var), len);
443 VALUE_LVAL (v) = not_lval;
444 return v;
445 }
446
447 case LOC_STATIC:
448 if (overlay_debugging)
449 addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
450 SYMBOL_BFD_SECTION (var));
451 else
452 addr = SYMBOL_VALUE_ADDRESS (var);
453 break;
454
455 case LOC_ARG:
456 if (frame == NULL)
457 return 0;
458 addr = get_frame_args_address (frame);
459 if (!addr)
460 return 0;
461 addr += SYMBOL_VALUE (var);
462 break;
463
464 case LOC_REF_ARG:
465 {
466 struct value *ref;
467 CORE_ADDR argref;
468 if (frame == NULL)
469 return 0;
470 argref = get_frame_args_address (frame);
471 if (!argref)
472 return 0;
473 argref += SYMBOL_VALUE (var);
474 ref = value_at (lookup_pointer_type (type), argref);
475 addr = value_as_address (ref);
476 break;
477 }
478
479 case LOC_LOCAL:
480 if (frame == NULL)
481 return 0;
482 addr = get_frame_locals_address (frame);
483 addr += SYMBOL_VALUE (var);
484 break;
485
486 case LOC_TYPEDEF:
487 error (_("Cannot look up value of a typedef"));
488 break;
489
490 case LOC_BLOCK:
491 if (overlay_debugging)
492 VALUE_ADDRESS (v) = symbol_overlayed_address
493 (BLOCK_START (SYMBOL_BLOCK_VALUE (var)), SYMBOL_BFD_SECTION (var));
494 else
495 VALUE_ADDRESS (v) = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
496 return v;
497
498 case LOC_REGISTER:
499 case LOC_REGPARM:
500 case LOC_REGPARM_ADDR:
501 {
502 struct block *b;
503 int regno = SYMBOL_VALUE (var);
504 struct value *regval;
505
506 if (frame == NULL)
507 return 0;
508 b = get_frame_block (frame, 0);
509
510 if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
511 {
512 regval = value_from_register (lookup_pointer_type (type),
513 regno,
514 frame);
515
516 if (regval == NULL)
517 error (_("Value of register variable not available."));
518
519 addr = value_as_address (regval);
520 VALUE_LVAL (v) = lval_memory;
521 }
522 else
523 {
524 regval = value_from_register (type, regno, frame);
525
526 if (regval == NULL)
527 error (_("Value of register variable not available."));
528 return regval;
529 }
530 }
531 break;
532
533 case LOC_COMPUTED:
534 case LOC_COMPUTED_ARG:
535 /* FIXME: cagney/2004-01-26: It should be possible to
536 unconditionally call the SYMBOL_OPS method when available.
537 Unfortunately DWARF 2 stores the frame-base (instead of the
538 function) location in a function's symbol. Oops! For the
539 moment enable this when/where applicable. */
540 if (frame == 0 && SYMBOL_OPS (var)->read_needs_frame (var))
541 return 0;
542 return SYMBOL_OPS (var)->read_variable (var, frame);
543
544 case LOC_UNRESOLVED:
545 {
546 struct minimal_symbol *msym;
547
548 msym = lookup_minimal_symbol (DEPRECATED_SYMBOL_NAME (var), NULL, NULL);
549 if (msym == NULL)
550 return 0;
551 if (overlay_debugging)
552 addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (msym),
553 SYMBOL_BFD_SECTION (msym));
554 else
555 addr = SYMBOL_VALUE_ADDRESS (msym);
556 }
557 break;
558
559 case LOC_OPTIMIZED_OUT:
560 VALUE_LVAL (v) = not_lval;
561 set_value_optimized_out (v, 1);
562 return v;
563
564 default:
565 error (_("Cannot look up value of a botched symbol."));
566 break;
567 }
568
569 VALUE_ADDRESS (v) = addr;
570 set_value_lazy (v, 1);
571 return v;
572}
573
574/* Install default attributes for register values. */
575
576struct value *
577default_value_from_register (struct type *type, int regnum,
578 struct frame_info *frame)
579{
580 struct gdbarch *gdbarch = get_frame_arch (frame);
581 int len = TYPE_LENGTH (type);
582 struct value *value = allocate_value (type);
583
584 VALUE_LVAL (value) = lval_register;
585 VALUE_FRAME_ID (value) = get_frame_id (frame);
586 VALUE_REGNUM (value) = regnum;
587
588 /* Any structure stored in more than one register will always be
589 an integral number of registers. Otherwise, you need to do
590 some fiddling with the last register copied here for little
591 endian machines. */
592 if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
593 && len < register_size (gdbarch, regnum))
594 /* Big-endian, and we want less than full size. */
595 set_value_offset (value, register_size (gdbarch, regnum) - len);
596 else
597 set_value_offset (value, 0);
598
599 return value;
600}
601
602/* Return a value of type TYPE, stored in register REGNUM, in frame FRAME. */
603
604struct value *
605value_from_register (struct type *type, int regnum, struct frame_info *frame)
606{
607 struct gdbarch *gdbarch = get_frame_arch (frame);
608 struct type *type1 = check_typedef (type);
609 struct value *v;
610
611 if (gdbarch_convert_register_p (gdbarch, regnum, type1))
612 {
613 /* The ISA/ABI need to something weird when obtaining the
614 specified value from this register. It might need to
615 re-order non-adjacent, starting with REGNUM (see MIPS and
616 i386). It might need to convert the [float] register into
617 the corresponding [integer] type (see Alpha). The assumption
618 is that gdbarch_register_to_value populates the entire value
619 including the location. */
620 v = allocate_value (type);
621 VALUE_LVAL (v) = lval_register;
622 VALUE_FRAME_ID (v) = get_frame_id (frame);
623 VALUE_REGNUM (v) = regnum;
624 gdbarch_register_to_value (gdbarch,
625 frame, regnum, type1, value_contents_raw (v));
626 }
627 else
628 {
629 int len = TYPE_LENGTH (type);
630
631 /* Construct the value. */
632 v = gdbarch_value_from_register (gdbarch, type, regnum, frame);
633
634 /* Get the data. */
635 if (!get_frame_register_bytes (frame, regnum, value_offset (v), len,
636 value_contents_raw (v)))
637 set_value_optimized_out (v, 1);
638 }
639 return v;
640}
641
642/* Return contents of register REGNUM in frame FRAME as address,
643 interpreted as value of type TYPE. Will abort if register
644 value is not available. */
645
646CORE_ADDR
647address_from_register (struct type *type, int regnum, struct frame_info *frame)
648{
649 struct value *value;
650 CORE_ADDR result;
651
652 value = value_from_register (type, regnum, frame);
653 gdb_assert (value);
654
655 result = value_as_address (value);
656 release_value (value);
657 value_free (value);
658
659 return result;
660}
661
662\f
663/* Given a struct symbol for a variable or function,
664 and a stack frame id,
665 return a (pointer to a) struct value containing the properly typed
666 address. */
667
668struct value *
669locate_var_value (struct symbol *var, struct frame_info *frame)
670{
671 struct gdbarch *gdbarch = get_frame_arch (frame);
672 CORE_ADDR addr = 0;
673 struct type *type = SYMBOL_TYPE (var);
674 struct value *lazy_value;
675
676 /* Evaluate it first; if the result is a memory address, we're fine.
677 Lazy evaluation pays off here. */
678
679 lazy_value = read_var_value (var, frame);
680 if (lazy_value == 0)
681 error (_("Address of \"%s\" is unknown."), SYMBOL_PRINT_NAME (var));
682
683 if ((VALUE_LVAL (lazy_value) == lval_memory && value_lazy (lazy_value))
684 || TYPE_CODE (type) == TYPE_CODE_FUNC)
685 {
686 struct value *val;
687
688 addr = VALUE_ADDRESS (lazy_value);
689 val = value_from_pointer (lookup_pointer_type (type), addr);
690 return val;
691 }
692
693 /* Not a memory address; check what the problem was. */
694 switch (VALUE_LVAL (lazy_value))
695 {
696 case lval_register:
697 gdb_assert (gdbarch_register_name
698 (gdbarch, VALUE_REGNUM (lazy_value)) != NULL
699 && *gdbarch_register_name
700 (gdbarch, VALUE_REGNUM (lazy_value)) != '\0');
701 error (_("Address requested for identifier "
702 "\"%s\" which is in register $%s"),
703 SYMBOL_PRINT_NAME (var),
704 gdbarch_register_name (gdbarch, VALUE_REGNUM (lazy_value)));
705 break;
706
707 default:
708 error (_("Can't take address of \"%s\" which isn't an lvalue."),
709 SYMBOL_PRINT_NAME (var));
710 break;
711 }
712 return 0; /* For lint -- never reached */
713}
This page took 0.029323 seconds and 4 git commands to generate.