Automatic date update in version.in
[deliverable/binutils-gdb.git] / gdb / findvar.c
CommitLineData
c906108c 1/* Find a variable's value in memory, for GDB, the GNU debugger.
1bac305b 2
618f726f 3 Copyright (C) 1986-2016 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
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
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
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.
c906108c 16
c5aa993b 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/>. */
c906108c
SS
19
20#include "defs.h"
21#include "symtab.h"
22#include "gdbtypes.h"
23#include "frame.h"
24#include "value.h"
25#include "gdbcore.h"
26#include "inferior.h"
27#include "target.h"
c906108c 28#include "floatformat.h"
c5aa993b 29#include "symfile.h" /* for overlay functions */
4e052eda 30#include "regcache.h"
eb8bc282 31#include "user-regs.h"
fe898f56 32#include "block.h"
e0740f77 33#include "objfiles.h"
a5ee536b 34#include "language.h"
63e43d3a 35#include "dwarf2loc.h"
c906108c 36
9659616a
MS
37/* Basic byte-swapping routines. All 'extract' functions return a
38 host-format integer from a target-format integer at ADDR which is
39 LEN bytes long. */
c906108c
SS
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... */
c5aa993b 46you lose
c906108c
SS
47#endif
48
a9ac8f51 49LONGEST
e17a4113
UW
50extract_signed_integer (const gdb_byte *addr, int len,
51 enum bfd_endian byte_order)
c906108c
SS
52{
53 LONGEST retval;
37611a2b
AC
54 const unsigned char *p;
55 const unsigned char *startaddr = addr;
56 const unsigned char *endaddr = startaddr + len;
c906108c
SS
57
58 if (len > (int) sizeof (LONGEST))
8a3fe4f8
AC
59 error (_("\
60That operation is not available on integers of more than %d bytes."),
baa6f10b 61 (int) sizeof (LONGEST));
c906108c
SS
62
63 /* Start at the most significant end of the integer, and work towards
64 the least significant. */
e17a4113 65 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
66 {
67 p = startaddr;
68 /* Do the sign extension once at the start. */
c5aa993b 69 retval = ((LONGEST) * p ^ 0x80) - 0x80;
c906108c
SS
70 for (++p; p < endaddr; ++p)
71 retval = (retval << 8) | *p;
72 }
73 else
74 {
75 p = endaddr - 1;
76 /* Do the sign extension once at the start. */
c5aa993b 77 retval = ((LONGEST) * p ^ 0x80) - 0x80;
c906108c
SS
78 for (--p; p >= startaddr; --p)
79 retval = (retval << 8) | *p;
80 }
81 return retval;
82}
83
84ULONGEST
e17a4113
UW
85extract_unsigned_integer (const gdb_byte *addr, int len,
86 enum bfd_endian byte_order)
c906108c
SS
87{
88 ULONGEST retval;
37611a2b
AC
89 const unsigned char *p;
90 const unsigned char *startaddr = addr;
91 const unsigned char *endaddr = startaddr + len;
c906108c
SS
92
93 if (len > (int) sizeof (ULONGEST))
8a3fe4f8
AC
94 error (_("\
95That operation is not available on integers of more than %d bytes."),
baa6f10b 96 (int) sizeof (ULONGEST));
c906108c
SS
97
98 /* Start at the most significant end of the integer, and work towards
99 the least significant. */
100 retval = 0;
e17a4113 101 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
102 {
103 for (p = startaddr; p < endaddr; ++p)
104 retval = (retval << 8) | *p;
105 }
106 else
107 {
108 for (p = endaddr - 1; p >= startaddr; --p)
109 retval = (retval << 8) | *p;
110 }
111 return retval;
112}
113
114/* Sometimes a long long unsigned integer can be extracted as a
115 LONGEST value. This is done so that we can print these values
116 better. If this integer can be converted to a LONGEST, this
117 function returns 1 and sets *PVAL. Otherwise it returns 0. */
118
119int
0d509538 120extract_long_unsigned_integer (const gdb_byte *addr, int orig_len,
e17a4113 121 enum bfd_endian byte_order, LONGEST *pval)
c906108c 122{
0d509538
AC
123 const gdb_byte *p;
124 const gdb_byte *first_addr;
c906108c
SS
125 int len;
126
127 len = orig_len;
e17a4113 128 if (byte_order == BFD_ENDIAN_BIG)
c906108c 129 {
0d509538
AC
130 for (p = addr;
131 len > (int) sizeof (LONGEST) && p < addr + orig_len;
c906108c
SS
132 p++)
133 {
134 if (*p == 0)
135 len--;
136 else
137 break;
138 }
139 first_addr = p;
140 }
141 else
142 {
0d509538
AC
143 first_addr = addr;
144 for (p = addr + orig_len - 1;
145 len > (int) sizeof (LONGEST) && p >= addr;
c906108c
SS
146 p--)
147 {
148 if (*p == 0)
149 len--;
150 else
151 break;
152 }
153 }
154
155 if (len <= (int) sizeof (LONGEST))
156 {
157 *pval = (LONGEST) extract_unsigned_integer (first_addr,
e17a4113
UW
158 sizeof (LONGEST),
159 byte_order);
c906108c
SS
160 return 1;
161 }
162
163 return 0;
164}
165
4478b372 166
4478b372
JB
167/* Treat the bytes at BUF as a pointer of type TYPE, and return the
168 address it represents. */
169CORE_ADDR
0d509538 170extract_typed_address (const gdb_byte *buf, struct type *type)
4478b372
JB
171{
172 if (TYPE_CODE (type) != TYPE_CODE_PTR
173 && TYPE_CODE (type) != TYPE_CODE_REF)
8e65ff28 174 internal_error (__FILE__, __LINE__,
e2e0b3e5
AC
175 _("extract_typed_address: "
176 "type is not a pointer or reference"));
4478b372 177
50810684 178 return gdbarch_pointer_to_address (get_type_arch (type), type, buf);
4478b372
JB
179}
180
9659616a
MS
181/* All 'store' functions accept a host-format integer and store a
182 target-format integer at ADDR which is LEN bytes long. */
4478b372 183
c906108c 184void
e17a4113
UW
185store_signed_integer (gdb_byte *addr, int len,
186 enum bfd_endian byte_order, LONGEST val)
c906108c 187{
0d509538
AC
188 gdb_byte *p;
189 gdb_byte *startaddr = addr;
190 gdb_byte *endaddr = startaddr + len;
c906108c
SS
191
192 /* Start at the least significant end of the integer, and work towards
193 the most significant. */
e17a4113 194 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
195 {
196 for (p = endaddr - 1; p >= startaddr; --p)
197 {
198 *p = val & 0xff;
199 val >>= 8;
200 }
201 }
202 else
203 {
204 for (p = startaddr; p < endaddr; ++p)
205 {
206 *p = val & 0xff;
207 val >>= 8;
208 }
209 }
210}
211
212void
e17a4113
UW
213store_unsigned_integer (gdb_byte *addr, int len,
214 enum bfd_endian byte_order, ULONGEST val)
c906108c
SS
215{
216 unsigned char *p;
c5aa993b 217 unsigned char *startaddr = (unsigned char *) addr;
c906108c
SS
218 unsigned char *endaddr = startaddr + len;
219
220 /* Start at the least significant end of the integer, and work towards
221 the most significant. */
e17a4113 222 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
223 {
224 for (p = endaddr - 1; p >= startaddr; --p)
225 {
226 *p = val & 0xff;
227 val >>= 8;
228 }
229 }
230 else
231 {
232 for (p = startaddr; p < endaddr; ++p)
233 {
234 *p = val & 0xff;
235 val >>= 8;
236 }
237 }
238}
239
4478b372
JB
240/* Store the address ADDR as a pointer of type TYPE at BUF, in target
241 form. */
242void
0d509538 243store_typed_address (gdb_byte *buf, struct type *type, CORE_ADDR addr)
4478b372
JB
244{
245 if (TYPE_CODE (type) != TYPE_CODE_PTR
246 && TYPE_CODE (type) != TYPE_CODE_REF)
8e65ff28 247 internal_error (__FILE__, __LINE__,
e2e0b3e5
AC
248 _("store_typed_address: "
249 "type is not a pointer or reference"));
4478b372 250
50810684 251 gdbarch_address_to_pointer (get_type_arch (type), type, buf, addr);
4478b372
JB
252}
253
254
255
376c9600
AC
256/* Return a `value' with the contents of (virtual or cooked) register
257 REGNUM as found in the specified FRAME. The register's type is
9c5ea4d9 258 determined by register_type(). */
c906108c 259
3d6d86c6 260struct value *
376c9600 261value_of_register (int regnum, struct frame_info *frame)
c906108c 262{
e9e45075 263 struct gdbarch *gdbarch = get_frame_arch (frame);
3d6d86c6 264 struct value *reg_val;
c906108c 265
9564ee9f 266 /* User registers lie completely outside of the range of normal
0406ec40 267 registers. Catch them early so that the target never sees them. */
e9e45075
UW
268 if (regnum >= gdbarch_num_regs (gdbarch)
269 + gdbarch_num_pseudo_regs (gdbarch))
eb8bc282 270 return value_of_user_reg (regnum, frame);
0406ec40 271
d5b495b4
PA
272 reg_val = value_of_register_lazy (frame, regnum);
273 value_fetch_lazy (reg_val);
c906108c
SS
274 return reg_val;
275}
4478b372 276
9214ee5f
DJ
277/* Return a `value' with the contents of (virtual or cooked) register
278 REGNUM as found in the specified FRAME. The register's type is
279 determined by register_type(). The value is not fetched. */
280
281struct value *
282value_of_register_lazy (struct frame_info *frame, int regnum)
283{
284 struct gdbarch *gdbarch = get_frame_arch (frame);
285 struct value *reg_val;
286
287 gdb_assert (regnum < (gdbarch_num_regs (gdbarch)
288 + gdbarch_num_pseudo_regs (gdbarch)));
289
290 /* We should have a valid (i.e. non-sentinel) frame. */
291 gdb_assert (frame_id_p (get_frame_id (frame)));
292
41e8491f 293 reg_val = allocate_value_lazy (register_type (gdbarch, regnum));
9214ee5f
DJ
294 VALUE_LVAL (reg_val) = lval_register;
295 VALUE_REGNUM (reg_val) = regnum;
296 VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
9214ee5f
DJ
297 return reg_val;
298}
299
4478b372
JB
300/* Given a pointer of type TYPE in target form in BUF, return the
301 address it represents. */
302CORE_ADDR
9898f801
UW
303unsigned_pointer_to_address (struct gdbarch *gdbarch,
304 struct type *type, const gdb_byte *buf)
4478b372 305{
e17a4113 306 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 307
e17a4113 308 return extract_unsigned_integer (buf, TYPE_LENGTH (type), byte_order);
4478b372
JB
309}
310
ac2e2ef7 311CORE_ADDR
9898f801
UW
312signed_pointer_to_address (struct gdbarch *gdbarch,
313 struct type *type, const gdb_byte *buf)
ac2e2ef7 314{
e17a4113 315 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 316
e17a4113 317 return extract_signed_integer (buf, TYPE_LENGTH (type), byte_order);
ac2e2ef7 318}
4478b372
JB
319
320/* Given an address, store it as a pointer of type TYPE in target
321 format in BUF. */
322void
9898f801
UW
323unsigned_address_to_pointer (struct gdbarch *gdbarch, struct type *type,
324 gdb_byte *buf, CORE_ADDR addr)
4478b372 325{
e17a4113 326 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 327
e17a4113 328 store_unsigned_integer (buf, TYPE_LENGTH (type), byte_order, addr);
4478b372
JB
329}
330
ac2e2ef7 331void
9898f801
UW
332address_to_signed_pointer (struct gdbarch *gdbarch, struct type *type,
333 gdb_byte *buf, CORE_ADDR addr)
ac2e2ef7 334{
e17a4113 335 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 336
e17a4113 337 store_signed_integer (buf, TYPE_LENGTH (type), byte_order, addr);
ac2e2ef7 338}
c906108c
SS
339\f
340/* Will calling read_var_value or locate_var_value on SYM end
341 up caring what frame it is being evaluated relative to? SYM must
342 be non-NULL. */
343int
fba45db2 344symbol_read_needs_frame (struct symbol *sym)
c906108c 345{
24d6c2a0
TT
346 if (SYMBOL_COMPUTED_OPS (sym) != NULL)
347 return SYMBOL_COMPUTED_OPS (sym)->read_needs_frame (sym);
348
c906108c
SS
349 switch (SYMBOL_CLASS (sym))
350 {
351 /* All cases listed explicitly so that gcc -Wall will detect it if
c5aa993b 352 we failed to consider one. */
4c2df51b 353 case LOC_COMPUTED:
24d6c2a0 354 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
4c2df51b 355
c906108c
SS
356 case LOC_REGISTER:
357 case LOC_ARG:
358 case LOC_REF_ARG:
c906108c
SS
359 case LOC_REGPARM_ADDR:
360 case LOC_LOCAL:
c906108c
SS
361 return 1;
362
363 case LOC_UNDEF:
364 case LOC_CONST:
365 case LOC_STATIC:
c906108c
SS
366 case LOC_TYPEDEF:
367
368 case LOC_LABEL:
369 /* Getting the address of a label can be done independently of the block,
c5aa993b
JM
370 even if some *uses* of that address wouldn't work so well without
371 the right frame. */
c906108c
SS
372
373 case LOC_BLOCK:
374 case LOC_CONST_BYTES:
375 case LOC_UNRESOLVED:
376 case LOC_OPTIMIZED_OUT:
377 return 0;
378 }
379 return 1;
380}
381
19630284
JB
382/* Private data to be used with minsym_lookup_iterator_cb. */
383
384struct minsym_lookup_data
385{
386 /* The name of the minimal symbol we are searching for. */
387 const char *name;
388
389 /* The field where the callback should store the minimal symbol
390 if found. It should be initialized to NULL before the search
391 is started. */
3b7344d5 392 struct bound_minimal_symbol result;
19630284
JB
393};
394
395/* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
396 It searches by name for a minimal symbol within the given OBJFILE.
397 The arguments are passed via CB_DATA, which in reality is a pointer
398 to struct minsym_lookup_data. */
399
400static int
401minsym_lookup_iterator_cb (struct objfile *objfile, void *cb_data)
402{
403 struct minsym_lookup_data *data = (struct minsym_lookup_data *) cb_data;
404
3b7344d5 405 gdb_assert (data->result.minsym == NULL);
19630284
JB
406
407 data->result = lookup_minimal_symbol (data->name, NULL, objfile);
408
409 /* The iterator should stop iff a match was found. */
3b7344d5 410 return (data->result.minsym != NULL);
19630284
JB
411}
412
63e43d3a
PMR
413/* Given static link expression and the frame it lives in, look for the frame
414 the static links points to and return it. Return NULL if we could not find
415 such a frame. */
416
417static struct frame_info *
418follow_static_link (struct frame_info *frame,
419 const struct dynamic_prop *static_link)
420{
421 CORE_ADDR upper_frame_base;
422
423 if (!dwarf2_evaluate_property (static_link, frame, NULL, &upper_frame_base))
424 return NULL;
425
426 /* Now climb up the stack frame until we reach the frame we are interested
427 in. */
428 for (; frame != NULL; frame = get_prev_frame (frame))
429 {
430 struct symbol *framefunc = get_frame_function (frame);
431
432 /* Stacks can be quite deep: give the user a chance to stop this. */
433 QUIT;
434
435 /* If we don't know how to compute FRAME's base address, don't give up:
436 maybe the frame we are looking for is upper in the stace frame. */
437 if (framefunc != NULL
2091da29 438 && SYMBOL_BLOCK_OPS (framefunc) != NULL
63e43d3a
PMR
439 && SYMBOL_BLOCK_OPS (framefunc)->get_frame_base != NULL
440 && (SYMBOL_BLOCK_OPS (framefunc)->get_frame_base (framefunc, frame)
441 == upper_frame_base))
442 break;
443 }
444
445 return frame;
446}
447
448/* Assuming VAR is a symbol that can be reached from FRAME thanks to lexical
449 rules, look for the frame that is actually hosting VAR and return it. If,
450 for some reason, we found no such frame, return NULL.
451
452 This kind of computation is necessary to correctly handle lexically nested
453 functions.
454
455 Note that in some cases, we know what scope VAR comes from but we cannot
456 reach the specific frame that hosts the instance of VAR we are looking for.
457 For backward compatibility purposes (with old compilers), we then look for
458 the first frame that can host it. */
459
460static struct frame_info *
461get_hosting_frame (struct symbol *var, const struct block *var_block,
462 struct frame_info *frame)
463{
464 const struct block *frame_block = NULL;
465
466 if (!symbol_read_needs_frame (var))
467 return NULL;
468
469 /* Some symbols for local variables have no block: this happens when they are
470 not produced by a debug information reader, for instance when GDB creates
471 synthetic symbols. Without block information, we must assume they are
472 local to FRAME. In this case, there is nothing to do. */
473 else if (var_block == NULL)
474 return frame;
475
476 /* We currently assume that all symbols with a location list need a frame.
477 This is true in practice because selecting the location description
478 requires to compute the CFA, hence requires a frame. However we have
479 tests that embed global/static symbols with null location lists.
480 We want to get <optimized out> instead of <frame required> when evaluating
481 them so return a frame instead of raising an error. */
482 else if (var_block == block_global_block (var_block)
483 || var_block == block_static_block (var_block))
484 return frame;
485
486 /* We have to handle the "my_func::my_local_var" notation. This requires us
487 to look for upper frames when we find no block for the current frame: here
488 and below, handle when frame_block == NULL. */
489 if (frame != NULL)
490 frame_block = get_frame_block (frame, NULL);
491
492 /* Climb up the call stack until reaching the frame we are looking for. */
493 while (frame != NULL && frame_block != var_block)
494 {
495 /* Stacks can be quite deep: give the user a chance to stop this. */
496 QUIT;
497
498 if (frame_block == NULL)
499 {
500 frame = get_prev_frame (frame);
501 if (frame == NULL)
502 break;
503 frame_block = get_frame_block (frame, NULL);
504 }
505
506 /* If we failed to find the proper frame, fallback to the heuristic
507 method below. */
508 else if (frame_block == block_global_block (frame_block))
509 {
510 frame = NULL;
511 break;
512 }
513
514 /* Assuming we have a block for this frame: if we are at the function
515 level, the immediate upper lexical block is in an outer function:
516 follow the static link. */
517 else if (BLOCK_FUNCTION (frame_block))
518 {
519 const struct dynamic_prop *static_link
520 = block_static_link (frame_block);
521 int could_climb_up = 0;
522
523 if (static_link != NULL)
524 {
525 frame = follow_static_link (frame, static_link);
526 if (frame != NULL)
527 {
528 frame_block = get_frame_block (frame, NULL);
529 could_climb_up = frame_block != NULL;
530 }
531 }
532 if (!could_climb_up)
533 {
534 frame = NULL;
535 break;
536 }
537 }
538
539 else
540 /* We must be in some function nested lexical block. Just get the
541 outer block: both must share the same frame. */
542 frame_block = BLOCK_SUPERBLOCK (frame_block);
543 }
544
545 /* Old compilers may not provide a static link, or they may provide an
546 invalid one. For such cases, fallback on the old way to evaluate
547 non-local references: just climb up the call stack and pick the first
548 frame that contains the variable we are looking for. */
549 if (frame == NULL)
550 {
551 frame = block_innermost_frame (var_block);
552 if (frame == NULL)
553 {
554 if (BLOCK_FUNCTION (var_block)
555 && !block_inlined_p (var_block)
556 && SYMBOL_PRINT_NAME (BLOCK_FUNCTION (var_block)))
557 error (_("No frame is currently executing in block %s."),
558 SYMBOL_PRINT_NAME (BLOCK_FUNCTION (var_block)));
559 else
560 error (_("No frame is currently executing in specified"
561 " block"));
562 }
563 }
564
565 return frame;
566}
567
a5ee536b
JB
568/* A default implementation for the "la_read_var_value" hook in
569 the language vector which should work in most situations. */
c906108c 570
3d6d86c6 571struct value *
63e43d3a
PMR
572default_read_var_value (struct symbol *var, const struct block *var_block,
573 struct frame_info *frame)
c906108c 574{
52f0bd74 575 struct value *v;
c906108c
SS
576 struct type *type = SYMBOL_TYPE (var);
577 CORE_ADDR addr;
c906108c 578
41e8491f
JK
579 /* Call check_typedef on our type to make sure that, if TYPE is
580 a TYPE_CODE_TYPEDEF, its length is set to the length of the target type
581 instead of zero. However, we do not replace the typedef type by the
582 target type, because we want to keep the typedef in order to be able to
583 set the returned value type description correctly. */
584 check_typedef (type);
c906108c 585
61212c0f 586 if (symbol_read_needs_frame (var))
63e43d3a
PMR
587 gdb_assert (frame != NULL);
588
589 if (frame != NULL)
590 frame = get_hosting_frame (var, var_block, frame);
c906108c 591
24d6c2a0
TT
592 if (SYMBOL_COMPUTED_OPS (var) != NULL)
593 return SYMBOL_COMPUTED_OPS (var)->read_variable (var, frame);
594
c906108c
SS
595 switch (SYMBOL_CLASS (var))
596 {
597 case LOC_CONST:
1612e0c0
SA
598 if (is_dynamic_type (type))
599 {
600 /* Value is a constant byte-sequence and needs no memory access. */
c3345124 601 type = resolve_dynamic_type (type, NULL, /* Unused address. */ 0);
1612e0c0
SA
602 }
603 /* Put the constant back in target format. */
41e8491f 604 v = allocate_value (type);
744a8059 605 store_signed_integer (value_contents_raw (v), TYPE_LENGTH (type),
e17a4113 606 gdbarch_byte_order (get_type_arch (type)),
c906108c
SS
607 (LONGEST) SYMBOL_VALUE (var));
608 VALUE_LVAL (v) = not_lval;
609 return v;
610
611 case LOC_LABEL:
612 /* Put the constant back in target format. */
41e8491f 613 v = allocate_value (type);
c906108c 614 if (overlay_debugging)
4478b372
JB
615 {
616 CORE_ADDR addr
617 = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
08be3fe3 618 SYMBOL_OBJ_SECTION (symbol_objfile (var),
e27d198c 619 var));
bb9bcb69 620
990a07ab 621 store_typed_address (value_contents_raw (v), type, addr);
4478b372 622 }
c906108c 623 else
990a07ab 624 store_typed_address (value_contents_raw (v), type,
4478b372 625 SYMBOL_VALUE_ADDRESS (var));
c906108c
SS
626 VALUE_LVAL (v) = not_lval;
627 return v;
628
629 case LOC_CONST_BYTES:
1612e0c0
SA
630 if (is_dynamic_type (type))
631 {
632 /* Value is a constant byte-sequence and needs no memory access. */
c3345124 633 type = resolve_dynamic_type (type, NULL, /* Unused address. */ 0);
1612e0c0 634 }
41e8491f 635 v = allocate_value (type);
744a8059
SP
636 memcpy (value_contents_raw (v), SYMBOL_VALUE_BYTES (var),
637 TYPE_LENGTH (type));
bb9bcb69
MS
638 VALUE_LVAL (v) = not_lval;
639 return v;
c906108c
SS
640
641 case LOC_STATIC:
642 if (overlay_debugging)
643 addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
08be3fe3 644 SYMBOL_OBJ_SECTION (symbol_objfile (var),
e27d198c 645 var));
c906108c
SS
646 else
647 addr = SYMBOL_VALUE_ADDRESS (var);
648 break;
649
c906108c 650 case LOC_ARG:
da62e633 651 addr = get_frame_args_address (frame);
c906108c 652 if (!addr)
8afd712c
JK
653 error (_("Unknown argument list address for `%s'."),
654 SYMBOL_PRINT_NAME (var));
c906108c
SS
655 addr += SYMBOL_VALUE (var);
656 break;
657
658 case LOC_REF_ARG:
f76febae
AC
659 {
660 struct value *ref;
661 CORE_ADDR argref;
bb9bcb69 662
da62e633 663 argref = get_frame_args_address (frame);
f76febae 664 if (!argref)
8afd712c
JK
665 error (_("Unknown argument list address for `%s'."),
666 SYMBOL_PRINT_NAME (var));
f76febae 667 argref += SYMBOL_VALUE (var);
00a4c844 668 ref = value_at (lookup_pointer_type (type), argref);
1aa20aa8 669 addr = value_as_address (ref);
f76febae
AC
670 break;
671 }
c906108c
SS
672
673 case LOC_LOCAL:
da62e633 674 addr = get_frame_locals_address (frame);
c906108c
SS
675 addr += SYMBOL_VALUE (var);
676 break;
677
c906108c 678 case LOC_TYPEDEF:
8afd712c
JK
679 error (_("Cannot look up value of a typedef `%s'."),
680 SYMBOL_PRINT_NAME (var));
c906108c
SS
681 break;
682
683 case LOC_BLOCK:
684 if (overlay_debugging)
41e8491f 685 addr = symbol_overlayed_address
08be3fe3
DE
686 (BLOCK_START (SYMBOL_BLOCK_VALUE (var)),
687 SYMBOL_OBJ_SECTION (symbol_objfile (var), var));
c906108c 688 else
41e8491f
JK
689 addr = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
690 break;
c906108c
SS
691
692 case LOC_REGISTER:
c906108c
SS
693 case LOC_REGPARM_ADDR:
694 {
768a979c
UW
695 int regno = SYMBOL_REGISTER_OPS (var)
696 ->register_number (var, get_frame_arch (frame));
3d6d86c6 697 struct value *regval;
c906108c 698
c906108c
SS
699 if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
700 {
701 regval = value_from_register (lookup_pointer_type (type),
c5aa993b 702 regno,
c906108c
SS
703 frame);
704
705 if (regval == NULL)
8afd712c
JK
706 error (_("Value of register variable not available for `%s'."),
707 SYMBOL_PRINT_NAME (var));
c906108c 708
1aa20aa8 709 addr = value_as_address (regval);
c906108c
SS
710 }
711 else
712 {
713 regval = value_from_register (type, regno, frame);
714
715 if (regval == NULL)
8afd712c
JK
716 error (_("Value of register variable not available for `%s'."),
717 SYMBOL_PRINT_NAME (var));
c906108c
SS
718 return regval;
719 }
720 }
721 break;
722
4c2df51b 723 case LOC_COMPUTED:
24d6c2a0 724 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
4c2df51b 725
c906108c
SS
726 case LOC_UNRESOLVED:
727 {
19630284 728 struct minsym_lookup_data lookup_data;
c906108c 729 struct minimal_symbol *msym;
e0740f77 730 struct obj_section *obj_section;
c906108c 731
19630284
JB
732 memset (&lookup_data, 0, sizeof (lookup_data));
733 lookup_data.name = SYMBOL_LINKAGE_NAME (var);
734
735 gdbarch_iterate_over_objfiles_in_search_order
08be3fe3 736 (symbol_arch (var),
19630284 737 minsym_lookup_iterator_cb, &lookup_data,
08be3fe3 738 symbol_objfile (var));
3b7344d5 739 msym = lookup_data.result.minsym;
19630284 740
015d2e7e
DE
741 /* If we can't find the minsym there's a problem in the symbol info.
742 The symbol exists in the debug info, but it's missing in the minsym
743 table. */
c906108c 744 if (msym == NULL)
015d2e7e
DE
745 {
746 const char *flavour_name
747 = objfile_flavour_name (symbol_objfile (var));
748
749 /* We can't get here unless we've opened the file, so flavour_name
750 can't be NULL. */
751 gdb_assert (flavour_name != NULL);
752 error (_("Missing %s symbol \"%s\"."),
753 flavour_name, SYMBOL_LINKAGE_NAME (var));
754 }
3b7344d5 755 obj_section = MSYMBOL_OBJ_SECTION (lookup_data.result.objfile, msym);
5382cfab
PW
756 /* Relocate address, unless there is no section or the variable is
757 a TLS variable. */
758 if (obj_section == NULL
759 || (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
760 addr = MSYMBOL_VALUE_RAW_ADDRESS (msym);
761 else
762 addr = BMSYMBOL_VALUE_ADDRESS (lookup_data.result);
763 if (overlay_debugging)
764 addr = symbol_overlayed_address (addr, obj_section);
765 /* Determine address of TLS variable. */
e0740f77
JK
766 if (obj_section
767 && (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
768 addr = target_translate_tls_address (obj_section->objfile, addr);
c906108c
SS
769 }
770 break;
771
772 case LOC_OPTIMIZED_OUT:
a7035dbb 773 return allocate_optimized_out_value (type);
c906108c
SS
774
775 default:
8afd712c
JK
776 error (_("Cannot look up value of a botched symbol `%s'."),
777 SYMBOL_PRINT_NAME (var));
c906108c
SS
778 break;
779 }
780
08039c9e 781 v = value_at_lazy (type, addr);
c906108c
SS
782 return v;
783}
784
a5ee536b
JB
785/* Calls VAR's language la_read_var_value hook with the given arguments. */
786
787struct value *
63e43d3a
PMR
788read_var_value (struct symbol *var, const struct block *var_block,
789 struct frame_info *frame)
a5ee536b
JB
790{
791 const struct language_defn *lang = language_def (SYMBOL_LANGUAGE (var));
792
793 gdb_assert (lang != NULL);
794 gdb_assert (lang->la_read_var_value != NULL);
795
63e43d3a 796 return lang->la_read_var_value (var, var_block, frame);
a5ee536b
JB
797}
798
9acbedc0
UW
799/* Install default attributes for register values. */
800
801struct value *
2ed3c037
UW
802default_value_from_register (struct gdbarch *gdbarch, struct type *type,
803 int regnum, struct frame_id frame_id)
9acbedc0 804{
9acbedc0
UW
805 int len = TYPE_LENGTH (type);
806 struct value *value = allocate_value (type);
807
808 VALUE_LVAL (value) = lval_register;
2ed3c037 809 VALUE_FRAME_ID (value) = frame_id;
9acbedc0
UW
810 VALUE_REGNUM (value) = regnum;
811
812 /* Any structure stored in more than one register will always be
813 an integral number of registers. Otherwise, you need to do
814 some fiddling with the last register copied here for little
815 endian machines. */
e9e45075 816 if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
9acbedc0
UW
817 && len < register_size (gdbarch, regnum))
818 /* Big-endian, and we want less than full size. */
819 set_value_offset (value, register_size (gdbarch, regnum) - len);
820 else
821 set_value_offset (value, 0);
822
823 return value;
824}
825
b56d6f31
JB
826/* VALUE must be an lval_register value. If regnum is the value's
827 associated register number, and len the length of the values type,
828 read one or more registers in FRAME, starting with register REGNUM,
2603f7ee
AB
829 until we've read LEN bytes.
830
831 If any of the registers we try to read are optimized out, then mark the
832 complete resulting value as optimized out. */
b56d6f31
JB
833
834void
835read_frame_register_value (struct value *value, struct frame_info *frame)
836{
01efb936 837 struct gdbarch *gdbarch = get_frame_arch (frame);
b56d6f31 838 int offset = 0;
01efb936 839 int reg_offset = value_offset (value);
b56d6f31 840 int regnum = VALUE_REGNUM (value);
3ae385af 841 int len = type_length_units (check_typedef (value_type (value)));
b56d6f31
JB
842
843 gdb_assert (VALUE_LVAL (value) == lval_register);
844
01efb936
UW
845 /* Skip registers wholly inside of REG_OFFSET. */
846 while (reg_offset >= register_size (gdbarch, regnum))
847 {
848 reg_offset -= register_size (gdbarch, regnum);
849 regnum++;
850 }
851
852 /* Copy the data. */
853 while (len > 0)
b56d6f31
JB
854 {
855 struct value *regval = get_frame_register_value (frame, regnum);
3ae385af 856 int reg_len = type_length_units (value_type (regval)) - reg_offset;
b56d6f31 857
22355c90
JB
858 /* If the register length is larger than the number of bytes
859 remaining to copy, then only copy the appropriate bytes. */
01efb936
UW
860 if (reg_len > len)
861 reg_len = len;
22355c90 862
01efb936 863 value_contents_copy (value, offset, regval, reg_offset, reg_len);
b56d6f31
JB
864
865 offset += reg_len;
01efb936
UW
866 len -= reg_len;
867 reg_offset = 0;
b56d6f31
JB
868 regnum++;
869 }
870}
871
00fa51f6 872/* Return a value of type TYPE, stored in register REGNUM, in frame FRAME. */
c906108c 873
3d6d86c6 874struct value *
fba45db2 875value_from_register (struct type *type, int regnum, struct frame_info *frame)
c906108c 876{
ff2e87ac 877 struct gdbarch *gdbarch = get_frame_arch (frame);
9acbedc0
UW
878 struct type *type1 = check_typedef (type);
879 struct value *v;
880
e9e45075 881 if (gdbarch_convert_register_p (gdbarch, regnum, type1))
ff2e87ac 882 {
3543a589
TT
883 int optim, unavail, ok;
884
ff2e87ac
AC
885 /* The ISA/ABI need to something weird when obtaining the
886 specified value from this register. It might need to
887 re-order non-adjacent, starting with REGNUM (see MIPS and
888 i386). It might need to convert the [float] register into
889 the corresponding [integer] type (see Alpha). The assumption
c1afe53d 890 is that gdbarch_register_to_value populates the entire value
ff2e87ac 891 including the location. */
9acbedc0
UW
892 v = allocate_value (type);
893 VALUE_LVAL (v) = lval_register;
894 VALUE_FRAME_ID (v) = get_frame_id (frame);
895 VALUE_REGNUM (v) = regnum;
8dccd430
PA
896 ok = gdbarch_register_to_value (gdbarch, frame, regnum, type1,
897 value_contents_raw (v), &optim,
898 &unavail);
3543a589
TT
899
900 if (!ok)
901 {
902 if (optim)
9a0dc9e3 903 mark_value_bytes_optimized_out (v, 0, TYPE_LENGTH (type));
3543a589
TT
904 if (unavail)
905 mark_value_bytes_unavailable (v, 0, TYPE_LENGTH (type));
906 }
ff2e87ac
AC
907 }
908 else
c906108c 909 {
9acbedc0 910 /* Construct the value. */
2ed3c037
UW
911 v = gdbarch_value_from_register (gdbarch, type,
912 regnum, get_frame_id (frame));
00fa51f6
UW
913
914 /* Get the data. */
b56d6f31 915 read_frame_register_value (v, frame);
c906108c 916 }
8dccd430 917
c906108c
SS
918 return v;
919}
ff2e87ac 920
2ed3c037
UW
921/* Return contents of register REGNUM in frame FRAME as address.
922 Will abort if register value is not available. */
0b2b0195
UW
923
924CORE_ADDR
2ed3c037 925address_from_register (int regnum, struct frame_info *frame)
0b2b0195 926{
2ed3c037
UW
927 struct gdbarch *gdbarch = get_frame_arch (frame);
928 struct type *type = builtin_type (gdbarch)->builtin_data_ptr;
0b2b0195
UW
929 struct value *value;
930 CORE_ADDR result;
5f3ff4f8
JK
931 int regnum_max_excl = (gdbarch_num_regs (gdbarch)
932 + gdbarch_num_pseudo_regs (gdbarch));
933
934 if (regnum < 0 || regnum >= regnum_max_excl)
935 error (_("Invalid register #%d, expecting 0 <= # < %d"), regnum,
936 regnum_max_excl);
0b2b0195 937
2ed3c037
UW
938 /* This routine may be called during early unwinding, at a time
939 where the ID of FRAME is not yet known. Calling value_from_register
940 would therefore abort in get_frame_id. However, since we only need
941 a temporary value that is never used as lvalue, we actually do not
942 really need to set its VALUE_FRAME_ID. Therefore, we re-implement
eeef931a 943 the core of value_from_register, but use the null_frame_id. */
2ed3c037 944
eeef931a
UW
945 /* Some targets require a special conversion routine even for plain
946 pointer types. Avoid constructing a value object in those cases. */
947 if (gdbarch_convert_register_p (gdbarch, regnum, type))
948 {
224c3ddb 949 gdb_byte *buf = (gdb_byte *) alloca (TYPE_LENGTH (type));
eeef931a
UW
950 int optim, unavail, ok;
951
952 ok = gdbarch_register_to_value (gdbarch, frame, regnum, type,
953 buf, &optim, &unavail);
954 if (!ok)
955 {
956 /* This function is used while computing a location expression.
957 Complain about the value being optimized out, rather than
958 letting value_as_address complain about some random register
959 the expression depends on not being saved. */
960 error_value_optimized_out ();
961 }
962
963 return unpack_long (type, buf);
964 }
2ed3c037
UW
965
966 value = gdbarch_value_from_register (gdbarch, type, regnum, null_frame_id);
967 read_frame_register_value (value, frame);
0b2b0195 968
901461f8
PA
969 if (value_optimized_out (value))
970 {
971 /* This function is used while computing a location expression.
972 Complain about the value being optimized out, rather than
973 letting value_as_address complain about some random register
974 the expression depends on not being saved. */
975 error_value_optimized_out ();
976 }
977
0b2b0195
UW
978 result = value_as_address (value);
979 release_value (value);
980 value_free (value);
981
982 return result;
983}
b56d6f31 984
This page took 1.534986 seconds and 4 git commands to generate.