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