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