]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gdb/findvar.c
vla: resolve dynamic bounds if value contents is a constant byte-sequence
[thirdparty/binutils-gdb.git] / gdb / findvar.c
CommitLineData
c906108c 1/* Find a variable's value in memory, for GDB, the GNU debugger.
1bac305b 2
ecd75fc8 3 Copyright (C) 1986-2014 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"
0e9f083f 28#include <string.h>
14e534aa 29#include "gdb_assert.h"
c906108c 30#include "floatformat.h"
c5aa993b 31#include "symfile.h" /* for overlay functions */
4e052eda 32#include "regcache.h"
eb8bc282 33#include "user-regs.h"
fe898f56 34#include "block.h"
e0740f77 35#include "objfiles.h"
a5ee536b 36#include "language.h"
c906108c 37
9659616a
MS
38/* Basic byte-swapping routines. All 'extract' functions return a
39 host-format integer from a target-format integer at ADDR which is
40 LEN bytes long. */
c906108c
SS
41
42#if TARGET_CHAR_BIT != 8 || HOST_CHAR_BIT != 8
43 /* 8 bit characters are a pretty safe assumption these days, so we
44 assume it throughout all these swapping routines. If we had to deal with
45 9 bit characters, we would need to make len be in bits and would have
46 to re-write these routines... */
c5aa993b 47you lose
c906108c
SS
48#endif
49
a9ac8f51 50LONGEST
e17a4113
UW
51extract_signed_integer (const gdb_byte *addr, int len,
52 enum bfd_endian byte_order)
c906108c
SS
53{
54 LONGEST retval;
37611a2b
AC
55 const unsigned char *p;
56 const unsigned char *startaddr = addr;
57 const unsigned char *endaddr = startaddr + len;
c906108c
SS
58
59 if (len > (int) sizeof (LONGEST))
8a3fe4f8
AC
60 error (_("\
61That operation is not available on integers of more than %d bytes."),
baa6f10b 62 (int) sizeof (LONGEST));
c906108c
SS
63
64 /* Start at the most significant end of the integer, and work towards
65 the least significant. */
e17a4113 66 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
67 {
68 p = startaddr;
69 /* Do the sign extension once at the start. */
c5aa993b 70 retval = ((LONGEST) * p ^ 0x80) - 0x80;
c906108c
SS
71 for (++p; p < endaddr; ++p)
72 retval = (retval << 8) | *p;
73 }
74 else
75 {
76 p = endaddr - 1;
77 /* Do the sign extension once at the start. */
c5aa993b 78 retval = ((LONGEST) * p ^ 0x80) - 0x80;
c906108c
SS
79 for (--p; p >= startaddr; --p)
80 retval = (retval << 8) | *p;
81 }
82 return retval;
83}
84
85ULONGEST
e17a4113
UW
86extract_unsigned_integer (const gdb_byte *addr, int len,
87 enum bfd_endian byte_order)
c906108c
SS
88{
89 ULONGEST retval;
37611a2b
AC
90 const unsigned char *p;
91 const unsigned char *startaddr = addr;
92 const unsigned char *endaddr = startaddr + len;
c906108c
SS
93
94 if (len > (int) sizeof (ULONGEST))
8a3fe4f8
AC
95 error (_("\
96That operation is not available on integers of more than %d bytes."),
baa6f10b 97 (int) sizeof (ULONGEST));
c906108c
SS
98
99 /* Start at the most significant end of the integer, and work towards
100 the least significant. */
101 retval = 0;
e17a4113 102 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
103 {
104 for (p = startaddr; p < endaddr; ++p)
105 retval = (retval << 8) | *p;
106 }
107 else
108 {
109 for (p = endaddr - 1; p >= startaddr; --p)
110 retval = (retval << 8) | *p;
111 }
112 return retval;
113}
114
115/* Sometimes a long long unsigned integer can be extracted as a
116 LONGEST value. This is done so that we can print these values
117 better. If this integer can be converted to a LONGEST, this
118 function returns 1 and sets *PVAL. Otherwise it returns 0. */
119
120int
0d509538 121extract_long_unsigned_integer (const gdb_byte *addr, int orig_len,
e17a4113 122 enum bfd_endian byte_order, LONGEST *pval)
c906108c 123{
0d509538
AC
124 const gdb_byte *p;
125 const gdb_byte *first_addr;
c906108c
SS
126 int len;
127
128 len = orig_len;
e17a4113 129 if (byte_order == BFD_ENDIAN_BIG)
c906108c 130 {
0d509538
AC
131 for (p = addr;
132 len > (int) sizeof (LONGEST) && p < addr + orig_len;
c906108c
SS
133 p++)
134 {
135 if (*p == 0)
136 len--;
137 else
138 break;
139 }
140 first_addr = p;
141 }
142 else
143 {
0d509538
AC
144 first_addr = addr;
145 for (p = addr + orig_len - 1;
146 len > (int) sizeof (LONGEST) && p >= addr;
c906108c
SS
147 p--)
148 {
149 if (*p == 0)
150 len--;
151 else
152 break;
153 }
154 }
155
156 if (len <= (int) sizeof (LONGEST))
157 {
158 *pval = (LONGEST) extract_unsigned_integer (first_addr,
e17a4113
UW
159 sizeof (LONGEST),
160 byte_order);
c906108c
SS
161 return 1;
162 }
163
164 return 0;
165}
166
4478b372 167
4478b372
JB
168/* Treat the bytes at BUF as a pointer of type TYPE, and return the
169 address it represents. */
170CORE_ADDR
0d509538 171extract_typed_address (const gdb_byte *buf, struct type *type)
4478b372
JB
172{
173 if (TYPE_CODE (type) != TYPE_CODE_PTR
174 && TYPE_CODE (type) != TYPE_CODE_REF)
8e65ff28 175 internal_error (__FILE__, __LINE__,
e2e0b3e5
AC
176 _("extract_typed_address: "
177 "type is not a pointer or reference"));
4478b372 178
50810684 179 return gdbarch_pointer_to_address (get_type_arch (type), type, buf);
4478b372
JB
180}
181
9659616a
MS
182/* All 'store' functions accept a host-format integer and store a
183 target-format integer at ADDR which is LEN bytes long. */
4478b372 184
c906108c 185void
e17a4113
UW
186store_signed_integer (gdb_byte *addr, int len,
187 enum bfd_endian byte_order, LONGEST val)
c906108c 188{
0d509538
AC
189 gdb_byte *p;
190 gdb_byte *startaddr = addr;
191 gdb_byte *endaddr = startaddr + len;
c906108c
SS
192
193 /* Start at the least significant end of the integer, and work towards
194 the most significant. */
e17a4113 195 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
196 {
197 for (p = endaddr - 1; p >= startaddr; --p)
198 {
199 *p = val & 0xff;
200 val >>= 8;
201 }
202 }
203 else
204 {
205 for (p = startaddr; p < endaddr; ++p)
206 {
207 *p = val & 0xff;
208 val >>= 8;
209 }
210 }
211}
212
213void
e17a4113
UW
214store_unsigned_integer (gdb_byte *addr, int len,
215 enum bfd_endian byte_order, ULONGEST val)
c906108c
SS
216{
217 unsigned char *p;
c5aa993b 218 unsigned char *startaddr = (unsigned char *) addr;
c906108c
SS
219 unsigned char *endaddr = startaddr + len;
220
221 /* Start at the least significant end of the integer, and work towards
222 the most significant. */
e17a4113 223 if (byte_order == BFD_ENDIAN_BIG)
c906108c
SS
224 {
225 for (p = endaddr - 1; p >= startaddr; --p)
226 {
227 *p = val & 0xff;
228 val >>= 8;
229 }
230 }
231 else
232 {
233 for (p = startaddr; p < endaddr; ++p)
234 {
235 *p = val & 0xff;
236 val >>= 8;
237 }
238 }
239}
240
4478b372
JB
241/* Store the address ADDR as a pointer of type TYPE at BUF, in target
242 form. */
243void
0d509538 244store_typed_address (gdb_byte *buf, struct type *type, CORE_ADDR addr)
4478b372
JB
245{
246 if (TYPE_CODE (type) != TYPE_CODE_PTR
247 && TYPE_CODE (type) != TYPE_CODE_REF)
8e65ff28 248 internal_error (__FILE__, __LINE__,
e2e0b3e5
AC
249 _("store_typed_address: "
250 "type is not a pointer or reference"));
4478b372 251
50810684 252 gdbarch_address_to_pointer (get_type_arch (type), type, buf, addr);
4478b372
JB
253}
254
255
256
376c9600
AC
257/* Return a `value' with the contents of (virtual or cooked) register
258 REGNUM as found in the specified FRAME. The register's type is
9c5ea4d9 259 determined by register_type(). */
c906108c 260
3d6d86c6 261struct value *
376c9600 262value_of_register (int regnum, struct frame_info *frame)
c906108c 263{
e9e45075 264 struct gdbarch *gdbarch = get_frame_arch (frame);
3d6d86c6 265 struct value *reg_val;
c906108c 266
9564ee9f 267 /* User registers lie completely outside of the range of normal
0406ec40 268 registers. Catch them early so that the target never sees them. */
e9e45075
UW
269 if (regnum >= gdbarch_num_regs (gdbarch)
270 + gdbarch_num_pseudo_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
280 determined by register_type(). The value is not fetched. */
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;
287
288 gdb_assert (regnum < (gdbarch_num_regs (gdbarch)
289 + gdbarch_num_pseudo_regs (gdbarch)));
290
291 /* We should have a valid (i.e. non-sentinel) frame. */
292 gdb_assert (frame_id_p (get_frame_id (frame)));
293
41e8491f 294 reg_val = allocate_value_lazy (register_type (gdbarch, regnum));
9214ee5f
DJ
295 VALUE_LVAL (reg_val) = lval_register;
296 VALUE_REGNUM (reg_val) = regnum;
297 VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
9214ee5f
DJ
298 return reg_val;
299}
300
4478b372
JB
301/* Given a pointer of type TYPE in target form in BUF, return the
302 address it represents. */
303CORE_ADDR
9898f801
UW
304unsigned_pointer_to_address (struct gdbarch *gdbarch,
305 struct type *type, const gdb_byte *buf)
4478b372 306{
e17a4113 307 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 308
e17a4113 309 return extract_unsigned_integer (buf, TYPE_LENGTH (type), byte_order);
4478b372
JB
310}
311
ac2e2ef7 312CORE_ADDR
9898f801
UW
313signed_pointer_to_address (struct gdbarch *gdbarch,
314 struct type *type, const gdb_byte *buf)
ac2e2ef7 315{
e17a4113 316 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 317
e17a4113 318 return extract_signed_integer (buf, TYPE_LENGTH (type), byte_order);
ac2e2ef7 319}
4478b372
JB
320
321/* Given an address, store it as a pointer of type TYPE in target
322 format in BUF. */
323void
9898f801
UW
324unsigned_address_to_pointer (struct gdbarch *gdbarch, struct type *type,
325 gdb_byte *buf, CORE_ADDR addr)
4478b372 326{
e17a4113 327 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 328
e17a4113 329 store_unsigned_integer (buf, TYPE_LENGTH (type), byte_order, addr);
4478b372
JB
330}
331
ac2e2ef7 332void
9898f801
UW
333address_to_signed_pointer (struct gdbarch *gdbarch, struct type *type,
334 gdb_byte *buf, CORE_ADDR addr)
ac2e2ef7 335{
e17a4113 336 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
bb9bcb69 337
e17a4113 338 store_signed_integer (buf, TYPE_LENGTH (type), byte_order, addr);
ac2e2ef7 339}
c906108c
SS
340\f
341/* Will calling read_var_value or locate_var_value on SYM end
342 up caring what frame it is being evaluated relative to? SYM must
343 be non-NULL. */
344int
fba45db2 345symbol_read_needs_frame (struct symbol *sym)
c906108c 346{
24d6c2a0
TT
347 if (SYMBOL_COMPUTED_OPS (sym) != NULL)
348 return SYMBOL_COMPUTED_OPS (sym)->read_needs_frame (sym);
349
c906108c
SS
350 switch (SYMBOL_CLASS (sym))
351 {
352 /* All cases listed explicitly so that gcc -Wall will detect it if
c5aa993b 353 we failed to consider one. */
4c2df51b 354 case LOC_COMPUTED:
24d6c2a0 355 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
4c2df51b 356
c906108c
SS
357 case LOC_REGISTER:
358 case LOC_ARG:
359 case LOC_REF_ARG:
c906108c
SS
360 case LOC_REGPARM_ADDR:
361 case LOC_LOCAL:
c906108c
SS
362 return 1;
363
364 case LOC_UNDEF:
365 case LOC_CONST:
366 case LOC_STATIC:
c906108c
SS
367 case LOC_TYPEDEF:
368
369 case LOC_LABEL:
370 /* Getting the address of a label can be done independently of the block,
c5aa993b
JM
371 even if some *uses* of that address wouldn't work so well without
372 the right frame. */
c906108c
SS
373
374 case LOC_BLOCK:
375 case LOC_CONST_BYTES:
376 case LOC_UNRESOLVED:
377 case LOC_OPTIMIZED_OUT:
378 return 0;
379 }
380 return 1;
381}
382
19630284
JB
383/* Private data to be used with minsym_lookup_iterator_cb. */
384
385struct minsym_lookup_data
386{
387 /* The name of the minimal symbol we are searching for. */
388 const char *name;
389
390 /* The field where the callback should store the minimal symbol
391 if found. It should be initialized to NULL before the search
392 is started. */
3b7344d5 393 struct bound_minimal_symbol result;
19630284
JB
394};
395
396/* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
397 It searches by name for a minimal symbol within the given OBJFILE.
398 The arguments are passed via CB_DATA, which in reality is a pointer
399 to struct minsym_lookup_data. */
400
401static int
402minsym_lookup_iterator_cb (struct objfile *objfile, void *cb_data)
403{
404 struct minsym_lookup_data *data = (struct minsym_lookup_data *) cb_data;
405
3b7344d5 406 gdb_assert (data->result.minsym == NULL);
19630284
JB
407
408 data->result = lookup_minimal_symbol (data->name, NULL, objfile);
409
410 /* The iterator should stop iff a match was found. */
3b7344d5 411 return (data->result.minsym != NULL);
19630284
JB
412}
413
a5ee536b
JB
414/* A default implementation for the "la_read_var_value" hook in
415 the language vector which should work in most situations. */
c906108c 416
3d6d86c6 417struct value *
a5ee536b 418default_read_var_value (struct symbol *var, struct frame_info *frame)
c906108c 419{
52f0bd74 420 struct value *v;
c906108c
SS
421 struct type *type = SYMBOL_TYPE (var);
422 CORE_ADDR addr;
c906108c 423
41e8491f
JK
424 /* Call check_typedef on our type to make sure that, if TYPE is
425 a TYPE_CODE_TYPEDEF, its length is set to the length of the target type
426 instead of zero. However, we do not replace the typedef type by the
427 target type, because we want to keep the typedef in order to be able to
428 set the returned value type description correctly. */
429 check_typedef (type);
c906108c 430
61212c0f
UW
431 if (symbol_read_needs_frame (var))
432 gdb_assert (frame);
c906108c 433
24d6c2a0
TT
434 if (SYMBOL_COMPUTED_OPS (var) != NULL)
435 return SYMBOL_COMPUTED_OPS (var)->read_variable (var, frame);
436
c906108c
SS
437 switch (SYMBOL_CLASS (var))
438 {
439 case LOC_CONST:
92b09522
SA
440 if (is_dynamic_type (type))
441 {
442 /* Value is a constant byte-sequence and needs no memory access. */
443 type = resolve_dynamic_type (type, /* Unused address. */ 0);
444 }
445 /* Put the constant back in target format. */
41e8491f 446 v = allocate_value (type);
744a8059 447 store_signed_integer (value_contents_raw (v), TYPE_LENGTH (type),
e17a4113 448 gdbarch_byte_order (get_type_arch (type)),
c906108c
SS
449 (LONGEST) SYMBOL_VALUE (var));
450 VALUE_LVAL (v) = not_lval;
451 return v;
452
453 case LOC_LABEL:
454 /* Put the constant back in target format. */
41e8491f 455 v = allocate_value (type);
c906108c 456 if (overlay_debugging)
4478b372
JB
457 {
458 CORE_ADDR addr
459 = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
e27d198c
TT
460 SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
461 var));
bb9bcb69 462
990a07ab 463 store_typed_address (value_contents_raw (v), type, addr);
4478b372 464 }
c906108c 465 else
990a07ab 466 store_typed_address (value_contents_raw (v), type,
4478b372 467 SYMBOL_VALUE_ADDRESS (var));
c906108c
SS
468 VALUE_LVAL (v) = not_lval;
469 return v;
470
471 case LOC_CONST_BYTES:
92b09522
SA
472 if (is_dynamic_type (type))
473 {
474 /* Value is a constant byte-sequence and needs no memory access. */
475 type = resolve_dynamic_type (type, /* Unused address. */ 0);
476 }
41e8491f 477 v = allocate_value (type);
744a8059
SP
478 memcpy (value_contents_raw (v), SYMBOL_VALUE_BYTES (var),
479 TYPE_LENGTH (type));
bb9bcb69
MS
480 VALUE_LVAL (v) = not_lval;
481 return v;
c906108c
SS
482
483 case LOC_STATIC:
484 if (overlay_debugging)
485 addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
e27d198c
TT
486 SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
487 var));
c906108c
SS
488 else
489 addr = SYMBOL_VALUE_ADDRESS (var);
490 break;
491
c906108c 492 case LOC_ARG:
da62e633 493 addr = get_frame_args_address (frame);
c906108c 494 if (!addr)
8afd712c
JK
495 error (_("Unknown argument list address for `%s'."),
496 SYMBOL_PRINT_NAME (var));
c906108c
SS
497 addr += SYMBOL_VALUE (var);
498 break;
499
500 case LOC_REF_ARG:
f76febae
AC
501 {
502 struct value *ref;
503 CORE_ADDR argref;
bb9bcb69 504
da62e633 505 argref = get_frame_args_address (frame);
f76febae 506 if (!argref)
8afd712c
JK
507 error (_("Unknown argument list address for `%s'."),
508 SYMBOL_PRINT_NAME (var));
f76febae 509 argref += SYMBOL_VALUE (var);
00a4c844 510 ref = value_at (lookup_pointer_type (type), argref);
1aa20aa8 511 addr = value_as_address (ref);
f76febae
AC
512 break;
513 }
c906108c
SS
514
515 case LOC_LOCAL:
da62e633 516 addr = get_frame_locals_address (frame);
c906108c
SS
517 addr += SYMBOL_VALUE (var);
518 break;
519
c906108c 520 case LOC_TYPEDEF:
8afd712c
JK
521 error (_("Cannot look up value of a typedef `%s'."),
522 SYMBOL_PRINT_NAME (var));
c906108c
SS
523 break;
524
525 case LOC_BLOCK:
526 if (overlay_debugging)
41e8491f 527 addr = symbol_overlayed_address
e27d198c
TT
528 (BLOCK_START (SYMBOL_BLOCK_VALUE (var)), SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
529 var));
c906108c 530 else
41e8491f
JK
531 addr = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
532 break;
c906108c
SS
533
534 case LOC_REGISTER:
c906108c
SS
535 case LOC_REGPARM_ADDR:
536 {
768a979c
UW
537 int regno = SYMBOL_REGISTER_OPS (var)
538 ->register_number (var, get_frame_arch (frame));
3d6d86c6 539 struct value *regval;
c906108c 540
c906108c
SS
541 if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
542 {
543 regval = value_from_register (lookup_pointer_type (type),
c5aa993b 544 regno,
c906108c
SS
545 frame);
546
547 if (regval == NULL)
8afd712c
JK
548 error (_("Value of register variable not available for `%s'."),
549 SYMBOL_PRINT_NAME (var));
c906108c 550
1aa20aa8 551 addr = value_as_address (regval);
c906108c
SS
552 }
553 else
554 {
555 regval = value_from_register (type, regno, frame);
556
557 if (regval == NULL)
8afd712c
JK
558 error (_("Value of register variable not available for `%s'."),
559 SYMBOL_PRINT_NAME (var));
c906108c
SS
560 return regval;
561 }
562 }
563 break;
564
4c2df51b 565 case LOC_COMPUTED:
24d6c2a0 566 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
4c2df51b 567
c906108c
SS
568 case LOC_UNRESOLVED:
569 {
19630284 570 struct minsym_lookup_data lookup_data;
c906108c 571 struct minimal_symbol *msym;
e0740f77 572 struct obj_section *obj_section;
c906108c 573
19630284
JB
574 memset (&lookup_data, 0, sizeof (lookup_data));
575 lookup_data.name = SYMBOL_LINKAGE_NAME (var);
576
577 gdbarch_iterate_over_objfiles_in_search_order
578 (get_objfile_arch (SYMBOL_SYMTAB (var)->objfile),
579 minsym_lookup_iterator_cb, &lookup_data,
580 SYMBOL_SYMTAB (var)->objfile);
3b7344d5 581 msym = lookup_data.result.minsym;
19630284 582
c906108c 583 if (msym == NULL)
8afd712c 584 error (_("No global symbol \"%s\"."), SYMBOL_LINKAGE_NAME (var));
c906108c 585 if (overlay_debugging)
77e371c0 586 addr = symbol_overlayed_address (BMSYMBOL_VALUE_ADDRESS (lookup_data.result),
3b7344d5 587 MSYMBOL_OBJ_SECTION (lookup_data.result.objfile,
efd66ac6 588 msym));
c906108c 589 else
77e371c0 590 addr = BMSYMBOL_VALUE_ADDRESS (lookup_data.result);
e0740f77 591
3b7344d5 592 obj_section = MSYMBOL_OBJ_SECTION (lookup_data.result.objfile, msym);
e0740f77
JK
593 if (obj_section
594 && (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
595 addr = target_translate_tls_address (obj_section->objfile, addr);
c906108c
SS
596 }
597 break;
598
599 case LOC_OPTIMIZED_OUT:
a7035dbb 600 return allocate_optimized_out_value (type);
c906108c
SS
601
602 default:
8afd712c
JK
603 error (_("Cannot look up value of a botched symbol `%s'."),
604 SYMBOL_PRINT_NAME (var));
c906108c
SS
605 break;
606 }
607
08039c9e 608 v = value_at_lazy (type, addr);
c906108c
SS
609 return v;
610}
611
a5ee536b
JB
612/* Calls VAR's language la_read_var_value hook with the given arguments. */
613
614struct value *
615read_var_value (struct symbol *var, struct frame_info *frame)
616{
617 const struct language_defn *lang = language_def (SYMBOL_LANGUAGE (var));
618
619 gdb_assert (lang != NULL);
620 gdb_assert (lang->la_read_var_value != NULL);
621
622 return lang->la_read_var_value (var, frame);
623}
624
9acbedc0
UW
625/* Install default attributes for register values. */
626
627struct value *
628default_value_from_register (struct type *type, int regnum,
629 struct frame_info *frame)
630{
631 struct gdbarch *gdbarch = get_frame_arch (frame);
632 int len = TYPE_LENGTH (type);
633 struct value *value = allocate_value (type);
634
635 VALUE_LVAL (value) = lval_register;
636 VALUE_FRAME_ID (value) = get_frame_id (frame);
637 VALUE_REGNUM (value) = regnum;
638
639 /* Any structure stored in more than one register will always be
640 an integral number of registers. Otherwise, you need to do
641 some fiddling with the last register copied here for little
642 endian machines. */
e9e45075 643 if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
9acbedc0
UW
644 && len < register_size (gdbarch, regnum))
645 /* Big-endian, and we want less than full size. */
646 set_value_offset (value, register_size (gdbarch, regnum) - len);
647 else
648 set_value_offset (value, 0);
649
650 return value;
651}
652
b56d6f31
JB
653/* VALUE must be an lval_register value. If regnum is the value's
654 associated register number, and len the length of the values type,
655 read one or more registers in FRAME, starting with register REGNUM,
2603f7ee
AB
656 until we've read LEN bytes.
657
658 If any of the registers we try to read are optimized out, then mark the
659 complete resulting value as optimized out. */
b56d6f31
JB
660
661void
662read_frame_register_value (struct value *value, struct frame_info *frame)
663{
01efb936 664 struct gdbarch *gdbarch = get_frame_arch (frame);
b56d6f31 665 int offset = 0;
01efb936 666 int reg_offset = value_offset (value);
b56d6f31 667 int regnum = VALUE_REGNUM (value);
01efb936 668 int len = TYPE_LENGTH (check_typedef (value_type (value)));
b56d6f31
JB
669
670 gdb_assert (VALUE_LVAL (value) == lval_register);
671
01efb936
UW
672 /* Skip registers wholly inside of REG_OFFSET. */
673 while (reg_offset >= register_size (gdbarch, regnum))
674 {
675 reg_offset -= register_size (gdbarch, regnum);
676 regnum++;
677 }
678
679 /* Copy the data. */
680 while (len > 0)
b56d6f31
JB
681 {
682 struct value *regval = get_frame_register_value (frame, regnum);
01efb936 683 int reg_len = TYPE_LENGTH (value_type (regval)) - reg_offset;
b56d6f31 684
2603f7ee
AB
685 if (value_optimized_out (regval))
686 {
687 set_value_optimized_out (value, 1);
688 break;
689 }
690
22355c90
JB
691 /* If the register length is larger than the number of bytes
692 remaining to copy, then only copy the appropriate bytes. */
01efb936
UW
693 if (reg_len > len)
694 reg_len = len;
22355c90 695
01efb936 696 value_contents_copy (value, offset, regval, reg_offset, reg_len);
b56d6f31
JB
697
698 offset += reg_len;
01efb936
UW
699 len -= reg_len;
700 reg_offset = 0;
b56d6f31
JB
701 regnum++;
702 }
703}
704
00fa51f6 705/* Return a value of type TYPE, stored in register REGNUM, in frame FRAME. */
c906108c 706
3d6d86c6 707struct value *
fba45db2 708value_from_register (struct type *type, int regnum, struct frame_info *frame)
c906108c 709{
ff2e87ac 710 struct gdbarch *gdbarch = get_frame_arch (frame);
9acbedc0
UW
711 struct type *type1 = check_typedef (type);
712 struct value *v;
713
e9e45075 714 if (gdbarch_convert_register_p (gdbarch, regnum, type1))
ff2e87ac 715 {
3543a589
TT
716 int optim, unavail, ok;
717
ff2e87ac
AC
718 /* The ISA/ABI need to something weird when obtaining the
719 specified value from this register. It might need to
720 re-order non-adjacent, starting with REGNUM (see MIPS and
721 i386). It might need to convert the [float] register into
722 the corresponding [integer] type (see Alpha). The assumption
c1afe53d 723 is that gdbarch_register_to_value populates the entire value
ff2e87ac 724 including the location. */
9acbedc0
UW
725 v = allocate_value (type);
726 VALUE_LVAL (v) = lval_register;
727 VALUE_FRAME_ID (v) = get_frame_id (frame);
728 VALUE_REGNUM (v) = regnum;
8dccd430
PA
729 ok = gdbarch_register_to_value (gdbarch, frame, regnum, type1,
730 value_contents_raw (v), &optim,
731 &unavail);
3543a589
TT
732
733 if (!ok)
734 {
735 if (optim)
736 set_value_optimized_out (v, 1);
737 if (unavail)
738 mark_value_bytes_unavailable (v, 0, TYPE_LENGTH (type));
739 }
ff2e87ac
AC
740 }
741 else
c906108c 742 {
9acbedc0
UW
743 /* Construct the value. */
744 v = gdbarch_value_from_register (gdbarch, type, regnum, frame);
00fa51f6
UW
745
746 /* Get the data. */
b56d6f31 747 read_frame_register_value (v, frame);
c906108c 748 }
8dccd430 749
c906108c
SS
750 return v;
751}
ff2e87ac 752
0b2b0195
UW
753/* Return contents of register REGNUM in frame FRAME as address,
754 interpreted as value of type TYPE. Will abort if register
755 value is not available. */
756
757CORE_ADDR
758address_from_register (struct type *type, int regnum, struct frame_info *frame)
759{
760 struct value *value;
761 CORE_ADDR result;
762
763 value = value_from_register (type, regnum, frame);
764 gdb_assert (value);
765
901461f8
PA
766 if (value_optimized_out (value))
767 {
768 /* This function is used while computing a location expression.
769 Complain about the value being optimized out, rather than
770 letting value_as_address complain about some random register
771 the expression depends on not being saved. */
772 error_value_optimized_out ();
773 }
774
0b2b0195
UW
775 result = value_as_address (value);
776 release_value (value);
777 value_free (value);
778
779 return result;
780}
b56d6f31 781