2011-01-11 Michael Snyder <msnyder@vmware.com>
[deliverable/binutils-gdb.git] / gdb / value.c
CommitLineData
c906108c 1/* Low level packing and unpacking of values for GDB, the GNU Debugger.
1bac305b 2
6aba47ca 3 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
0fb0cc75 4 1996, 1997, 1998, 1999, 2000, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
7b6bb8da 5 2009, 2010, 2011 Free Software Foundation, Inc.
c906108c 6
c5aa993b 7 This file is part of GDB.
c906108c 8
c5aa993b
JM
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
a9762ec7 11 the Free Software Foundation; either version 3 of the License, or
c5aa993b 12 (at your option) any later version.
c906108c 13
c5aa993b
JM
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
c906108c 18
c5aa993b 19 You should have received a copy of the GNU General Public License
a9762ec7 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
21
22#include "defs.h"
e17c207e 23#include "arch-utils.h"
c906108c
SS
24#include "gdb_string.h"
25#include "symtab.h"
26#include "gdbtypes.h"
27#include "value.h"
28#include "gdbcore.h"
c906108c
SS
29#include "command.h"
30#include "gdbcmd.h"
31#include "target.h"
32#include "language.h"
c906108c 33#include "demangle.h"
d16aafd8 34#include "doublest.h"
5ae326fa 35#include "gdb_assert.h"
36160dc4 36#include "regcache.h"
fe898f56 37#include "block.h"
27bc4d80 38#include "dfp.h"
bccdca4a 39#include "objfiles.h"
79a45b7d 40#include "valprint.h"
bc3b79fd 41#include "cli/cli-decode.h"
c906108c 42
a08702d6
TJB
43#include "python/python.h"
44
0914bcdb
SS
45#include "tracepoint.h"
46
581e13c1 47/* Prototypes for exported functions. */
c906108c 48
a14ed312 49void _initialize_values (void);
c906108c 50
bc3b79fd
TJB
51/* Definition of a user function. */
52struct internal_function
53{
54 /* The name of the function. It is a bit odd to have this in the
55 function itself -- the user might use a differently-named
56 convenience variable to hold the function. */
57 char *name;
58
59 /* The handler. */
60 internal_function_fn handler;
61
62 /* User data for the handler. */
63 void *cookie;
64};
65
66static struct cmd_list_element *functionlist;
67
91294c83
AC
68struct value
69{
70 /* Type of value; either not an lval, or one of the various
71 different possible kinds of lval. */
72 enum lval_type lval;
73
74 /* Is it modifiable? Only relevant if lval != not_lval. */
75 int modifiable;
76
77 /* Location of value (if lval). */
78 union
79 {
80 /* If lval == lval_memory, this is the address in the inferior.
81 If lval == lval_register, this is the byte offset into the
82 registers structure. */
83 CORE_ADDR address;
84
85 /* Pointer to internal variable. */
86 struct internalvar *internalvar;
5f5233d4
PA
87
88 /* If lval == lval_computed, this is a set of function pointers
89 to use to access and describe the value, and a closure pointer
90 for them to use. */
91 struct
92 {
93 struct lval_funcs *funcs; /* Functions to call. */
94 void *closure; /* Closure for those functions to use. */
95 } computed;
91294c83
AC
96 } location;
97
98 /* Describes offset of a value within lval of a structure in bytes.
99 If lval == lval_memory, this is an offset to the address. If
100 lval == lval_register, this is a further offset from
101 location.address within the registers structure. Note also the
102 member embedded_offset below. */
103 int offset;
104
105 /* Only used for bitfields; number of bits contained in them. */
106 int bitsize;
107
108 /* Only used for bitfields; position of start of field. For
32c9a795 109 gdbarch_bits_big_endian=0 targets, it is the position of the LSB. For
581e13c1 110 gdbarch_bits_big_endian=1 targets, it is the position of the MSB. */
91294c83
AC
111 int bitpos;
112
4ea48cc1
DJ
113 /* Only used for bitfields; the containing value. This allows a
114 single read from the target when displaying multiple
115 bitfields. */
116 struct value *parent;
117
91294c83
AC
118 /* Frame register value is relative to. This will be described in
119 the lval enum above as "lval_register". */
120 struct frame_id frame_id;
121
122 /* Type of the value. */
123 struct type *type;
124
125 /* If a value represents a C++ object, then the `type' field gives
126 the object's compile-time type. If the object actually belongs
127 to some class derived from `type', perhaps with other base
128 classes and additional members, then `type' is just a subobject
129 of the real thing, and the full object is probably larger than
130 `type' would suggest.
131
132 If `type' is a dynamic class (i.e. one with a vtable), then GDB
133 can actually determine the object's run-time type by looking at
134 the run-time type information in the vtable. When this
135 information is available, we may elect to read in the entire
136 object, for several reasons:
137
138 - When printing the value, the user would probably rather see the
139 full object, not just the limited portion apparent from the
140 compile-time type.
141
142 - If `type' has virtual base classes, then even printing `type'
143 alone may require reaching outside the `type' portion of the
144 object to wherever the virtual base class has been stored.
145
146 When we store the entire object, `enclosing_type' is the run-time
147 type -- the complete object -- and `embedded_offset' is the
148 offset of `type' within that larger type, in bytes. The
149 value_contents() macro takes `embedded_offset' into account, so
150 most GDB code continues to see the `type' portion of the value,
151 just as the inferior would.
152
153 If `type' is a pointer to an object, then `enclosing_type' is a
154 pointer to the object's run-time type, and `pointed_to_offset' is
155 the offset in bytes from the full object to the pointed-to object
156 -- that is, the value `embedded_offset' would have if we followed
157 the pointer and fetched the complete object. (I don't really see
158 the point. Why not just determine the run-time type when you
159 indirect, and avoid the special case? The contents don't matter
160 until you indirect anyway.)
161
162 If we're not doing anything fancy, `enclosing_type' is equal to
163 `type', and `embedded_offset' is zero, so everything works
164 normally. */
165 struct type *enclosing_type;
166 int embedded_offset;
167 int pointed_to_offset;
168
169 /* Values are stored in a chain, so that they can be deleted easily
170 over calls to the inferior. Values assigned to internal
a08702d6
TJB
171 variables, put into the value history or exposed to Python are
172 taken off this list. */
91294c83
AC
173 struct value *next;
174
175 /* Register number if the value is from a register. */
176 short regnum;
177
178 /* If zero, contents of this value are in the contents field. If
9214ee5f
DJ
179 nonzero, contents are in inferior. If the lval field is lval_memory,
180 the contents are in inferior memory at location.address plus offset.
181 The lval field may also be lval_register.
91294c83
AC
182
183 WARNING: This field is used by the code which handles watchpoints
184 (see breakpoint.c) to decide whether a particular value can be
185 watched by hardware watchpoints. If the lazy flag is set for
186 some member of a value chain, it is assumed that this member of
187 the chain doesn't need to be watched as part of watching the
188 value itself. This is how GDB avoids watching the entire struct
189 or array when the user wants to watch a single struct member or
190 array element. If you ever change the way lazy flag is set and
191 reset, be sure to consider this use as well! */
192 char lazy;
193
194 /* If nonzero, this is the value of a variable which does not
195 actually exist in the program. */
196 char optimized_out;
197
42be36b3
CT
198 /* If value is a variable, is it initialized or not. */
199 int initialized;
200
4e5d721f
DE
201 /* If value is from the stack. If this is set, read_stack will be
202 used instead of read_memory to enable extra caching. */
203 int stack;
204
3e3d7139
JG
205 /* Actual contents of the value. Target byte-order. NULL or not
206 valid if lazy is nonzero. */
207 gdb_byte *contents;
828d3400
DJ
208
209 /* The number of references to this value. When a value is created,
210 the value chain holds a reference, so REFERENCE_COUNT is 1. If
211 release_value is called, this value is removed from the chain but
212 the caller of release_value now has a reference to this value.
213 The caller must arrange for a call to value_free later. */
214 int reference_count;
91294c83
AC
215};
216
581e13c1 217/* Prototypes for local functions. */
c906108c 218
a14ed312 219static void show_values (char *, int);
c906108c 220
a14ed312 221static void show_convenience (char *, int);
c906108c 222
c906108c
SS
223
224/* The value-history records all the values printed
225 by print commands during this session. Each chunk
226 records 60 consecutive values. The first chunk on
227 the chain records the most recent values.
228 The total number of values is in value_history_count. */
229
230#define VALUE_HISTORY_CHUNK 60
231
232struct value_history_chunk
c5aa993b
JM
233 {
234 struct value_history_chunk *next;
f23631e4 235 struct value *values[VALUE_HISTORY_CHUNK];
c5aa993b 236 };
c906108c
SS
237
238/* Chain of chunks now in use. */
239
240static struct value_history_chunk *value_history_chain;
241
581e13c1 242static int value_history_count; /* Abs number of last entry stored. */
bc3b79fd 243
c906108c
SS
244\f
245/* List of all value objects currently allocated
246 (except for those released by calls to release_value)
247 This is so they can be freed after each command. */
248
f23631e4 249static struct value *all_values;
c906108c 250
3e3d7139
JG
251/* Allocate a lazy value for type TYPE. Its actual content is
252 "lazily" allocated too: the content field of the return value is
253 NULL; it will be allocated when it is fetched from the target. */
c906108c 254
f23631e4 255struct value *
3e3d7139 256allocate_value_lazy (struct type *type)
c906108c 257{
f23631e4 258 struct value *val;
c54eabfa
JK
259
260 /* Call check_typedef on our type to make sure that, if TYPE
261 is a TYPE_CODE_TYPEDEF, its length is set to the length
262 of the target type instead of zero. However, we do not
263 replace the typedef type by the target type, because we want
264 to keep the typedef in order to be able to set the VAL's type
265 description correctly. */
266 check_typedef (type);
c906108c 267
3e3d7139
JG
268 val = (struct value *) xzalloc (sizeof (struct value));
269 val->contents = NULL;
df407dfe 270 val->next = all_values;
c906108c 271 all_values = val;
df407dfe 272 val->type = type;
4754a64e 273 val->enclosing_type = type;
c906108c 274 VALUE_LVAL (val) = not_lval;
42ae5230 275 val->location.address = 0;
1df6926e 276 VALUE_FRAME_ID (val) = null_frame_id;
df407dfe
AC
277 val->offset = 0;
278 val->bitpos = 0;
279 val->bitsize = 0;
9ee8fc9d 280 VALUE_REGNUM (val) = -1;
3e3d7139 281 val->lazy = 1;
feb13ab0 282 val->optimized_out = 0;
13c3b5f5 283 val->embedded_offset = 0;
b44d461b 284 val->pointed_to_offset = 0;
c906108c 285 val->modifiable = 1;
42be36b3 286 val->initialized = 1; /* Default to initialized. */
828d3400
DJ
287
288 /* Values start out on the all_values chain. */
289 val->reference_count = 1;
290
c906108c
SS
291 return val;
292}
293
3e3d7139
JG
294/* Allocate the contents of VAL if it has not been allocated yet. */
295
296void
297allocate_value_contents (struct value *val)
298{
299 if (!val->contents)
300 val->contents = (gdb_byte *) xzalloc (TYPE_LENGTH (val->enclosing_type));
301}
302
303/* Allocate a value and its contents for type TYPE. */
304
305struct value *
306allocate_value (struct type *type)
307{
308 struct value *val = allocate_value_lazy (type);
a109c7c1 309
3e3d7139
JG
310 allocate_value_contents (val);
311 val->lazy = 0;
312 return val;
313}
314
c906108c 315/* Allocate a value that has the correct length
938f5214 316 for COUNT repetitions of type TYPE. */
c906108c 317
f23631e4 318struct value *
fba45db2 319allocate_repeat_value (struct type *type, int count)
c906108c 320{
c5aa993b 321 int low_bound = current_language->string_lower_bound; /* ??? */
c906108c
SS
322 /* FIXME-type-allocation: need a way to free this type when we are
323 done with it. */
e3506a9f
UW
324 struct type *array_type
325 = lookup_array_range_type (type, low_bound, count + low_bound - 1);
a109c7c1 326
e3506a9f 327 return allocate_value (array_type);
c906108c
SS
328}
329
5f5233d4
PA
330struct value *
331allocate_computed_value (struct type *type,
332 struct lval_funcs *funcs,
333 void *closure)
334{
335 struct value *v = allocate_value (type);
a109c7c1 336
5f5233d4
PA
337 VALUE_LVAL (v) = lval_computed;
338 v->location.computed.funcs = funcs;
339 v->location.computed.closure = closure;
340 set_value_lazy (v, 1);
341
342 return v;
343}
344
df407dfe
AC
345/* Accessor methods. */
346
17cf0ecd
AC
347struct value *
348value_next (struct value *value)
349{
350 return value->next;
351}
352
df407dfe 353struct type *
0e03807e 354value_type (const struct value *value)
df407dfe
AC
355{
356 return value->type;
357}
04624583
AC
358void
359deprecated_set_value_type (struct value *value, struct type *type)
360{
361 value->type = type;
362}
df407dfe
AC
363
364int
0e03807e 365value_offset (const struct value *value)
df407dfe
AC
366{
367 return value->offset;
368}
f5cf64a7
AC
369void
370set_value_offset (struct value *value, int offset)
371{
372 value->offset = offset;
373}
df407dfe
AC
374
375int
0e03807e 376value_bitpos (const struct value *value)
df407dfe
AC
377{
378 return value->bitpos;
379}
9bbda503
AC
380void
381set_value_bitpos (struct value *value, int bit)
382{
383 value->bitpos = bit;
384}
df407dfe
AC
385
386int
0e03807e 387value_bitsize (const struct value *value)
df407dfe
AC
388{
389 return value->bitsize;
390}
9bbda503
AC
391void
392set_value_bitsize (struct value *value, int bit)
393{
394 value->bitsize = bit;
395}
df407dfe 396
4ea48cc1
DJ
397struct value *
398value_parent (struct value *value)
399{
400 return value->parent;
401}
402
fc1a4b47 403gdb_byte *
990a07ab
AC
404value_contents_raw (struct value *value)
405{
3e3d7139
JG
406 allocate_value_contents (value);
407 return value->contents + value->embedded_offset;
990a07ab
AC
408}
409
fc1a4b47 410gdb_byte *
990a07ab
AC
411value_contents_all_raw (struct value *value)
412{
3e3d7139
JG
413 allocate_value_contents (value);
414 return value->contents;
990a07ab
AC
415}
416
4754a64e
AC
417struct type *
418value_enclosing_type (struct value *value)
419{
420 return value->enclosing_type;
421}
422
0e03807e
TT
423static void
424require_not_optimized_out (struct value *value)
425{
426 if (value->optimized_out)
427 error (_("value has been optimized out"));
428}
429
fc1a4b47 430const gdb_byte *
0e03807e 431value_contents_for_printing (struct value *value)
46615f07
AC
432{
433 if (value->lazy)
434 value_fetch_lazy (value);
3e3d7139 435 return value->contents;
46615f07
AC
436}
437
0e03807e
TT
438const gdb_byte *
439value_contents_all (struct value *value)
440{
441 const gdb_byte *result = value_contents_for_printing (value);
442 require_not_optimized_out (value);
443 return result;
444}
445
d69fe07e
AC
446int
447value_lazy (struct value *value)
448{
449 return value->lazy;
450}
451
dfa52d88
AC
452void
453set_value_lazy (struct value *value, int val)
454{
455 value->lazy = val;
456}
457
4e5d721f
DE
458int
459value_stack (struct value *value)
460{
461 return value->stack;
462}
463
464void
465set_value_stack (struct value *value, int val)
466{
467 value->stack = val;
468}
469
fc1a4b47 470const gdb_byte *
0fd88904
AC
471value_contents (struct value *value)
472{
0e03807e
TT
473 const gdb_byte *result = value_contents_writeable (value);
474 require_not_optimized_out (value);
475 return result;
0fd88904
AC
476}
477
fc1a4b47 478gdb_byte *
0fd88904
AC
479value_contents_writeable (struct value *value)
480{
481 if (value->lazy)
482 value_fetch_lazy (value);
fc0c53a0 483 return value_contents_raw (value);
0fd88904
AC
484}
485
a6c442d8
MK
486/* Return non-zero if VAL1 and VAL2 have the same contents. Note that
487 this function is different from value_equal; in C the operator ==
488 can return 0 even if the two values being compared are equal. */
489
490int
491value_contents_equal (struct value *val1, struct value *val2)
492{
493 struct type *type1;
494 struct type *type2;
495 int len;
496
497 type1 = check_typedef (value_type (val1));
498 type2 = check_typedef (value_type (val2));
499 len = TYPE_LENGTH (type1);
500 if (len != TYPE_LENGTH (type2))
501 return 0;
502
503 return (memcmp (value_contents (val1), value_contents (val2), len) == 0);
504}
505
feb13ab0
AC
506int
507value_optimized_out (struct value *value)
508{
509 return value->optimized_out;
510}
511
512void
513set_value_optimized_out (struct value *value, int val)
514{
515 value->optimized_out = val;
516}
13c3b5f5 517
0e03807e
TT
518int
519value_entirely_optimized_out (const struct value *value)
520{
521 if (!value->optimized_out)
522 return 0;
523 if (value->lval != lval_computed
ba19bb4d 524 || !value->location.computed.funcs->check_any_valid)
0e03807e 525 return 1;
b65c7efe 526 return !value->location.computed.funcs->check_any_valid (value);
0e03807e
TT
527}
528
529int
530value_bits_valid (const struct value *value, int offset, int length)
531{
532 if (value == NULL || !value->optimized_out)
533 return 1;
534 if (value->lval != lval_computed
535 || !value->location.computed.funcs->check_validity)
536 return 0;
537 return value->location.computed.funcs->check_validity (value, offset,
538 length);
539}
540
8cf6f0b1
TT
541int
542value_bits_synthetic_pointer (const struct value *value,
543 int offset, int length)
544{
545 if (value == NULL || value->lval != lval_computed
546 || !value->location.computed.funcs->check_synthetic_pointer)
547 return 0;
548 return value->location.computed.funcs->check_synthetic_pointer (value,
549 offset,
550 length);
551}
552
13c3b5f5
AC
553int
554value_embedded_offset (struct value *value)
555{
556 return value->embedded_offset;
557}
558
559void
560set_value_embedded_offset (struct value *value, int val)
561{
562 value->embedded_offset = val;
563}
b44d461b
AC
564
565int
566value_pointed_to_offset (struct value *value)
567{
568 return value->pointed_to_offset;
569}
570
571void
572set_value_pointed_to_offset (struct value *value, int val)
573{
574 value->pointed_to_offset = val;
575}
13bb5560 576
5f5233d4
PA
577struct lval_funcs *
578value_computed_funcs (struct value *v)
579{
580 gdb_assert (VALUE_LVAL (v) == lval_computed);
581
582 return v->location.computed.funcs;
583}
584
585void *
0e03807e 586value_computed_closure (const struct value *v)
5f5233d4 587{
0e03807e 588 gdb_assert (v->lval == lval_computed);
5f5233d4
PA
589
590 return v->location.computed.closure;
591}
592
13bb5560
AC
593enum lval_type *
594deprecated_value_lval_hack (struct value *value)
595{
596 return &value->lval;
597}
598
42ae5230
TT
599CORE_ADDR
600value_address (struct value *value)
601{
602 if (value->lval == lval_internalvar
603 || value->lval == lval_internalvar_component)
604 return 0;
605 return value->location.address + value->offset;
606}
607
608CORE_ADDR
609value_raw_address (struct value *value)
610{
611 if (value->lval == lval_internalvar
612 || value->lval == lval_internalvar_component)
613 return 0;
614 return value->location.address;
615}
616
617void
618set_value_address (struct value *value, CORE_ADDR addr)
13bb5560 619{
42ae5230
TT
620 gdb_assert (value->lval != lval_internalvar
621 && value->lval != lval_internalvar_component);
622 value->location.address = addr;
13bb5560
AC
623}
624
625struct internalvar **
626deprecated_value_internalvar_hack (struct value *value)
627{
628 return &value->location.internalvar;
629}
630
631struct frame_id *
632deprecated_value_frame_id_hack (struct value *value)
633{
634 return &value->frame_id;
635}
636
637short *
638deprecated_value_regnum_hack (struct value *value)
639{
640 return &value->regnum;
641}
88e3b34b
AC
642
643int
644deprecated_value_modifiable (struct value *value)
645{
646 return value->modifiable;
647}
648void
649deprecated_set_value_modifiable (struct value *value, int modifiable)
650{
651 value->modifiable = modifiable;
652}
990a07ab 653\f
c906108c
SS
654/* Return a mark in the value chain. All values allocated after the
655 mark is obtained (except for those released) are subject to being freed
656 if a subsequent value_free_to_mark is passed the mark. */
f23631e4 657struct value *
fba45db2 658value_mark (void)
c906108c
SS
659{
660 return all_values;
661}
662
828d3400
DJ
663/* Take a reference to VAL. VAL will not be deallocated until all
664 references are released. */
665
666void
667value_incref (struct value *val)
668{
669 val->reference_count++;
670}
671
672/* Release a reference to VAL, which was acquired with value_incref.
673 This function is also called to deallocate values from the value
674 chain. */
675
3e3d7139
JG
676void
677value_free (struct value *val)
678{
679 if (val)
5f5233d4 680 {
828d3400
DJ
681 gdb_assert (val->reference_count > 0);
682 val->reference_count--;
683 if (val->reference_count > 0)
684 return;
685
4ea48cc1
DJ
686 /* If there's an associated parent value, drop our reference to
687 it. */
688 if (val->parent != NULL)
689 value_free (val->parent);
690
5f5233d4
PA
691 if (VALUE_LVAL (val) == lval_computed)
692 {
693 struct lval_funcs *funcs = val->location.computed.funcs;
694
695 if (funcs->free_closure)
696 funcs->free_closure (val);
697 }
698
699 xfree (val->contents);
700 }
3e3d7139
JG
701 xfree (val);
702}
703
c906108c
SS
704/* Free all values allocated since MARK was obtained by value_mark
705 (except for those released). */
706void
f23631e4 707value_free_to_mark (struct value *mark)
c906108c 708{
f23631e4
AC
709 struct value *val;
710 struct value *next;
c906108c
SS
711
712 for (val = all_values; val && val != mark; val = next)
713 {
df407dfe 714 next = val->next;
c906108c
SS
715 value_free (val);
716 }
717 all_values = val;
718}
719
720/* Free all the values that have been allocated (except for those released).
725e88af
DE
721 Call after each command, successful or not.
722 In practice this is called before each command, which is sufficient. */
c906108c
SS
723
724void
fba45db2 725free_all_values (void)
c906108c 726{
f23631e4
AC
727 struct value *val;
728 struct value *next;
c906108c
SS
729
730 for (val = all_values; val; val = next)
731 {
df407dfe 732 next = val->next;
c906108c
SS
733 value_free (val);
734 }
735
736 all_values = 0;
737}
738
0cf6dd15
TJB
739/* Frees all the elements in a chain of values. */
740
741void
742free_value_chain (struct value *v)
743{
744 struct value *next;
745
746 for (; v; v = next)
747 {
748 next = value_next (v);
749 value_free (v);
750 }
751}
752
c906108c
SS
753/* Remove VAL from the chain all_values
754 so it will not be freed automatically. */
755
756void
f23631e4 757release_value (struct value *val)
c906108c 758{
f23631e4 759 struct value *v;
c906108c
SS
760
761 if (all_values == val)
762 {
763 all_values = val->next;
06a64a0b 764 val->next = NULL;
c906108c
SS
765 return;
766 }
767
768 for (v = all_values; v; v = v->next)
769 {
770 if (v->next == val)
771 {
772 v->next = val->next;
06a64a0b 773 val->next = NULL;
c906108c
SS
774 break;
775 }
776 }
777}
778
779/* Release all values up to mark */
f23631e4
AC
780struct value *
781value_release_to_mark (struct value *mark)
c906108c 782{
f23631e4
AC
783 struct value *val;
784 struct value *next;
c906108c 785
df407dfe
AC
786 for (val = next = all_values; next; next = next->next)
787 if (next->next == mark)
c906108c 788 {
df407dfe
AC
789 all_values = next->next;
790 next->next = NULL;
c906108c
SS
791 return val;
792 }
793 all_values = 0;
794 return val;
795}
796
797/* Return a copy of the value ARG.
798 It contains the same contents, for same memory address,
799 but it's a different block of storage. */
800
f23631e4
AC
801struct value *
802value_copy (struct value *arg)
c906108c 803{
4754a64e 804 struct type *encl_type = value_enclosing_type (arg);
3e3d7139
JG
805 struct value *val;
806
807 if (value_lazy (arg))
808 val = allocate_value_lazy (encl_type);
809 else
810 val = allocate_value (encl_type);
df407dfe 811 val->type = arg->type;
c906108c 812 VALUE_LVAL (val) = VALUE_LVAL (arg);
6f7c8fc2 813 val->location = arg->location;
df407dfe
AC
814 val->offset = arg->offset;
815 val->bitpos = arg->bitpos;
816 val->bitsize = arg->bitsize;
1df6926e 817 VALUE_FRAME_ID (val) = VALUE_FRAME_ID (arg);
9ee8fc9d 818 VALUE_REGNUM (val) = VALUE_REGNUM (arg);
d69fe07e 819 val->lazy = arg->lazy;
feb13ab0 820 val->optimized_out = arg->optimized_out;
13c3b5f5 821 val->embedded_offset = value_embedded_offset (arg);
b44d461b 822 val->pointed_to_offset = arg->pointed_to_offset;
c906108c 823 val->modifiable = arg->modifiable;
d69fe07e 824 if (!value_lazy (val))
c906108c 825 {
990a07ab 826 memcpy (value_contents_all_raw (val), value_contents_all_raw (arg),
4754a64e 827 TYPE_LENGTH (value_enclosing_type (arg)));
c906108c
SS
828
829 }
4ea48cc1
DJ
830 val->parent = arg->parent;
831 if (val->parent)
832 value_incref (val->parent);
5f5233d4
PA
833 if (VALUE_LVAL (val) == lval_computed)
834 {
835 struct lval_funcs *funcs = val->location.computed.funcs;
836
837 if (funcs->copy_closure)
838 val->location.computed.closure = funcs->copy_closure (val);
839 }
c906108c
SS
840 return val;
841}
74bcbdf3 842
c37f7098
KW
843/* Return a version of ARG that is non-lvalue. */
844
845struct value *
846value_non_lval (struct value *arg)
847{
848 if (VALUE_LVAL (arg) != not_lval)
849 {
850 struct type *enc_type = value_enclosing_type (arg);
851 struct value *val = allocate_value (enc_type);
852
853 memcpy (value_contents_all_raw (val), value_contents_all (arg),
854 TYPE_LENGTH (enc_type));
855 val->type = arg->type;
856 set_value_embedded_offset (val, value_embedded_offset (arg));
857 set_value_pointed_to_offset (val, value_pointed_to_offset (arg));
858 return val;
859 }
860 return arg;
861}
862
74bcbdf3 863void
0e03807e
TT
864set_value_component_location (struct value *component,
865 const struct value *whole)
74bcbdf3 866{
0e03807e 867 if (whole->lval == lval_internalvar)
74bcbdf3
PA
868 VALUE_LVAL (component) = lval_internalvar_component;
869 else
0e03807e 870 VALUE_LVAL (component) = whole->lval;
5f5233d4 871
74bcbdf3 872 component->location = whole->location;
0e03807e 873 if (whole->lval == lval_computed)
5f5233d4
PA
874 {
875 struct lval_funcs *funcs = whole->location.computed.funcs;
876
877 if (funcs->copy_closure)
878 component->location.computed.closure = funcs->copy_closure (whole);
879 }
74bcbdf3
PA
880}
881
c906108c
SS
882\f
883/* Access to the value history. */
884
885/* Record a new value in the value history.
886 Returns the absolute history index of the entry.
887 Result of -1 indicates the value was not saved; otherwise it is the
888 value history index of this new item. */
889
890int
f23631e4 891record_latest_value (struct value *val)
c906108c
SS
892{
893 int i;
894
895 /* We don't want this value to have anything to do with the inferior anymore.
896 In particular, "set $1 = 50" should not affect the variable from which
897 the value was taken, and fast watchpoints should be able to assume that
898 a value on the value history never changes. */
d69fe07e 899 if (value_lazy (val))
c906108c
SS
900 value_fetch_lazy (val);
901 /* We preserve VALUE_LVAL so that the user can find out where it was fetched
902 from. This is a bit dubious, because then *&$1 does not just return $1
903 but the current contents of that location. c'est la vie... */
904 val->modifiable = 0;
905 release_value (val);
906
907 /* Here we treat value_history_count as origin-zero
908 and applying to the value being stored now. */
909
910 i = value_history_count % VALUE_HISTORY_CHUNK;
911 if (i == 0)
912 {
f23631e4 913 struct value_history_chunk *new
a109c7c1
MS
914 = (struct value_history_chunk *)
915
c5aa993b 916 xmalloc (sizeof (struct value_history_chunk));
c906108c
SS
917 memset (new->values, 0, sizeof new->values);
918 new->next = value_history_chain;
919 value_history_chain = new;
920 }
921
922 value_history_chain->values[i] = val;
923
924 /* Now we regard value_history_count as origin-one
925 and applying to the value just stored. */
926
927 return ++value_history_count;
928}
929
930/* Return a copy of the value in the history with sequence number NUM. */
931
f23631e4 932struct value *
fba45db2 933access_value_history (int num)
c906108c 934{
f23631e4 935 struct value_history_chunk *chunk;
52f0bd74
AC
936 int i;
937 int absnum = num;
c906108c
SS
938
939 if (absnum <= 0)
940 absnum += value_history_count;
941
942 if (absnum <= 0)
943 {
944 if (num == 0)
8a3fe4f8 945 error (_("The history is empty."));
c906108c 946 else if (num == 1)
8a3fe4f8 947 error (_("There is only one value in the history."));
c906108c 948 else
8a3fe4f8 949 error (_("History does not go back to $$%d."), -num);
c906108c
SS
950 }
951 if (absnum > value_history_count)
8a3fe4f8 952 error (_("History has not yet reached $%d."), absnum);
c906108c
SS
953
954 absnum--;
955
956 /* Now absnum is always absolute and origin zero. */
957
958 chunk = value_history_chain;
3e43a32a
MS
959 for (i = (value_history_count - 1) / VALUE_HISTORY_CHUNK
960 - absnum / VALUE_HISTORY_CHUNK;
c906108c
SS
961 i > 0; i--)
962 chunk = chunk->next;
963
964 return value_copy (chunk->values[absnum % VALUE_HISTORY_CHUNK]);
965}
966
c906108c 967static void
fba45db2 968show_values (char *num_exp, int from_tty)
c906108c 969{
52f0bd74 970 int i;
f23631e4 971 struct value *val;
c906108c
SS
972 static int num = 1;
973
974 if (num_exp)
975 {
f132ba9d
TJB
976 /* "show values +" should print from the stored position.
977 "show values <exp>" should print around value number <exp>. */
c906108c 978 if (num_exp[0] != '+' || num_exp[1] != '\0')
bb518678 979 num = parse_and_eval_long (num_exp) - 5;
c906108c
SS
980 }
981 else
982 {
f132ba9d 983 /* "show values" means print the last 10 values. */
c906108c
SS
984 num = value_history_count - 9;
985 }
986
987 if (num <= 0)
988 num = 1;
989
990 for (i = num; i < num + 10 && i <= value_history_count; i++)
991 {
79a45b7d 992 struct value_print_options opts;
a109c7c1 993
c906108c 994 val = access_value_history (i);
a3f17187 995 printf_filtered (("$%d = "), i);
79a45b7d
TT
996 get_user_print_options (&opts);
997 value_print (val, gdb_stdout, &opts);
a3f17187 998 printf_filtered (("\n"));
c906108c
SS
999 }
1000
f132ba9d 1001 /* The next "show values +" should start after what we just printed. */
c906108c
SS
1002 num += 10;
1003
1004 /* Hitting just return after this command should do the same thing as
f132ba9d
TJB
1005 "show values +". If num_exp is null, this is unnecessary, since
1006 "show values +" is not useful after "show values". */
c906108c
SS
1007 if (from_tty && num_exp)
1008 {
1009 num_exp[0] = '+';
1010 num_exp[1] = '\0';
1011 }
1012}
1013\f
1014/* Internal variables. These are variables within the debugger
1015 that hold values assigned by debugger commands.
1016 The user refers to them with a '$' prefix
1017 that does not appear in the variable names stored internally. */
1018
4fa62494
UW
1019struct internalvar
1020{
1021 struct internalvar *next;
1022 char *name;
4fa62494 1023
78267919
UW
1024 /* We support various different kinds of content of an internal variable.
1025 enum internalvar_kind specifies the kind, and union internalvar_data
1026 provides the data associated with this particular kind. */
1027
1028 enum internalvar_kind
1029 {
1030 /* The internal variable is empty. */
1031 INTERNALVAR_VOID,
1032
1033 /* The value of the internal variable is provided directly as
1034 a GDB value object. */
1035 INTERNALVAR_VALUE,
1036
1037 /* A fresh value is computed via a call-back routine on every
1038 access to the internal variable. */
1039 INTERNALVAR_MAKE_VALUE,
4fa62494 1040
78267919
UW
1041 /* The internal variable holds a GDB internal convenience function. */
1042 INTERNALVAR_FUNCTION,
1043
cab0c772
UW
1044 /* The variable holds an integer value. */
1045 INTERNALVAR_INTEGER,
1046
1047 /* The variable holds a pointer value. */
1048 INTERNALVAR_POINTER,
78267919
UW
1049
1050 /* The variable holds a GDB-provided string. */
1051 INTERNALVAR_STRING,
1052
1053 } kind;
4fa62494 1054
4fa62494
UW
1055 union internalvar_data
1056 {
78267919
UW
1057 /* A value object used with INTERNALVAR_VALUE. */
1058 struct value *value;
1059
1060 /* The call-back routine used with INTERNALVAR_MAKE_VALUE. */
1061 internalvar_make_value make_value;
1062
1063 /* The internal function used with INTERNALVAR_FUNCTION. */
1064 struct
1065 {
1066 struct internal_function *function;
1067 /* True if this is the canonical name for the function. */
1068 int canonical;
1069 } fn;
1070
cab0c772 1071 /* An integer value used with INTERNALVAR_INTEGER. */
78267919
UW
1072 struct
1073 {
1074 /* If type is non-NULL, it will be used as the type to generate
1075 a value for this internal variable. If type is NULL, a default
1076 integer type for the architecture is used. */
1077 struct type *type;
cab0c772
UW
1078 LONGEST val;
1079 } integer;
1080
1081 /* A pointer value used with INTERNALVAR_POINTER. */
1082 struct
1083 {
1084 struct type *type;
1085 CORE_ADDR val;
1086 } pointer;
78267919
UW
1087
1088 /* A string value used with INTERNALVAR_STRING. */
1089 char *string;
4fa62494
UW
1090 } u;
1091};
1092
c906108c
SS
1093static struct internalvar *internalvars;
1094
3e43a32a
MS
1095/* If the variable does not already exist create it and give it the
1096 value given. If no value is given then the default is zero. */
53e5f3cf
AS
1097static void
1098init_if_undefined_command (char* args, int from_tty)
1099{
1100 struct internalvar* intvar;
1101
1102 /* Parse the expression - this is taken from set_command(). */
1103 struct expression *expr = parse_expression (args);
1104 register struct cleanup *old_chain =
1105 make_cleanup (free_current_contents, &expr);
1106
1107 /* Validate the expression.
1108 Was the expression an assignment?
1109 Or even an expression at all? */
1110 if (expr->nelts == 0 || expr->elts[0].opcode != BINOP_ASSIGN)
1111 error (_("Init-if-undefined requires an assignment expression."));
1112
1113 /* Extract the variable from the parsed expression.
1114 In the case of an assign the lvalue will be in elts[1] and elts[2]. */
1115 if (expr->elts[1].opcode != OP_INTERNALVAR)
3e43a32a
MS
1116 error (_("The first parameter to init-if-undefined "
1117 "should be a GDB variable."));
53e5f3cf
AS
1118 intvar = expr->elts[2].internalvar;
1119
1120 /* Only evaluate the expression if the lvalue is void.
1121 This may still fail if the expresssion is invalid. */
78267919 1122 if (intvar->kind == INTERNALVAR_VOID)
53e5f3cf
AS
1123 evaluate_expression (expr);
1124
1125 do_cleanups (old_chain);
1126}
1127
1128
c906108c
SS
1129/* Look up an internal variable with name NAME. NAME should not
1130 normally include a dollar sign.
1131
1132 If the specified internal variable does not exist,
c4a3d09a 1133 the return value is NULL. */
c906108c
SS
1134
1135struct internalvar *
bc3b79fd 1136lookup_only_internalvar (const char *name)
c906108c 1137{
52f0bd74 1138 struct internalvar *var;
c906108c
SS
1139
1140 for (var = internalvars; var; var = var->next)
5cb316ef 1141 if (strcmp (var->name, name) == 0)
c906108c
SS
1142 return var;
1143
c4a3d09a
MF
1144 return NULL;
1145}
1146
1147
1148/* Create an internal variable with name NAME and with a void value.
1149 NAME should not normally include a dollar sign. */
1150
1151struct internalvar *
bc3b79fd 1152create_internalvar (const char *name)
c4a3d09a
MF
1153{
1154 struct internalvar *var;
a109c7c1 1155
c906108c 1156 var = (struct internalvar *) xmalloc (sizeof (struct internalvar));
1754f103 1157 var->name = concat (name, (char *)NULL);
78267919 1158 var->kind = INTERNALVAR_VOID;
c906108c
SS
1159 var->next = internalvars;
1160 internalvars = var;
1161 return var;
1162}
1163
4aa995e1
PA
1164/* Create an internal variable with name NAME and register FUN as the
1165 function that value_of_internalvar uses to create a value whenever
1166 this variable is referenced. NAME should not normally include a
1167 dollar sign. */
1168
1169struct internalvar *
1170create_internalvar_type_lazy (char *name, internalvar_make_value fun)
1171{
4fa62494 1172 struct internalvar *var = create_internalvar (name);
a109c7c1 1173
78267919
UW
1174 var->kind = INTERNALVAR_MAKE_VALUE;
1175 var->u.make_value = fun;
4aa995e1
PA
1176 return var;
1177}
c4a3d09a
MF
1178
1179/* Look up an internal variable with name NAME. NAME should not
1180 normally include a dollar sign.
1181
1182 If the specified internal variable does not exist,
1183 one is created, with a void value. */
1184
1185struct internalvar *
bc3b79fd 1186lookup_internalvar (const char *name)
c4a3d09a
MF
1187{
1188 struct internalvar *var;
1189
1190 var = lookup_only_internalvar (name);
1191 if (var)
1192 return var;
1193
1194 return create_internalvar (name);
1195}
1196
78267919
UW
1197/* Return current value of internal variable VAR. For variables that
1198 are not inherently typed, use a value type appropriate for GDBARCH. */
1199
f23631e4 1200struct value *
78267919 1201value_of_internalvar (struct gdbarch *gdbarch, struct internalvar *var)
c906108c 1202{
f23631e4 1203 struct value *val;
0914bcdb
SS
1204 struct trace_state_variable *tsv;
1205
1206 /* If there is a trace state variable of the same name, assume that
1207 is what we really want to see. */
1208 tsv = find_trace_state_variable (var->name);
1209 if (tsv)
1210 {
1211 tsv->value_known = target_get_trace_state_variable_value (tsv->number,
1212 &(tsv->value));
1213 if (tsv->value_known)
1214 val = value_from_longest (builtin_type (gdbarch)->builtin_int64,
1215 tsv->value);
1216 else
1217 val = allocate_value (builtin_type (gdbarch)->builtin_void);
1218 return val;
1219 }
c906108c 1220
78267919 1221 switch (var->kind)
5f5233d4 1222 {
78267919
UW
1223 case INTERNALVAR_VOID:
1224 val = allocate_value (builtin_type (gdbarch)->builtin_void);
1225 break;
4fa62494 1226
78267919
UW
1227 case INTERNALVAR_FUNCTION:
1228 val = allocate_value (builtin_type (gdbarch)->internal_fn);
1229 break;
4fa62494 1230
cab0c772
UW
1231 case INTERNALVAR_INTEGER:
1232 if (!var->u.integer.type)
78267919 1233 val = value_from_longest (builtin_type (gdbarch)->builtin_int,
cab0c772 1234 var->u.integer.val);
78267919 1235 else
cab0c772
UW
1236 val = value_from_longest (var->u.integer.type, var->u.integer.val);
1237 break;
1238
1239 case INTERNALVAR_POINTER:
1240 val = value_from_pointer (var->u.pointer.type, var->u.pointer.val);
78267919 1241 break;
4fa62494 1242
78267919
UW
1243 case INTERNALVAR_STRING:
1244 val = value_cstring (var->u.string, strlen (var->u.string),
1245 builtin_type (gdbarch)->builtin_char);
1246 break;
4fa62494 1247
78267919
UW
1248 case INTERNALVAR_VALUE:
1249 val = value_copy (var->u.value);
4aa995e1
PA
1250 if (value_lazy (val))
1251 value_fetch_lazy (val);
78267919 1252 break;
4aa995e1 1253
78267919
UW
1254 case INTERNALVAR_MAKE_VALUE:
1255 val = (*var->u.make_value) (gdbarch, var);
1256 break;
1257
1258 default:
9b20d036 1259 internal_error (__FILE__, __LINE__, _("bad kind"));
78267919
UW
1260 }
1261
1262 /* Change the VALUE_LVAL to lval_internalvar so that future operations
1263 on this value go back to affect the original internal variable.
1264
1265 Do not do this for INTERNALVAR_MAKE_VALUE variables, as those have
1266 no underlying modifyable state in the internal variable.
1267
1268 Likewise, if the variable's value is a computed lvalue, we want
1269 references to it to produce another computed lvalue, where
1270 references and assignments actually operate through the
1271 computed value's functions.
1272
1273 This means that internal variables with computed values
1274 behave a little differently from other internal variables:
1275 assignments to them don't just replace the previous value
1276 altogether. At the moment, this seems like the behavior we
1277 want. */
1278
1279 if (var->kind != INTERNALVAR_MAKE_VALUE
1280 && val->lval != lval_computed)
1281 {
1282 VALUE_LVAL (val) = lval_internalvar;
1283 VALUE_INTERNALVAR (val) = var;
5f5233d4 1284 }
d3c139e9 1285
4fa62494
UW
1286 return val;
1287}
d3c139e9 1288
4fa62494
UW
1289int
1290get_internalvar_integer (struct internalvar *var, LONGEST *result)
1291{
78267919 1292 switch (var->kind)
4fa62494 1293 {
cab0c772
UW
1294 case INTERNALVAR_INTEGER:
1295 *result = var->u.integer.val;
1296 return 1;
d3c139e9 1297
4fa62494
UW
1298 default:
1299 return 0;
1300 }
1301}
d3c139e9 1302
4fa62494
UW
1303static int
1304get_internalvar_function (struct internalvar *var,
1305 struct internal_function **result)
1306{
78267919 1307 switch (var->kind)
d3c139e9 1308 {
78267919
UW
1309 case INTERNALVAR_FUNCTION:
1310 *result = var->u.fn.function;
4fa62494 1311 return 1;
d3c139e9 1312
4fa62494
UW
1313 default:
1314 return 0;
1315 }
c906108c
SS
1316}
1317
1318void
fba45db2 1319set_internalvar_component (struct internalvar *var, int offset, int bitpos,
f23631e4 1320 int bitsize, struct value *newval)
c906108c 1321{
4fa62494 1322 gdb_byte *addr;
c906108c 1323
78267919 1324 switch (var->kind)
4fa62494 1325 {
78267919
UW
1326 case INTERNALVAR_VALUE:
1327 addr = value_contents_writeable (var->u.value);
4fa62494
UW
1328
1329 if (bitsize)
50810684 1330 modify_field (value_type (var->u.value), addr + offset,
4fa62494
UW
1331 value_as_long (newval), bitpos, bitsize);
1332 else
1333 memcpy (addr + offset, value_contents (newval),
1334 TYPE_LENGTH (value_type (newval)));
1335 break;
78267919
UW
1336
1337 default:
1338 /* We can never get a component of any other kind. */
9b20d036 1339 internal_error (__FILE__, __LINE__, _("set_internalvar_component"));
4fa62494 1340 }
c906108c
SS
1341}
1342
1343void
f23631e4 1344set_internalvar (struct internalvar *var, struct value *val)
c906108c 1345{
78267919 1346 enum internalvar_kind new_kind;
4fa62494 1347 union internalvar_data new_data = { 0 };
c906108c 1348
78267919 1349 if (var->kind == INTERNALVAR_FUNCTION && var->u.fn.canonical)
bc3b79fd
TJB
1350 error (_("Cannot overwrite convenience function %s"), var->name);
1351
4fa62494 1352 /* Prepare new contents. */
78267919 1353 switch (TYPE_CODE (check_typedef (value_type (val))))
4fa62494
UW
1354 {
1355 case TYPE_CODE_VOID:
78267919 1356 new_kind = INTERNALVAR_VOID;
4fa62494
UW
1357 break;
1358
1359 case TYPE_CODE_INTERNAL_FUNCTION:
1360 gdb_assert (VALUE_LVAL (val) == lval_internalvar);
78267919
UW
1361 new_kind = INTERNALVAR_FUNCTION;
1362 get_internalvar_function (VALUE_INTERNALVAR (val),
1363 &new_data.fn.function);
1364 /* Copies created here are never canonical. */
4fa62494
UW
1365 break;
1366
1367 case TYPE_CODE_INT:
cab0c772
UW
1368 new_kind = INTERNALVAR_INTEGER;
1369 new_data.integer.type = value_type (val);
1370 new_data.integer.val = value_as_long (val);
4fa62494
UW
1371 break;
1372
1373 case TYPE_CODE_PTR:
cab0c772
UW
1374 new_kind = INTERNALVAR_POINTER;
1375 new_data.pointer.type = value_type (val);
1376 new_data.pointer.val = value_as_address (val);
4fa62494
UW
1377 break;
1378
1379 default:
78267919
UW
1380 new_kind = INTERNALVAR_VALUE;
1381 new_data.value = value_copy (val);
1382 new_data.value->modifiable = 1;
4fa62494
UW
1383
1384 /* Force the value to be fetched from the target now, to avoid problems
1385 later when this internalvar is referenced and the target is gone or
1386 has changed. */
78267919
UW
1387 if (value_lazy (new_data.value))
1388 value_fetch_lazy (new_data.value);
4fa62494
UW
1389
1390 /* Release the value from the value chain to prevent it from being
1391 deleted by free_all_values. From here on this function should not
1392 call error () until new_data is installed into the var->u to avoid
1393 leaking memory. */
78267919 1394 release_value (new_data.value);
4fa62494
UW
1395 break;
1396 }
1397
1398 /* Clean up old contents. */
1399 clear_internalvar (var);
1400
1401 /* Switch over. */
78267919 1402 var->kind = new_kind;
4fa62494 1403 var->u = new_data;
c906108c
SS
1404 /* End code which must not call error(). */
1405}
1406
4fa62494
UW
1407void
1408set_internalvar_integer (struct internalvar *var, LONGEST l)
1409{
1410 /* Clean up old contents. */
1411 clear_internalvar (var);
1412
cab0c772
UW
1413 var->kind = INTERNALVAR_INTEGER;
1414 var->u.integer.type = NULL;
1415 var->u.integer.val = l;
78267919
UW
1416}
1417
1418void
1419set_internalvar_string (struct internalvar *var, const char *string)
1420{
1421 /* Clean up old contents. */
1422 clear_internalvar (var);
1423
1424 var->kind = INTERNALVAR_STRING;
1425 var->u.string = xstrdup (string);
4fa62494
UW
1426}
1427
1428static void
1429set_internalvar_function (struct internalvar *var, struct internal_function *f)
1430{
1431 /* Clean up old contents. */
1432 clear_internalvar (var);
1433
78267919
UW
1434 var->kind = INTERNALVAR_FUNCTION;
1435 var->u.fn.function = f;
1436 var->u.fn.canonical = 1;
1437 /* Variables installed here are always the canonical version. */
4fa62494
UW
1438}
1439
1440void
1441clear_internalvar (struct internalvar *var)
1442{
1443 /* Clean up old contents. */
78267919 1444 switch (var->kind)
4fa62494 1445 {
78267919
UW
1446 case INTERNALVAR_VALUE:
1447 value_free (var->u.value);
1448 break;
1449
1450 case INTERNALVAR_STRING:
1451 xfree (var->u.string);
4fa62494
UW
1452 break;
1453
1454 default:
4fa62494
UW
1455 break;
1456 }
1457
78267919
UW
1458 /* Reset to void kind. */
1459 var->kind = INTERNALVAR_VOID;
4fa62494
UW
1460}
1461
c906108c 1462char *
fba45db2 1463internalvar_name (struct internalvar *var)
c906108c
SS
1464{
1465 return var->name;
1466}
1467
4fa62494
UW
1468static struct internal_function *
1469create_internal_function (const char *name,
1470 internal_function_fn handler, void *cookie)
bc3b79fd 1471{
bc3b79fd 1472 struct internal_function *ifn = XNEW (struct internal_function);
a109c7c1 1473
bc3b79fd
TJB
1474 ifn->name = xstrdup (name);
1475 ifn->handler = handler;
1476 ifn->cookie = cookie;
4fa62494 1477 return ifn;
bc3b79fd
TJB
1478}
1479
1480char *
1481value_internal_function_name (struct value *val)
1482{
4fa62494
UW
1483 struct internal_function *ifn;
1484 int result;
1485
1486 gdb_assert (VALUE_LVAL (val) == lval_internalvar);
1487 result = get_internalvar_function (VALUE_INTERNALVAR (val), &ifn);
1488 gdb_assert (result);
1489
bc3b79fd
TJB
1490 return ifn->name;
1491}
1492
1493struct value *
d452c4bc
UW
1494call_internal_function (struct gdbarch *gdbarch,
1495 const struct language_defn *language,
1496 struct value *func, int argc, struct value **argv)
bc3b79fd 1497{
4fa62494
UW
1498 struct internal_function *ifn;
1499 int result;
1500
1501 gdb_assert (VALUE_LVAL (func) == lval_internalvar);
1502 result = get_internalvar_function (VALUE_INTERNALVAR (func), &ifn);
1503 gdb_assert (result);
1504
d452c4bc 1505 return (*ifn->handler) (gdbarch, language, ifn->cookie, argc, argv);
bc3b79fd
TJB
1506}
1507
1508/* The 'function' command. This does nothing -- it is just a
1509 placeholder to let "help function NAME" work. This is also used as
1510 the implementation of the sub-command that is created when
1511 registering an internal function. */
1512static void
1513function_command (char *command, int from_tty)
1514{
1515 /* Do nothing. */
1516}
1517
1518/* Clean up if an internal function's command is destroyed. */
1519static void
1520function_destroyer (struct cmd_list_element *self, void *ignore)
1521{
1522 xfree (self->name);
1523 xfree (self->doc);
1524}
1525
1526/* Add a new internal function. NAME is the name of the function; DOC
1527 is a documentation string describing the function. HANDLER is
1528 called when the function is invoked. COOKIE is an arbitrary
1529 pointer which is passed to HANDLER and is intended for "user
1530 data". */
1531void
1532add_internal_function (const char *name, const char *doc,
1533 internal_function_fn handler, void *cookie)
1534{
1535 struct cmd_list_element *cmd;
4fa62494 1536 struct internal_function *ifn;
bc3b79fd 1537 struct internalvar *var = lookup_internalvar (name);
4fa62494
UW
1538
1539 ifn = create_internal_function (name, handler, cookie);
1540 set_internalvar_function (var, ifn);
bc3b79fd
TJB
1541
1542 cmd = add_cmd (xstrdup (name), no_class, function_command, (char *) doc,
1543 &functionlist);
1544 cmd->destroyer = function_destroyer;
1545}
1546
ae5a43e0
DJ
1547/* Update VALUE before discarding OBJFILE. COPIED_TYPES is used to
1548 prevent cycles / duplicates. */
1549
4e7a5ef5 1550void
ae5a43e0
DJ
1551preserve_one_value (struct value *value, struct objfile *objfile,
1552 htab_t copied_types)
1553{
1554 if (TYPE_OBJFILE (value->type) == objfile)
1555 value->type = copy_type_recursive (objfile, value->type, copied_types);
1556
1557 if (TYPE_OBJFILE (value->enclosing_type) == objfile)
1558 value->enclosing_type = copy_type_recursive (objfile,
1559 value->enclosing_type,
1560 copied_types);
1561}
1562
78267919
UW
1563/* Likewise for internal variable VAR. */
1564
1565static void
1566preserve_one_internalvar (struct internalvar *var, struct objfile *objfile,
1567 htab_t copied_types)
1568{
1569 switch (var->kind)
1570 {
cab0c772
UW
1571 case INTERNALVAR_INTEGER:
1572 if (var->u.integer.type && TYPE_OBJFILE (var->u.integer.type) == objfile)
1573 var->u.integer.type
1574 = copy_type_recursive (objfile, var->u.integer.type, copied_types);
1575 break;
1576
1577 case INTERNALVAR_POINTER:
1578 if (TYPE_OBJFILE (var->u.pointer.type) == objfile)
1579 var->u.pointer.type
1580 = copy_type_recursive (objfile, var->u.pointer.type, copied_types);
78267919
UW
1581 break;
1582
1583 case INTERNALVAR_VALUE:
1584 preserve_one_value (var->u.value, objfile, copied_types);
1585 break;
1586 }
1587}
1588
ae5a43e0
DJ
1589/* Update the internal variables and value history when OBJFILE is
1590 discarded; we must copy the types out of the objfile. New global types
1591 will be created for every convenience variable which currently points to
1592 this objfile's types, and the convenience variables will be adjusted to
1593 use the new global types. */
c906108c
SS
1594
1595void
ae5a43e0 1596preserve_values (struct objfile *objfile)
c906108c 1597{
ae5a43e0
DJ
1598 htab_t copied_types;
1599 struct value_history_chunk *cur;
52f0bd74 1600 struct internalvar *var;
ae5a43e0 1601 int i;
c906108c 1602
ae5a43e0
DJ
1603 /* Create the hash table. We allocate on the objfile's obstack, since
1604 it is soon to be deleted. */
1605 copied_types = create_copied_types_hash (objfile);
1606
1607 for (cur = value_history_chain; cur; cur = cur->next)
1608 for (i = 0; i < VALUE_HISTORY_CHUNK; i++)
1609 if (cur->values[i])
1610 preserve_one_value (cur->values[i], objfile, copied_types);
1611
1612 for (var = internalvars; var; var = var->next)
78267919 1613 preserve_one_internalvar (var, objfile, copied_types);
ae5a43e0 1614
4e7a5ef5 1615 preserve_python_values (objfile, copied_types);
a08702d6 1616
ae5a43e0 1617 htab_delete (copied_types);
c906108c
SS
1618}
1619
1620static void
fba45db2 1621show_convenience (char *ignore, int from_tty)
c906108c 1622{
e17c207e 1623 struct gdbarch *gdbarch = get_current_arch ();
52f0bd74 1624 struct internalvar *var;
c906108c 1625 int varseen = 0;
79a45b7d 1626 struct value_print_options opts;
c906108c 1627
79a45b7d 1628 get_user_print_options (&opts);
c906108c
SS
1629 for (var = internalvars; var; var = var->next)
1630 {
c906108c
SS
1631 if (!varseen)
1632 {
1633 varseen = 1;
1634 }
a3f17187 1635 printf_filtered (("$%s = "), var->name);
78267919 1636 value_print (value_of_internalvar (gdbarch, var), gdb_stdout,
79a45b7d 1637 &opts);
a3f17187 1638 printf_filtered (("\n"));
c906108c
SS
1639 }
1640 if (!varseen)
3e43a32a
MS
1641 printf_unfiltered (_("No debugger convenience variables now defined.\n"
1642 "Convenience variables have "
1643 "names starting with \"$\";\n"
1644 "use \"set\" as in \"set "
1645 "$foo = 5\" to define them.\n"));
c906108c
SS
1646}
1647\f
1648/* Extract a value as a C number (either long or double).
1649 Knows how to convert fixed values to double, or
1650 floating values to long.
1651 Does not deallocate the value. */
1652
1653LONGEST
f23631e4 1654value_as_long (struct value *val)
c906108c
SS
1655{
1656 /* This coerces arrays and functions, which is necessary (e.g.
1657 in disassemble_command). It also dereferences references, which
1658 I suspect is the most logical thing to do. */
994b9211 1659 val = coerce_array (val);
0fd88904 1660 return unpack_long (value_type (val), value_contents (val));
c906108c
SS
1661}
1662
1663DOUBLEST
f23631e4 1664value_as_double (struct value *val)
c906108c
SS
1665{
1666 DOUBLEST foo;
1667 int inv;
c5aa993b 1668
0fd88904 1669 foo = unpack_double (value_type (val), value_contents (val), &inv);
c906108c 1670 if (inv)
8a3fe4f8 1671 error (_("Invalid floating value found in program."));
c906108c
SS
1672 return foo;
1673}
4ef30785 1674
581e13c1 1675/* Extract a value as a C pointer. Does not deallocate the value.
4478b372
JB
1676 Note that val's type may not actually be a pointer; value_as_long
1677 handles all the cases. */
c906108c 1678CORE_ADDR
f23631e4 1679value_as_address (struct value *val)
c906108c 1680{
50810684
UW
1681 struct gdbarch *gdbarch = get_type_arch (value_type (val));
1682
c906108c
SS
1683 /* Assume a CORE_ADDR can fit in a LONGEST (for now). Not sure
1684 whether we want this to be true eventually. */
1685#if 0
bf6ae464 1686 /* gdbarch_addr_bits_remove is wrong if we are being called for a
c906108c
SS
1687 non-address (e.g. argument to "signal", "info break", etc.), or
1688 for pointers to char, in which the low bits *are* significant. */
50810684 1689 return gdbarch_addr_bits_remove (gdbarch, value_as_long (val));
c906108c 1690#else
f312f057
JB
1691
1692 /* There are several targets (IA-64, PowerPC, and others) which
1693 don't represent pointers to functions as simply the address of
1694 the function's entry point. For example, on the IA-64, a
1695 function pointer points to a two-word descriptor, generated by
1696 the linker, which contains the function's entry point, and the
1697 value the IA-64 "global pointer" register should have --- to
1698 support position-independent code. The linker generates
1699 descriptors only for those functions whose addresses are taken.
1700
1701 On such targets, it's difficult for GDB to convert an arbitrary
1702 function address into a function pointer; it has to either find
1703 an existing descriptor for that function, or call malloc and
1704 build its own. On some targets, it is impossible for GDB to
1705 build a descriptor at all: the descriptor must contain a jump
1706 instruction; data memory cannot be executed; and code memory
1707 cannot be modified.
1708
1709 Upon entry to this function, if VAL is a value of type `function'
1710 (that is, TYPE_CODE (VALUE_TYPE (val)) == TYPE_CODE_FUNC), then
42ae5230 1711 value_address (val) is the address of the function. This is what
f312f057
JB
1712 you'll get if you evaluate an expression like `main'. The call
1713 to COERCE_ARRAY below actually does all the usual unary
1714 conversions, which includes converting values of type `function'
1715 to `pointer to function'. This is the challenging conversion
1716 discussed above. Then, `unpack_long' will convert that pointer
1717 back into an address.
1718
1719 So, suppose the user types `disassemble foo' on an architecture
1720 with a strange function pointer representation, on which GDB
1721 cannot build its own descriptors, and suppose further that `foo'
1722 has no linker-built descriptor. The address->pointer conversion
1723 will signal an error and prevent the command from running, even
1724 though the next step would have been to convert the pointer
1725 directly back into the same address.
1726
1727 The following shortcut avoids this whole mess. If VAL is a
1728 function, just return its address directly. */
df407dfe
AC
1729 if (TYPE_CODE (value_type (val)) == TYPE_CODE_FUNC
1730 || TYPE_CODE (value_type (val)) == TYPE_CODE_METHOD)
42ae5230 1731 return value_address (val);
f312f057 1732
994b9211 1733 val = coerce_array (val);
fc0c74b1
AC
1734
1735 /* Some architectures (e.g. Harvard), map instruction and data
1736 addresses onto a single large unified address space. For
1737 instance: An architecture may consider a large integer in the
1738 range 0x10000000 .. 0x1000ffff to already represent a data
1739 addresses (hence not need a pointer to address conversion) while
1740 a small integer would still need to be converted integer to
1741 pointer to address. Just assume such architectures handle all
1742 integer conversions in a single function. */
1743
1744 /* JimB writes:
1745
1746 I think INTEGER_TO_ADDRESS is a good idea as proposed --- but we
1747 must admonish GDB hackers to make sure its behavior matches the
1748 compiler's, whenever possible.
1749
1750 In general, I think GDB should evaluate expressions the same way
1751 the compiler does. When the user copies an expression out of
1752 their source code and hands it to a `print' command, they should
1753 get the same value the compiler would have computed. Any
1754 deviation from this rule can cause major confusion and annoyance,
1755 and needs to be justified carefully. In other words, GDB doesn't
1756 really have the freedom to do these conversions in clever and
1757 useful ways.
1758
1759 AndrewC pointed out that users aren't complaining about how GDB
1760 casts integers to pointers; they are complaining that they can't
1761 take an address from a disassembly listing and give it to `x/i'.
1762 This is certainly important.
1763
79dd2d24 1764 Adding an architecture method like integer_to_address() certainly
fc0c74b1
AC
1765 makes it possible for GDB to "get it right" in all circumstances
1766 --- the target has complete control over how things get done, so
1767 people can Do The Right Thing for their target without breaking
1768 anyone else. The standard doesn't specify how integers get
1769 converted to pointers; usually, the ABI doesn't either, but
1770 ABI-specific code is a more reasonable place to handle it. */
1771
df407dfe
AC
1772 if (TYPE_CODE (value_type (val)) != TYPE_CODE_PTR
1773 && TYPE_CODE (value_type (val)) != TYPE_CODE_REF
50810684
UW
1774 && gdbarch_integer_to_address_p (gdbarch))
1775 return gdbarch_integer_to_address (gdbarch, value_type (val),
0fd88904 1776 value_contents (val));
fc0c74b1 1777
0fd88904 1778 return unpack_long (value_type (val), value_contents (val));
c906108c
SS
1779#endif
1780}
1781\f
1782/* Unpack raw data (copied from debugee, target byte order) at VALADDR
1783 as a long, or as a double, assuming the raw data is described
1784 by type TYPE. Knows how to convert different sizes of values
1785 and can convert between fixed and floating point. We don't assume
1786 any alignment for the raw data. Return value is in host byte order.
1787
1788 If you want functions and arrays to be coerced to pointers, and
1789 references to be dereferenced, call value_as_long() instead.
1790
1791 C++: It is assumed that the front-end has taken care of
1792 all matters concerning pointers to members. A pointer
1793 to member which reaches here is considered to be equivalent
1794 to an INT (or some size). After all, it is only an offset. */
1795
1796LONGEST
fc1a4b47 1797unpack_long (struct type *type, const gdb_byte *valaddr)
c906108c 1798{
e17a4113 1799 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
52f0bd74
AC
1800 enum type_code code = TYPE_CODE (type);
1801 int len = TYPE_LENGTH (type);
1802 int nosign = TYPE_UNSIGNED (type);
c906108c 1803
c906108c
SS
1804 switch (code)
1805 {
1806 case TYPE_CODE_TYPEDEF:
1807 return unpack_long (check_typedef (type), valaddr);
1808 case TYPE_CODE_ENUM:
4f2aea11 1809 case TYPE_CODE_FLAGS:
c906108c
SS
1810 case TYPE_CODE_BOOL:
1811 case TYPE_CODE_INT:
1812 case TYPE_CODE_CHAR:
1813 case TYPE_CODE_RANGE:
0d5de010 1814 case TYPE_CODE_MEMBERPTR:
c906108c 1815 if (nosign)
e17a4113 1816 return extract_unsigned_integer (valaddr, len, byte_order);
c906108c 1817 else
e17a4113 1818 return extract_signed_integer (valaddr, len, byte_order);
c906108c
SS
1819
1820 case TYPE_CODE_FLT:
96d2f608 1821 return extract_typed_floating (valaddr, type);
c906108c 1822
4ef30785
TJB
1823 case TYPE_CODE_DECFLOAT:
1824 /* libdecnumber has a function to convert from decimal to integer, but
1825 it doesn't work when the decimal number has a fractional part. */
e17a4113 1826 return decimal_to_doublest (valaddr, len, byte_order);
4ef30785 1827
c906108c
SS
1828 case TYPE_CODE_PTR:
1829 case TYPE_CODE_REF:
1830 /* Assume a CORE_ADDR can fit in a LONGEST (for now). Not sure
c5aa993b 1831 whether we want this to be true eventually. */
4478b372 1832 return extract_typed_address (valaddr, type);
c906108c 1833
c906108c 1834 default:
8a3fe4f8 1835 error (_("Value can't be converted to integer."));
c906108c 1836 }
c5aa993b 1837 return 0; /* Placate lint. */
c906108c
SS
1838}
1839
1840/* Return a double value from the specified type and address.
1841 INVP points to an int which is set to 0 for valid value,
1842 1 for invalid value (bad float format). In either case,
1843 the returned double is OK to use. Argument is in target
1844 format, result is in host format. */
1845
1846DOUBLEST
fc1a4b47 1847unpack_double (struct type *type, const gdb_byte *valaddr, int *invp)
c906108c 1848{
e17a4113 1849 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
c906108c
SS
1850 enum type_code code;
1851 int len;
1852 int nosign;
1853
581e13c1 1854 *invp = 0; /* Assume valid. */
c906108c
SS
1855 CHECK_TYPEDEF (type);
1856 code = TYPE_CODE (type);
1857 len = TYPE_LENGTH (type);
1858 nosign = TYPE_UNSIGNED (type);
1859 if (code == TYPE_CODE_FLT)
1860 {
75bc7ddf
AC
1861 /* NOTE: cagney/2002-02-19: There was a test here to see if the
1862 floating-point value was valid (using the macro
1863 INVALID_FLOAT). That test/macro have been removed.
1864
1865 It turns out that only the VAX defined this macro and then
1866 only in a non-portable way. Fixing the portability problem
1867 wouldn't help since the VAX floating-point code is also badly
1868 bit-rotten. The target needs to add definitions for the
ea06eb3d 1869 methods gdbarch_float_format and gdbarch_double_format - these
75bc7ddf
AC
1870 exactly describe the target floating-point format. The
1871 problem here is that the corresponding floatformat_vax_f and
1872 floatformat_vax_d values these methods should be set to are
1873 also not defined either. Oops!
1874
1875 Hopefully someone will add both the missing floatformat
ac79b88b
DJ
1876 definitions and the new cases for floatformat_is_valid (). */
1877
1878 if (!floatformat_is_valid (floatformat_from_type (type), valaddr))
1879 {
1880 *invp = 1;
1881 return 0.0;
1882 }
1883
96d2f608 1884 return extract_typed_floating (valaddr, type);
c906108c 1885 }
4ef30785 1886 else if (code == TYPE_CODE_DECFLOAT)
e17a4113 1887 return decimal_to_doublest (valaddr, len, byte_order);
c906108c
SS
1888 else if (nosign)
1889 {
1890 /* Unsigned -- be sure we compensate for signed LONGEST. */
c906108c 1891 return (ULONGEST) unpack_long (type, valaddr);
c906108c
SS
1892 }
1893 else
1894 {
1895 /* Signed -- we are OK with unpack_long. */
1896 return unpack_long (type, valaddr);
1897 }
1898}
1899
1900/* Unpack raw data (copied from debugee, target byte order) at VALADDR
1901 as a CORE_ADDR, assuming the raw data is described by type TYPE.
1902 We don't assume any alignment for the raw data. Return value is in
1903 host byte order.
1904
1905 If you want functions and arrays to be coerced to pointers, and
1aa20aa8 1906 references to be dereferenced, call value_as_address() instead.
c906108c
SS
1907
1908 C++: It is assumed that the front-end has taken care of
1909 all matters concerning pointers to members. A pointer
1910 to member which reaches here is considered to be equivalent
1911 to an INT (or some size). After all, it is only an offset. */
1912
1913CORE_ADDR
fc1a4b47 1914unpack_pointer (struct type *type, const gdb_byte *valaddr)
c906108c
SS
1915{
1916 /* Assume a CORE_ADDR can fit in a LONGEST (for now). Not sure
1917 whether we want this to be true eventually. */
1918 return unpack_long (type, valaddr);
1919}
4478b372 1920
c906108c 1921\f
1596cb5d 1922/* Get the value of the FIELDNO'th field (which must be static) of
2c2738a0 1923 TYPE. Return NULL if the field doesn't exist or has been
581e13c1 1924 optimized out. */
c906108c 1925
f23631e4 1926struct value *
fba45db2 1927value_static_field (struct type *type, int fieldno)
c906108c 1928{
948e66d9
DJ
1929 struct value *retval;
1930
1596cb5d 1931 switch (TYPE_FIELD_LOC_KIND (type, fieldno))
c906108c 1932 {
1596cb5d 1933 case FIELD_LOC_KIND_PHYSADDR:
52e9fde8
SS
1934 retval = value_at_lazy (TYPE_FIELD_TYPE (type, fieldno),
1935 TYPE_FIELD_STATIC_PHYSADDR (type, fieldno));
1596cb5d
DE
1936 break;
1937 case FIELD_LOC_KIND_PHYSNAME:
c906108c
SS
1938 {
1939 char *phys_name = TYPE_FIELD_STATIC_PHYSNAME (type, fieldno);
581e13c1 1940 /* TYPE_FIELD_NAME (type, fieldno); */
2570f2b7 1941 struct symbol *sym = lookup_symbol (phys_name, 0, VAR_DOMAIN, 0);
94af9270 1942
948e66d9 1943 if (sym == NULL)
c906108c 1944 {
a109c7c1 1945 /* With some compilers, e.g. HP aCC, static data members are
581e13c1 1946 reported as non-debuggable symbols. */
a109c7c1
MS
1947 struct minimal_symbol *msym = lookup_minimal_symbol (phys_name,
1948 NULL, NULL);
1949
c906108c
SS
1950 if (!msym)
1951 return NULL;
1952 else
c5aa993b 1953 {
52e9fde8
SS
1954 retval = value_at_lazy (TYPE_FIELD_TYPE (type, fieldno),
1955 SYMBOL_VALUE_ADDRESS (msym));
c906108c
SS
1956 }
1957 }
1958 else
515ed532 1959 retval = value_of_variable (sym, NULL);
1596cb5d 1960 break;
c906108c 1961 }
1596cb5d 1962 default:
f3574227 1963 gdb_assert_not_reached ("unexpected field location kind");
1596cb5d
DE
1964 }
1965
948e66d9 1966 return retval;
c906108c
SS
1967}
1968
4dfea560
DE
1969/* Change the enclosing type of a value object VAL to NEW_ENCL_TYPE.
1970 You have to be careful here, since the size of the data area for the value
1971 is set by the length of the enclosing type. So if NEW_ENCL_TYPE is bigger
1972 than the old enclosing type, you have to allocate more space for the
1973 data. */
2b127877 1974
4dfea560
DE
1975void
1976set_value_enclosing_type (struct value *val, struct type *new_encl_type)
2b127877 1977{
3e3d7139
JG
1978 if (TYPE_LENGTH (new_encl_type) > TYPE_LENGTH (value_enclosing_type (val)))
1979 val->contents =
1980 (gdb_byte *) xrealloc (val->contents, TYPE_LENGTH (new_encl_type));
1981
1982 val->enclosing_type = new_encl_type;
2b127877
DB
1983}
1984
c906108c
SS
1985/* Given a value ARG1 (offset by OFFSET bytes)
1986 of a struct or union type ARG_TYPE,
1987 extract and return the value of one of its (non-static) fields.
581e13c1 1988 FIELDNO says which field. */
c906108c 1989
f23631e4
AC
1990struct value *
1991value_primitive_field (struct value *arg1, int offset,
aa1ee363 1992 int fieldno, struct type *arg_type)
c906108c 1993{
f23631e4 1994 struct value *v;
52f0bd74 1995 struct type *type;
c906108c
SS
1996
1997 CHECK_TYPEDEF (arg_type);
1998 type = TYPE_FIELD_TYPE (arg_type, fieldno);
c54eabfa
JK
1999
2000 /* Call check_typedef on our type to make sure that, if TYPE
2001 is a TYPE_CODE_TYPEDEF, its length is set to the length
2002 of the target type instead of zero. However, we do not
2003 replace the typedef type by the target type, because we want
2004 to keep the typedef in order to be able to print the type
2005 description correctly. */
2006 check_typedef (type);
c906108c
SS
2007
2008 /* Handle packed fields */
2009
2010 if (TYPE_FIELD_BITSIZE (arg_type, fieldno))
2011 {
4ea48cc1
DJ
2012 /* Create a new value for the bitfield, with bitpos and bitsize
2013 set. If possible, arrange offset and bitpos so that we can
2014 do a single aligned read of the size of the containing type.
2015 Otherwise, adjust offset to the byte containing the first
2016 bit. Assume that the address, offset, and embedded offset
2017 are sufficiently aligned. */
2018 int bitpos = TYPE_FIELD_BITPOS (arg_type, fieldno);
2019 int container_bitsize = TYPE_LENGTH (type) * 8;
2020
2021 v = allocate_value_lazy (type);
df407dfe 2022 v->bitsize = TYPE_FIELD_BITSIZE (arg_type, fieldno);
4ea48cc1
DJ
2023 if ((bitpos % container_bitsize) + v->bitsize <= container_bitsize
2024 && TYPE_LENGTH (type) <= (int) sizeof (LONGEST))
2025 v->bitpos = bitpos % container_bitsize;
2026 else
2027 v->bitpos = bitpos % 8;
38f12cfc
TT
2028 v->offset = (value_embedded_offset (arg1)
2029 + offset
2030 + (bitpos - v->bitpos) / 8);
4ea48cc1
DJ
2031 v->parent = arg1;
2032 value_incref (v->parent);
2033 if (!value_lazy (arg1))
2034 value_fetch_lazy (v);
c906108c
SS
2035 }
2036 else if (fieldno < TYPE_N_BASECLASSES (arg_type))
2037 {
2038 /* This field is actually a base subobject, so preserve the
2039 entire object's contents for later references to virtual
2040 bases, etc. */
a4e2ee12
DJ
2041
2042 /* Lazy register values with offsets are not supported. */
2043 if (VALUE_LVAL (arg1) == lval_register && value_lazy (arg1))
2044 value_fetch_lazy (arg1);
2045
2046 if (value_lazy (arg1))
3e3d7139 2047 v = allocate_value_lazy (value_enclosing_type (arg1));
c906108c 2048 else
3e3d7139
JG
2049 {
2050 v = allocate_value (value_enclosing_type (arg1));
2051 memcpy (value_contents_all_raw (v), value_contents_all_raw (arg1),
2052 TYPE_LENGTH (value_enclosing_type (arg1)));
2053 }
2054 v->type = type;
df407dfe 2055 v->offset = value_offset (arg1);
13c3b5f5
AC
2056 v->embedded_offset = (offset + value_embedded_offset (arg1)
2057 + TYPE_FIELD_BITPOS (arg_type, fieldno) / 8);
c906108c
SS
2058 }
2059 else
2060 {
2061 /* Plain old data member */
2062 offset += TYPE_FIELD_BITPOS (arg_type, fieldno) / 8;
a4e2ee12
DJ
2063
2064 /* Lazy register values with offsets are not supported. */
2065 if (VALUE_LVAL (arg1) == lval_register && value_lazy (arg1))
2066 value_fetch_lazy (arg1);
2067
2068 if (value_lazy (arg1))
3e3d7139 2069 v = allocate_value_lazy (type);
c906108c 2070 else
3e3d7139
JG
2071 {
2072 v = allocate_value (type);
2073 memcpy (value_contents_raw (v),
2074 value_contents_raw (arg1) + offset,
2075 TYPE_LENGTH (type));
2076 }
df407dfe 2077 v->offset = (value_offset (arg1) + offset
13c3b5f5 2078 + value_embedded_offset (arg1));
c906108c 2079 }
74bcbdf3 2080 set_value_component_location (v, arg1);
9ee8fc9d 2081 VALUE_REGNUM (v) = VALUE_REGNUM (arg1);
0c16dd26 2082 VALUE_FRAME_ID (v) = VALUE_FRAME_ID (arg1);
c906108c
SS
2083 return v;
2084}
2085
2086/* Given a value ARG1 of a struct or union type,
2087 extract and return the value of one of its (non-static) fields.
581e13c1 2088 FIELDNO says which field. */
c906108c 2089
f23631e4 2090struct value *
aa1ee363 2091value_field (struct value *arg1, int fieldno)
c906108c 2092{
df407dfe 2093 return value_primitive_field (arg1, 0, fieldno, value_type (arg1));
c906108c
SS
2094}
2095
2096/* Return a non-virtual function as a value.
2097 F is the list of member functions which contains the desired method.
0478d61c
FF
2098 J is an index into F which provides the desired method.
2099
2100 We only use the symbol for its address, so be happy with either a
581e13c1 2101 full symbol or a minimal symbol. */
c906108c 2102
f23631e4 2103struct value *
3e43a32a
MS
2104value_fn_field (struct value **arg1p, struct fn_field *f,
2105 int j, struct type *type,
fba45db2 2106 int offset)
c906108c 2107{
f23631e4 2108 struct value *v;
52f0bd74 2109 struct type *ftype = TYPE_FN_FIELD_TYPE (f, j);
0478d61c 2110 char *physname = TYPE_FN_FIELD_PHYSNAME (f, j);
c906108c 2111 struct symbol *sym;
0478d61c 2112 struct minimal_symbol *msym;
c906108c 2113
2570f2b7 2114 sym = lookup_symbol (physname, 0, VAR_DOMAIN, 0);
5ae326fa 2115 if (sym != NULL)
0478d61c 2116 {
5ae326fa
AC
2117 msym = NULL;
2118 }
2119 else
2120 {
2121 gdb_assert (sym == NULL);
0478d61c 2122 msym = lookup_minimal_symbol (physname, NULL, NULL);
5ae326fa
AC
2123 if (msym == NULL)
2124 return NULL;
0478d61c
FF
2125 }
2126
c906108c 2127 v = allocate_value (ftype);
0478d61c
FF
2128 if (sym)
2129 {
42ae5230 2130 set_value_address (v, BLOCK_START (SYMBOL_BLOCK_VALUE (sym)));
0478d61c
FF
2131 }
2132 else
2133 {
bccdca4a
UW
2134 /* The minimal symbol might point to a function descriptor;
2135 resolve it to the actual code address instead. */
2136 struct objfile *objfile = msymbol_objfile (msym);
2137 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2138
42ae5230
TT
2139 set_value_address (v,
2140 gdbarch_convert_from_func_ptr_addr
2141 (gdbarch, SYMBOL_VALUE_ADDRESS (msym), &current_target));
0478d61c 2142 }
c906108c
SS
2143
2144 if (arg1p)
c5aa993b 2145 {
df407dfe 2146 if (type != value_type (*arg1p))
c5aa993b
JM
2147 *arg1p = value_ind (value_cast (lookup_pointer_type (type),
2148 value_addr (*arg1p)));
2149
070ad9f0 2150 /* Move the `this' pointer according to the offset.
581e13c1 2151 VALUE_OFFSET (*arg1p) += offset; */
c906108c
SS
2152 }
2153
2154 return v;
2155}
2156
c906108c 2157\f
4ea48cc1
DJ
2158/* Unpack a bitfield of the specified FIELD_TYPE, from the anonymous
2159 object at VALADDR. The bitfield starts at BITPOS bits and contains
2160 BITSIZE bits.
c906108c
SS
2161
2162 Extracting bits depends on endianness of the machine. Compute the
2163 number of least significant bits to discard. For big endian machines,
2164 we compute the total number of bits in the anonymous object, subtract
2165 off the bit count from the MSB of the object to the MSB of the
2166 bitfield, then the size of the bitfield, which leaves the LSB discard
2167 count. For little endian machines, the discard count is simply the
2168 number of bits from the LSB of the anonymous object to the LSB of the
2169 bitfield.
2170
581e13c1 2171 If the field is signed, we also do sign extension. */
c906108c
SS
2172
2173LONGEST
4ea48cc1
DJ
2174unpack_bits_as_long (struct type *field_type, const gdb_byte *valaddr,
2175 int bitpos, int bitsize)
c906108c 2176{
4ea48cc1 2177 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (field_type));
c906108c
SS
2178 ULONGEST val;
2179 ULONGEST valmask;
c906108c 2180 int lsbcount;
4a76eae5 2181 int bytes_read;
c906108c 2182
4a76eae5
DJ
2183 /* Read the minimum number of bytes required; there may not be
2184 enough bytes to read an entire ULONGEST. */
c906108c 2185 CHECK_TYPEDEF (field_type);
4a76eae5
DJ
2186 if (bitsize)
2187 bytes_read = ((bitpos % 8) + bitsize + 7) / 8;
2188 else
2189 bytes_read = TYPE_LENGTH (field_type);
2190
2191 val = extract_unsigned_integer (valaddr + bitpos / 8,
2192 bytes_read, byte_order);
c906108c 2193
581e13c1 2194 /* Extract bits. See comment above. */
c906108c 2195
4ea48cc1 2196 if (gdbarch_bits_big_endian (get_type_arch (field_type)))
4a76eae5 2197 lsbcount = (bytes_read * 8 - bitpos % 8 - bitsize);
c906108c
SS
2198 else
2199 lsbcount = (bitpos % 8);
2200 val >>= lsbcount;
2201
2202 /* If the field does not entirely fill a LONGEST, then zero the sign bits.
581e13c1 2203 If the field is signed, and is negative, then sign extend. */
c906108c
SS
2204
2205 if ((bitsize > 0) && (bitsize < 8 * (int) sizeof (val)))
2206 {
2207 valmask = (((ULONGEST) 1) << bitsize) - 1;
2208 val &= valmask;
2209 if (!TYPE_UNSIGNED (field_type))
2210 {
2211 if (val & (valmask ^ (valmask >> 1)))
2212 {
2213 val |= ~valmask;
2214 }
2215 }
2216 }
2217 return (val);
2218}
2219
4ea48cc1
DJ
2220/* Unpack a field FIELDNO of the specified TYPE, from the anonymous object at
2221 VALADDR. See unpack_bits_as_long for more details. */
2222
2223LONGEST
2224unpack_field_as_long (struct type *type, const gdb_byte *valaddr, int fieldno)
2225{
2226 int bitpos = TYPE_FIELD_BITPOS (type, fieldno);
2227 int bitsize = TYPE_FIELD_BITSIZE (type, fieldno);
2228 struct type *field_type = TYPE_FIELD_TYPE (type, fieldno);
2229
2230 return unpack_bits_as_long (field_type, valaddr, bitpos, bitsize);
2231}
2232
c906108c
SS
2233/* Modify the value of a bitfield. ADDR points to a block of memory in
2234 target byte order; the bitfield starts in the byte pointed to. FIELDVAL
2235 is the desired value of the field, in host byte order. BITPOS and BITSIZE
581e13c1 2236 indicate which bits (in target bit order) comprise the bitfield.
19f220c3 2237 Requires 0 < BITSIZE <= lbits, 0 <= BITPOS % 8 + BITSIZE <= lbits, and
f4e88c8e 2238 0 <= BITPOS, where lbits is the size of a LONGEST in bits. */
c906108c
SS
2239
2240void
50810684
UW
2241modify_field (struct type *type, gdb_byte *addr,
2242 LONGEST fieldval, int bitpos, int bitsize)
c906108c 2243{
e17a4113 2244 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
f4e88c8e
PH
2245 ULONGEST oword;
2246 ULONGEST mask = (ULONGEST) -1 >> (8 * sizeof (ULONGEST) - bitsize);
19f220c3
JK
2247 int bytesize;
2248
2249 /* Normalize BITPOS. */
2250 addr += bitpos / 8;
2251 bitpos %= 8;
c906108c
SS
2252
2253 /* If a negative fieldval fits in the field in question, chop
2254 off the sign extension bits. */
f4e88c8e
PH
2255 if ((~fieldval & ~(mask >> 1)) == 0)
2256 fieldval &= mask;
c906108c
SS
2257
2258 /* Warn if value is too big to fit in the field in question. */
f4e88c8e 2259 if (0 != (fieldval & ~mask))
c906108c
SS
2260 {
2261 /* FIXME: would like to include fieldval in the message, but
c5aa993b 2262 we don't have a sprintf_longest. */
8a3fe4f8 2263 warning (_("Value does not fit in %d bits."), bitsize);
c906108c
SS
2264
2265 /* Truncate it, otherwise adjoining fields may be corrupted. */
f4e88c8e 2266 fieldval &= mask;
c906108c
SS
2267 }
2268
19f220c3
JK
2269 /* Ensure no bytes outside of the modified ones get accessed as it may cause
2270 false valgrind reports. */
2271
2272 bytesize = (bitpos + bitsize + 7) / 8;
2273 oword = extract_unsigned_integer (addr, bytesize, byte_order);
c906108c
SS
2274
2275 /* Shifting for bit field depends on endianness of the target machine. */
50810684 2276 if (gdbarch_bits_big_endian (get_type_arch (type)))
19f220c3 2277 bitpos = bytesize * 8 - bitpos - bitsize;
c906108c 2278
f4e88c8e 2279 oword &= ~(mask << bitpos);
c906108c
SS
2280 oword |= fieldval << bitpos;
2281
19f220c3 2282 store_unsigned_integer (addr, bytesize, byte_order, oword);
c906108c
SS
2283}
2284\f
14d06750 2285/* Pack NUM into BUF using a target format of TYPE. */
c906108c 2286
14d06750
DJ
2287void
2288pack_long (gdb_byte *buf, struct type *type, LONGEST num)
c906108c 2289{
e17a4113 2290 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
52f0bd74 2291 int len;
14d06750
DJ
2292
2293 type = check_typedef (type);
c906108c
SS
2294 len = TYPE_LENGTH (type);
2295
14d06750 2296 switch (TYPE_CODE (type))
c906108c 2297 {
c906108c
SS
2298 case TYPE_CODE_INT:
2299 case TYPE_CODE_CHAR:
2300 case TYPE_CODE_ENUM:
4f2aea11 2301 case TYPE_CODE_FLAGS:
c906108c
SS
2302 case TYPE_CODE_BOOL:
2303 case TYPE_CODE_RANGE:
0d5de010 2304 case TYPE_CODE_MEMBERPTR:
e17a4113 2305 store_signed_integer (buf, len, byte_order, num);
c906108c 2306 break;
c5aa993b 2307
c906108c
SS
2308 case TYPE_CODE_REF:
2309 case TYPE_CODE_PTR:
14d06750 2310 store_typed_address (buf, type, (CORE_ADDR) num);
c906108c 2311 break;
c5aa993b 2312
c906108c 2313 default:
14d06750
DJ
2314 error (_("Unexpected type (%d) encountered for integer constant."),
2315 TYPE_CODE (type));
c906108c 2316 }
14d06750
DJ
2317}
2318
2319
595939de
PM
2320/* Pack NUM into BUF using a target format of TYPE. */
2321
2322void
2323pack_unsigned_long (gdb_byte *buf, struct type *type, ULONGEST num)
2324{
2325 int len;
2326 enum bfd_endian byte_order;
2327
2328 type = check_typedef (type);
2329 len = TYPE_LENGTH (type);
2330 byte_order = gdbarch_byte_order (get_type_arch (type));
2331
2332 switch (TYPE_CODE (type))
2333 {
2334 case TYPE_CODE_INT:
2335 case TYPE_CODE_CHAR:
2336 case TYPE_CODE_ENUM:
2337 case TYPE_CODE_FLAGS:
2338 case TYPE_CODE_BOOL:
2339 case TYPE_CODE_RANGE:
2340 case TYPE_CODE_MEMBERPTR:
2341 store_unsigned_integer (buf, len, byte_order, num);
2342 break;
2343
2344 case TYPE_CODE_REF:
2345 case TYPE_CODE_PTR:
2346 store_typed_address (buf, type, (CORE_ADDR) num);
2347 break;
2348
2349 default:
3e43a32a
MS
2350 error (_("Unexpected type (%d) encountered "
2351 "for unsigned integer constant."),
595939de
PM
2352 TYPE_CODE (type));
2353 }
2354}
2355
2356
14d06750
DJ
2357/* Convert C numbers into newly allocated values. */
2358
2359struct value *
2360value_from_longest (struct type *type, LONGEST num)
2361{
2362 struct value *val = allocate_value (type);
2363
2364 pack_long (value_contents_raw (val), type, num);
c906108c
SS
2365 return val;
2366}
2367
4478b372 2368
595939de
PM
2369/* Convert C unsigned numbers into newly allocated values. */
2370
2371struct value *
2372value_from_ulongest (struct type *type, ULONGEST num)
2373{
2374 struct value *val = allocate_value (type);
2375
2376 pack_unsigned_long (value_contents_raw (val), type, num);
2377
2378 return val;
2379}
2380
2381
4478b372
JB
2382/* Create a value representing a pointer of type TYPE to the address
2383 ADDR. */
f23631e4 2384struct value *
4478b372
JB
2385value_from_pointer (struct type *type, CORE_ADDR addr)
2386{
f23631e4 2387 struct value *val = allocate_value (type);
a109c7c1 2388
cab0c772 2389 store_typed_address (value_contents_raw (val), check_typedef (type), addr);
4478b372
JB
2390 return val;
2391}
2392
2393
8acb6b92
TT
2394/* Create a value of type TYPE whose contents come from VALADDR, if it
2395 is non-null, and whose memory address (in the inferior) is
2396 ADDRESS. */
2397
2398struct value *
2399value_from_contents_and_address (struct type *type,
2400 const gdb_byte *valaddr,
2401 CORE_ADDR address)
2402{
2403 struct value *v = allocate_value (type);
a109c7c1 2404
8acb6b92
TT
2405 if (valaddr == NULL)
2406 set_value_lazy (v, 1);
2407 else
2408 memcpy (value_contents_raw (v), valaddr, TYPE_LENGTH (type));
42ae5230 2409 set_value_address (v, address);
33d502b4 2410 VALUE_LVAL (v) = lval_memory;
8acb6b92
TT
2411 return v;
2412}
2413
f23631e4 2414struct value *
fba45db2 2415value_from_double (struct type *type, DOUBLEST num)
c906108c 2416{
f23631e4 2417 struct value *val = allocate_value (type);
c906108c 2418 struct type *base_type = check_typedef (type);
52f0bd74 2419 enum type_code code = TYPE_CODE (base_type);
c906108c
SS
2420
2421 if (code == TYPE_CODE_FLT)
2422 {
990a07ab 2423 store_typed_floating (value_contents_raw (val), base_type, num);
c906108c
SS
2424 }
2425 else
8a3fe4f8 2426 error (_("Unexpected type encountered for floating constant."));
c906108c
SS
2427
2428 return val;
2429}
994b9211 2430
27bc4d80 2431struct value *
4ef30785 2432value_from_decfloat (struct type *type, const gdb_byte *dec)
27bc4d80
TJB
2433{
2434 struct value *val = allocate_value (type);
27bc4d80 2435
4ef30785 2436 memcpy (value_contents_raw (val), dec, TYPE_LENGTH (type));
27bc4d80
TJB
2437 return val;
2438}
2439
994b9211
AC
2440struct value *
2441coerce_ref (struct value *arg)
2442{
df407dfe 2443 struct type *value_type_arg_tmp = check_typedef (value_type (arg));
a109c7c1 2444
994b9211
AC
2445 if (TYPE_CODE (value_type_arg_tmp) == TYPE_CODE_REF)
2446 arg = value_at_lazy (TYPE_TARGET_TYPE (value_type_arg_tmp),
df407dfe 2447 unpack_pointer (value_type (arg),
0fd88904 2448 value_contents (arg)));
994b9211
AC
2449 return arg;
2450}
2451
2452struct value *
2453coerce_array (struct value *arg)
2454{
f3134b88
TT
2455 struct type *type;
2456
994b9211 2457 arg = coerce_ref (arg);
f3134b88
TT
2458 type = check_typedef (value_type (arg));
2459
2460 switch (TYPE_CODE (type))
2461 {
2462 case TYPE_CODE_ARRAY:
7346b668 2463 if (!TYPE_VECTOR (type) && current_language->c_style_arrays)
f3134b88
TT
2464 arg = value_coerce_array (arg);
2465 break;
2466 case TYPE_CODE_FUNC:
2467 arg = value_coerce_function (arg);
2468 break;
2469 }
994b9211
AC
2470 return arg;
2471}
c906108c 2472\f
c906108c 2473
48436ce6
AC
2474/* Return true if the function returning the specified type is using
2475 the convention of returning structures in memory (passing in the
82585c72 2476 address as a hidden first parameter). */
c906108c
SS
2477
2478int
d80b854b
UW
2479using_struct_return (struct gdbarch *gdbarch,
2480 struct type *func_type, struct type *value_type)
c906108c 2481{
52f0bd74 2482 enum type_code code = TYPE_CODE (value_type);
c906108c
SS
2483
2484 if (code == TYPE_CODE_ERROR)
8a3fe4f8 2485 error (_("Function return type unknown."));
c906108c 2486
667e784f
AC
2487 if (code == TYPE_CODE_VOID)
2488 /* A void return value is never in memory. See also corresponding
44e5158b 2489 code in "print_return_value". */
667e784f
AC
2490 return 0;
2491
92ad9cd9 2492 /* Probe the architecture for the return-value convention. */
d80b854b 2493 return (gdbarch_return_value (gdbarch, func_type, value_type,
92ad9cd9 2494 NULL, NULL, NULL)
31db7b6c 2495 != RETURN_VALUE_REGISTER_CONVENTION);
c906108c
SS
2496}
2497
42be36b3
CT
2498/* Set the initialized field in a value struct. */
2499
2500void
2501set_value_initialized (struct value *val, int status)
2502{
2503 val->initialized = status;
2504}
2505
2506/* Return the initialized field in a value struct. */
2507
2508int
2509value_initialized (struct value *val)
2510{
2511 return val->initialized;
2512}
2513
c906108c 2514void
fba45db2 2515_initialize_values (void)
c906108c 2516{
1a966eab
AC
2517 add_cmd ("convenience", no_class, show_convenience, _("\
2518Debugger convenience (\"$foo\") variables.\n\
c906108c 2519These variables are created when you assign them values;\n\
1a966eab
AC
2520thus, \"print $foo=1\" gives \"$foo\" the value 1. Values may be any type.\n\
2521\n\
c906108c
SS
2522A few convenience variables are given values automatically:\n\
2523\"$_\"holds the last address examined with \"x\" or \"info lines\",\n\
1a966eab 2524\"$__\" holds the contents of the last address examined with \"x\"."),
c906108c
SS
2525 &showlist);
2526
3e43a32a
MS
2527 add_cmd ("values", no_class, show_values, _("\
2528Elements of value history around item number IDX (or last ten)."),
c906108c 2529 &showlist);
53e5f3cf
AS
2530
2531 add_com ("init-if-undefined", class_vars, init_if_undefined_command, _("\
2532Initialize a convenience variable if necessary.\n\
2533init-if-undefined VARIABLE = EXPRESSION\n\
2534Set an internal VARIABLE to the result of the EXPRESSION if it does not\n\
2535exist or does not contain a value. The EXPRESSION is not evaluated if the\n\
2536VARIABLE is already initialized."));
bc3b79fd
TJB
2537
2538 add_prefix_cmd ("function", no_class, function_command, _("\
2539Placeholder command for showing help on convenience functions."),
2540 &functionlist, "function ", 0, &cmdlist);
c906108c 2541}
This page took 1.23691 seconds and 4 git commands to generate.