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