* Makefile.in (ALLCONFIG): Add config/i386/ptx.mh
[deliverable/binutils-gdb.git] / gdb / values.c
CommitLineData
7d9884b9
JG
1/* Low level packing and unpacking of values for GDB, the GNU Debugger.
2 Copyright 1986, 1987, 1989, 1991 Free Software Foundation, Inc.
dd3b648e
RP
3
4This file is part of GDB.
5
99a7de40 6This program is free software; you can redistribute it and/or modify
dd3b648e 7it under the terms of the GNU General Public License as published by
99a7de40
JG
8the Free Software Foundation; either version 2 of the License, or
9(at your option) any later version.
dd3b648e 10
99a7de40 11This program is distributed in the hope that it will be useful,
dd3b648e
RP
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
99a7de40
JG
17along with this program; if not, write to the Free Software
18Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
dd3b648e 19
dd3b648e 20#include "defs.h"
d747e0af 21#include <string.h>
dd3b648e 22#include "symtab.h"
1ab3bf1b 23#include "gdbtypes.h"
dd3b648e
RP
24#include "value.h"
25#include "gdbcore.h"
26#include "frame.h"
27#include "command.h"
f266e564 28#include "gdbcmd.h"
ac88ca20 29#include "target.h"
8050a57b 30#include "demangle.h"
dd3b648e 31
1ab3bf1b
JG
32/* Local function prototypes. */
33
34static value
35value_headof PARAMS ((value, struct type *, struct type *));
36
37static void
38show_values PARAMS ((char *, int));
39
40static void
ac88ca20 41show_convenience PARAMS ((char *, int));
71b16efa 42
dd3b648e
RP
43/* The value-history records all the values printed
44 by print commands during this session. Each chunk
45 records 60 consecutive values. The first chunk on
46 the chain records the most recent values.
47 The total number of values is in value_history_count. */
48
49#define VALUE_HISTORY_CHUNK 60
50
51struct value_history_chunk
52{
53 struct value_history_chunk *next;
54 value values[VALUE_HISTORY_CHUNK];
55};
56
57/* Chain of chunks now in use. */
58
59static struct value_history_chunk *value_history_chain;
60
61static int value_history_count; /* Abs number of last entry stored */
dd3b648e
RP
62\f
63/* List of all value objects currently allocated
64 (except for those released by calls to release_value)
65 This is so they can be freed after each command. */
66
67static value all_values;
68
69/* Allocate a value that has the correct length for type TYPE. */
70
71value
72allocate_value (type)
73 struct type *type;
74{
75 register value val;
76
77 check_stub_type (type);
78
79 val = (value) xmalloc (sizeof (struct value) + TYPE_LENGTH (type));
80 VALUE_NEXT (val) = all_values;
81 all_values = val;
82 VALUE_TYPE (val) = type;
83 VALUE_LVAL (val) = not_lval;
84 VALUE_ADDRESS (val) = 0;
85 VALUE_FRAME (val) = 0;
86 VALUE_OFFSET (val) = 0;
87 VALUE_BITPOS (val) = 0;
88 VALUE_BITSIZE (val) = 0;
89 VALUE_REPEATED (val) = 0;
90 VALUE_REPETITIONS (val) = 0;
91 VALUE_REGNO (val) = -1;
92 VALUE_LAZY (val) = 0;
93 VALUE_OPTIMIZED_OUT (val) = 0;
94 return val;
95}
96
97/* Allocate a value that has the correct length
98 for COUNT repetitions type TYPE. */
99
100value
101allocate_repeat_value (type, count)
102 struct type *type;
103 int count;
104{
105 register value val;
106
107 val = (value) xmalloc (sizeof (struct value) + TYPE_LENGTH (type) * count);
108 VALUE_NEXT (val) = all_values;
109 all_values = val;
110 VALUE_TYPE (val) = type;
111 VALUE_LVAL (val) = not_lval;
112 VALUE_ADDRESS (val) = 0;
113 VALUE_FRAME (val) = 0;
114 VALUE_OFFSET (val) = 0;
115 VALUE_BITPOS (val) = 0;
116 VALUE_BITSIZE (val) = 0;
117 VALUE_REPEATED (val) = 1;
118 VALUE_REPETITIONS (val) = count;
119 VALUE_REGNO (val) = -1;
120 VALUE_LAZY (val) = 0;
121 VALUE_OPTIMIZED_OUT (val) = 0;
122 return val;
123}
124
fcb887ff
JK
125/* Return a mark in the value chain. All values allocated after the
126 mark is obtained (except for those released) are subject to being freed
127 if a subsequent value_free_to_mark is passed the mark. */
128value
129value_mark ()
130{
131 return all_values;
132}
133
134/* Free all values allocated since MARK was obtained by value_mark
135 (except for those released). */
136void
137value_free_to_mark (mark)
138 value mark;
139{
140 value val, next;
141
142 for (val = all_values; val && val != mark; val = next)
143 {
144 next = VALUE_NEXT (val);
145 value_free (val);
146 }
147 all_values = val;
148}
149
dd3b648e
RP
150/* Free all the values that have been allocated (except for those released).
151 Called after each command, successful or not. */
152
153void
154free_all_values ()
155{
156 register value val, next;
157
158 for (val = all_values; val; val = next)
159 {
160 next = VALUE_NEXT (val);
161 value_free (val);
162 }
163
164 all_values = 0;
165}
166
167/* Remove VAL from the chain all_values
168 so it will not be freed automatically. */
169
170void
171release_value (val)
172 register value val;
173{
174 register value v;
175
176 if (all_values == val)
177 {
178 all_values = val->next;
179 return;
180 }
181
182 for (v = all_values; v; v = v->next)
183 {
184 if (v->next == val)
185 {
186 v->next = val->next;
187 break;
188 }
189 }
190}
191
192/* Return a copy of the value ARG.
193 It contains the same contents, for same memory address,
194 but it's a different block of storage. */
195
8e9a3f3b 196value
dd3b648e
RP
197value_copy (arg)
198 value arg;
199{
200 register value val;
201 register struct type *type = VALUE_TYPE (arg);
202 if (VALUE_REPEATED (arg))
203 val = allocate_repeat_value (type, VALUE_REPETITIONS (arg));
204 else
205 val = allocate_value (type);
206 VALUE_LVAL (val) = VALUE_LVAL (arg);
207 VALUE_ADDRESS (val) = VALUE_ADDRESS (arg);
208 VALUE_OFFSET (val) = VALUE_OFFSET (arg);
209 VALUE_BITPOS (val) = VALUE_BITPOS (arg);
210 VALUE_BITSIZE (val) = VALUE_BITSIZE (arg);
211 VALUE_REGNO (val) = VALUE_REGNO (arg);
212 VALUE_LAZY (val) = VALUE_LAZY (arg);
213 if (!VALUE_LAZY (val))
214 {
51b57ded
FF
215 memcpy (VALUE_CONTENTS_RAW (val), VALUE_CONTENTS_RAW (arg),
216 TYPE_LENGTH (VALUE_TYPE (arg))
217 * (VALUE_REPEATED (arg) ? VALUE_REPETITIONS (arg) : 1));
dd3b648e
RP
218 }
219 return val;
220}
221\f
222/* Access to the value history. */
223
224/* Record a new value in the value history.
225 Returns the absolute history index of the entry.
226 Result of -1 indicates the value was not saved; otherwise it is the
227 value history index of this new item. */
228
229int
230record_latest_value (val)
231 value val;
232{
233 int i;
234
235 /* Check error now if about to store an invalid float. We return -1
236 to the caller, but allow them to continue, e.g. to print it as "Nan". */
4ed3a9ea
FF
237 if (TYPE_CODE (VALUE_TYPE (val)) == TYPE_CODE_FLT)
238 {
239 unpack_double (VALUE_TYPE (val), VALUE_CONTENTS (val), &i);
240 if (i) return -1; /* Indicate value not saved in history */
241 }
dd3b648e
RP
242
243 /* Here we treat value_history_count as origin-zero
244 and applying to the value being stored now. */
245
246 i = value_history_count % VALUE_HISTORY_CHUNK;
247 if (i == 0)
248 {
249 register struct value_history_chunk *new
250 = (struct value_history_chunk *)
251 xmalloc (sizeof (struct value_history_chunk));
4ed3a9ea 252 memset (new->values, 0, sizeof new->values);
dd3b648e
RP
253 new->next = value_history_chain;
254 value_history_chain = new;
255 }
256
257 value_history_chain->values[i] = val;
258 release_value (val);
259
260 /* Now we regard value_history_count as origin-one
261 and applying to the value just stored. */
262
263 return ++value_history_count;
264}
265
266/* Return a copy of the value in the history with sequence number NUM. */
267
268value
269access_value_history (num)
270 int num;
271{
272 register struct value_history_chunk *chunk;
273 register int i;
274 register int absnum = num;
275
276 if (absnum <= 0)
277 absnum += value_history_count;
278
279 if (absnum <= 0)
280 {
281 if (num == 0)
282 error ("The history is empty.");
283 else if (num == 1)
284 error ("There is only one value in the history.");
285 else
286 error ("History does not go back to $$%d.", -num);
287 }
288 if (absnum > value_history_count)
289 error ("History has not yet reached $%d.", absnum);
290
291 absnum--;
292
293 /* Now absnum is always absolute and origin zero. */
294
295 chunk = value_history_chain;
296 for (i = (value_history_count - 1) / VALUE_HISTORY_CHUNK - absnum / VALUE_HISTORY_CHUNK;
297 i > 0; i--)
298 chunk = chunk->next;
299
300 return value_copy (chunk->values[absnum % VALUE_HISTORY_CHUNK]);
301}
302
303/* Clear the value history entirely.
304 Must be done when new symbol tables are loaded,
305 because the type pointers become invalid. */
306
307void
308clear_value_history ()
309{
310 register struct value_history_chunk *next;
311 register int i;
312 register value val;
313
314 while (value_history_chain)
315 {
316 for (i = 0; i < VALUE_HISTORY_CHUNK; i++)
a8a69e63 317 if ((val = value_history_chain->values[i]) != NULL)
be772100 318 free ((PTR)val);
dd3b648e 319 next = value_history_chain->next;
be772100 320 free ((PTR)value_history_chain);
dd3b648e
RP
321 value_history_chain = next;
322 }
323 value_history_count = 0;
324}
325
326static void
f266e564 327show_values (num_exp, from_tty)
dd3b648e
RP
328 char *num_exp;
329 int from_tty;
330{
331 register int i;
332 register value val;
333 static int num = 1;
334
335 if (num_exp)
336 {
337 if (num_exp[0] == '+' && num_exp[1] == '\0')
338 /* "info history +" should print from the stored position. */
339 ;
340 else
341 /* "info history <exp>" should print around value number <exp>. */
342 num = parse_and_eval_address (num_exp) - 5;
343 }
344 else
345 {
346 /* "info history" means print the last 10 values. */
347 num = value_history_count - 9;
348 }
349
350 if (num <= 0)
351 num = 1;
352
353 for (i = num; i < num + 10 && i <= value_history_count; i++)
354 {
355 val = access_value_history (i);
356 printf_filtered ("$%d = ", i);
357 value_print (val, stdout, 0, Val_pretty_default);
358 printf_filtered ("\n");
359 }
360
361 /* The next "info history +" should start after what we just printed. */
362 num += 10;
363
364 /* Hitting just return after this command should do the same thing as
365 "info history +". If num_exp is null, this is unnecessary, since
366 "info history +" is not useful after "info history". */
367 if (from_tty && num_exp)
368 {
369 num_exp[0] = '+';
370 num_exp[1] = '\0';
371 }
372}
373\f
374/* Internal variables. These are variables within the debugger
375 that hold values assigned by debugger commands.
376 The user refers to them with a '$' prefix
377 that does not appear in the variable names stored internally. */
378
379static struct internalvar *internalvars;
380
381/* Look up an internal variable with name NAME. NAME should not
382 normally include a dollar sign.
383
384 If the specified internal variable does not exist,
385 one is created, with a void value. */
386
387struct internalvar *
388lookup_internalvar (name)
389 char *name;
390{
391 register struct internalvar *var;
392
393 for (var = internalvars; var; var = var->next)
2e4964ad 394 if (STREQ (var->name, name))
dd3b648e
RP
395 return var;
396
397 var = (struct internalvar *) xmalloc (sizeof (struct internalvar));
58ae87f6 398 var->name = concat (name, NULL);
dd3b648e
RP
399 var->value = allocate_value (builtin_type_void);
400 release_value (var->value);
401 var->next = internalvars;
402 internalvars = var;
403 return var;
404}
405
406value
407value_of_internalvar (var)
408 struct internalvar *var;
409{
410 register value val;
411
412#ifdef IS_TRAPPED_INTERNALVAR
413 if (IS_TRAPPED_INTERNALVAR (var->name))
414 return VALUE_OF_TRAPPED_INTERNALVAR (var);
415#endif
416
417 val = value_copy (var->value);
418 if (VALUE_LAZY (val))
419 value_fetch_lazy (val);
420 VALUE_LVAL (val) = lval_internalvar;
421 VALUE_INTERNALVAR (val) = var;
422 return val;
423}
424
425void
426set_internalvar_component (var, offset, bitpos, bitsize, newval)
427 struct internalvar *var;
428 int offset, bitpos, bitsize;
429 value newval;
430{
431 register char *addr = VALUE_CONTENTS (var->value) + offset;
432
433#ifdef IS_TRAPPED_INTERNALVAR
434 if (IS_TRAPPED_INTERNALVAR (var->name))
435 SET_TRAPPED_INTERNALVAR (var, newval, bitpos, bitsize, offset);
436#endif
437
438 if (bitsize)
58e49e21 439 modify_field (addr, value_as_long (newval),
dd3b648e
RP
440 bitpos, bitsize);
441 else
4ed3a9ea 442 memcpy (addr, VALUE_CONTENTS (newval), TYPE_LENGTH (VALUE_TYPE (newval)));
dd3b648e
RP
443}
444
445void
446set_internalvar (var, val)
447 struct internalvar *var;
448 value val;
449{
450#ifdef IS_TRAPPED_INTERNALVAR
451 if (IS_TRAPPED_INTERNALVAR (var->name))
452 SET_TRAPPED_INTERNALVAR (var, val, 0, 0, 0);
453#endif
454
be772100 455 free ((PTR)var->value);
dd3b648e 456 var->value = value_copy (val);
6fab5bef
JG
457 /* Force the value to be fetched from the target now, to avoid problems
458 later when this internalvar is referenced and the target is gone or
459 has changed. */
460 if (VALUE_LAZY (var->value))
461 value_fetch_lazy (var->value);
dd3b648e
RP
462 release_value (var->value);
463}
464
465char *
466internalvar_name (var)
467 struct internalvar *var;
468{
469 return var->name;
470}
471
472/* Free all internalvars. Done when new symtabs are loaded,
473 because that makes the values invalid. */
474
475void
476clear_internalvars ()
477{
478 register struct internalvar *var;
479
480 while (internalvars)
481 {
482 var = internalvars;
483 internalvars = var->next;
be772100
JG
484 free ((PTR)var->name);
485 free ((PTR)var->value);
486 free ((PTR)var);
dd3b648e
RP
487 }
488}
489
490static void
ac88ca20
JG
491show_convenience (ignore, from_tty)
492 char *ignore;
493 int from_tty;
dd3b648e
RP
494{
495 register struct internalvar *var;
496 int varseen = 0;
497
498 for (var = internalvars; var; var = var->next)
499 {
500#ifdef IS_TRAPPED_INTERNALVAR
501 if (IS_TRAPPED_INTERNALVAR (var->name))
502 continue;
503#endif
504 if (!varseen)
505 {
dd3b648e
RP
506 varseen = 1;
507 }
afe4ca15 508 printf_filtered ("$%s = ", var->name);
dd3b648e 509 value_print (var->value, stdout, 0, Val_pretty_default);
afe4ca15 510 printf_filtered ("\n");
dd3b648e
RP
511 }
512 if (!varseen)
513 printf ("No debugger convenience variables now defined.\n\
514Convenience variables have names starting with \"$\";\n\
515use \"set\" as in \"set $foo = 5\" to define them.\n");
516}
517\f
518/* Extract a value as a C number (either long or double).
519 Knows how to convert fixed values to double, or
520 floating values to long.
521 Does not deallocate the value. */
522
523LONGEST
524value_as_long (val)
525 register value val;
526{
527 /* This coerces arrays and functions, which is necessary (e.g.
528 in disassemble_command). It also dereferences references, which
529 I suspect is the most logical thing to do. */
530 if (TYPE_CODE (VALUE_TYPE (val)) != TYPE_CODE_ENUM)
531 COERCE_ARRAY (val);
532 return unpack_long (VALUE_TYPE (val), VALUE_CONTENTS (val));
533}
534
535double
536value_as_double (val)
537 register value val;
538{
539 double foo;
540 int inv;
541
542 foo = unpack_double (VALUE_TYPE (val), VALUE_CONTENTS (val), &inv);
543 if (inv)
544 error ("Invalid floating value found in program.");
545 return foo;
546}
e1ce8aa5
JK
547/* Extract a value as a C pointer.
548 Does not deallocate the value. */
549CORE_ADDR
550value_as_pointer (val)
551 value val;
552{
2bff8e38
JK
553 /* Assume a CORE_ADDR can fit in a LONGEST (for now). Not sure
554 whether we want this to be true eventually. */
ae0ea72e 555 return ADDR_BITS_REMOVE(value_as_long (val));
e1ce8aa5 556}
dd3b648e
RP
557\f
558/* Unpack raw data (copied from debugee, target byte order) at VALADDR
559 as a long, or as a double, assuming the raw data is described
560 by type TYPE. Knows how to convert different sizes of values
561 and can convert between fixed and floating point. We don't assume
562 any alignment for the raw data. Return value is in host byte order.
563
564 If you want functions and arrays to be coerced to pointers, and
565 references to be dereferenced, call value_as_long() instead.
566
567 C++: It is assumed that the front-end has taken care of
568 all matters concerning pointers to members. A pointer
569 to member which reaches here is considered to be equivalent
570 to an INT (or some size). After all, it is only an offset. */
571
35505d07
JG
572/* FIXME: This should be rewritten as a switch statement for speed and
573 ease of comprehension. */
574
dd3b648e
RP
575LONGEST
576unpack_long (type, valaddr)
577 struct type *type;
578 char *valaddr;
579{
580 register enum type_code code = TYPE_CODE (type);
581 register int len = TYPE_LENGTH (type);
582 register int nosign = TYPE_UNSIGNED (type);
583
35505d07 584 if (code == TYPE_CODE_ENUM || code == TYPE_CODE_BOOL)
dd3b648e
RP
585 code = TYPE_CODE_INT;
586 if (code == TYPE_CODE_FLT)
587 {
588 if (len == sizeof (float))
589 {
590 float retval;
4ed3a9ea 591 memcpy (&retval, valaddr, sizeof (retval));
dd3b648e
RP
592 SWAP_TARGET_AND_HOST (&retval, sizeof (retval));
593 return retval;
594 }
595
596 if (len == sizeof (double))
597 {
598 double retval;
4ed3a9ea 599 memcpy (&retval, valaddr, sizeof (retval));
dd3b648e
RP
600 SWAP_TARGET_AND_HOST (&retval, sizeof (retval));
601 return retval;
602 }
603 else
604 {
605 error ("Unexpected type of floating point number.");
606 }
607 }
34df79fc 608 else if ((code == TYPE_CODE_INT || code == TYPE_CODE_CHAR) && nosign)
dd3b648e 609 {
34df79fc 610 return extract_unsigned_integer (valaddr, len);
dd3b648e 611 }
34df79fc 612 else if (code == TYPE_CODE_INT || code == TYPE_CODE_CHAR)
dd3b648e 613 {
34df79fc 614 return extract_signed_integer (valaddr, len);
dd3b648e 615 }
2bff8e38
JK
616 /* Assume a CORE_ADDR can fit in a LONGEST (for now). Not sure
617 whether we want this to be true eventually. */
c4413e2c 618 else if (code == TYPE_CODE_PTR || code == TYPE_CODE_REF)
dd3b648e 619 {
34df79fc 620 return extract_address (valaddr, len);
dd3b648e
RP
621 }
622 else if (code == TYPE_CODE_MEMBER)
623 error ("not implemented: member types in unpack_long");
624
625 error ("Value not integer or pointer.");
626 return 0; /* For lint -- never reached */
627}
628
629/* Return a double value from the specified type and address.
630 INVP points to an int which is set to 0 for valid value,
631 1 for invalid value (bad float format). In either case,
632 the returned double is OK to use. Argument is in target
633 format, result is in host format. */
634
635double
636unpack_double (type, valaddr, invp)
637 struct type *type;
638 char *valaddr;
639 int *invp;
640{
641 register enum type_code code = TYPE_CODE (type);
642 register int len = TYPE_LENGTH (type);
643 register int nosign = TYPE_UNSIGNED (type);
644
645 *invp = 0; /* Assume valid. */
646 if (code == TYPE_CODE_FLT)
647 {
648 if (INVALID_FLOAT (valaddr, len))
649 {
650 *invp = 1;
651 return 1.234567891011121314;
652 }
653
654 if (len == sizeof (float))
655 {
656 float retval;
4ed3a9ea 657 memcpy (&retval, valaddr, sizeof (retval));
dd3b648e
RP
658 SWAP_TARGET_AND_HOST (&retval, sizeof (retval));
659 return retval;
660 }
661
662 if (len == sizeof (double))
663 {
664 double retval;
4ed3a9ea 665 memcpy (&retval, valaddr, sizeof (retval));
dd3b648e
RP
666 SWAP_TARGET_AND_HOST (&retval, sizeof (retval));
667 return retval;
668 }
669 else
670 {
671 error ("Unexpected type of floating point number.");
e1ce8aa5 672 return 0; /* Placate lint. */
dd3b648e
RP
673 }
674 }
675 else if (nosign) {
676 /* Unsigned -- be sure we compensate for signed LONGEST. */
7efb57c3 677 return (unsigned LONGEST) unpack_long (type, valaddr);
dd3b648e
RP
678 } else {
679 /* Signed -- we are OK with unpack_long. */
680 return unpack_long (type, valaddr);
681 }
682}
e1ce8aa5
JK
683
684/* Unpack raw data (copied from debugee, target byte order) at VALADDR
685 as a CORE_ADDR, assuming the raw data is described by type TYPE.
686 We don't assume any alignment for the raw data. Return value is in
687 host byte order.
688
689 If you want functions and arrays to be coerced to pointers, and
690 references to be dereferenced, call value_as_pointer() instead.
691
692 C++: It is assumed that the front-end has taken care of
693 all matters concerning pointers to members. A pointer
694 to member which reaches here is considered to be equivalent
695 to an INT (or some size). After all, it is only an offset. */
696
697CORE_ADDR
698unpack_pointer (type, valaddr)
699 struct type *type;
700 char *valaddr;
701{
2bff8e38
JK
702 /* Assume a CORE_ADDR can fit in a LONGEST (for now). Not sure
703 whether we want this to be true eventually. */
704 return unpack_long (type, valaddr);
e1ce8aa5 705}
dd3b648e
RP
706\f
707/* Given a value ARG1 (offset by OFFSET bytes)
708 of a struct or union type ARG_TYPE,
709 extract and return the value of one of its fields.
710 FIELDNO says which field.
711
712 For C++, must also be able to return values from static fields */
713
714value
715value_primitive_field (arg1, offset, fieldno, arg_type)
716 register value arg1;
717 int offset;
718 register int fieldno;
719 register struct type *arg_type;
720{
721 register value v;
722 register struct type *type;
723
724 check_stub_type (arg_type);
725 type = TYPE_FIELD_TYPE (arg_type, fieldno);
726
727 /* Handle packed fields */
728
729 offset += TYPE_FIELD_BITPOS (arg_type, fieldno) / 8;
730 if (TYPE_FIELD_BITSIZE (arg_type, fieldno))
731 {
96b2f51c 732 v = value_from_longest (type,
dd3b648e
RP
733 unpack_field_as_long (arg_type,
734 VALUE_CONTENTS (arg1),
735 fieldno));
736 VALUE_BITPOS (v) = TYPE_FIELD_BITPOS (arg_type, fieldno) % 8;
737 VALUE_BITSIZE (v) = TYPE_FIELD_BITSIZE (arg_type, fieldno);
738 }
739 else
740 {
741 v = allocate_value (type);
742 if (VALUE_LAZY (arg1))
743 VALUE_LAZY (v) = 1;
744 else
4ed3a9ea
FF
745 memcpy (VALUE_CONTENTS_RAW (v), VALUE_CONTENTS_RAW (arg1) + offset,
746 TYPE_LENGTH (type));
dd3b648e
RP
747 }
748 VALUE_LVAL (v) = VALUE_LVAL (arg1);
749 if (VALUE_LVAL (arg1) == lval_internalvar)
750 VALUE_LVAL (v) = lval_internalvar_component;
751 VALUE_ADDRESS (v) = VALUE_ADDRESS (arg1);
752 VALUE_OFFSET (v) = offset + VALUE_OFFSET (arg1);
753 return v;
754}
755
756/* Given a value ARG1 of a struct or union type,
757 extract and return the value of one of its fields.
758 FIELDNO says which field.
759
760 For C++, must also be able to return values from static fields */
761
762value
763value_field (arg1, fieldno)
764 register value arg1;
765 register int fieldno;
766{
767 return value_primitive_field (arg1, 0, fieldno, VALUE_TYPE (arg1));
768}
769
545af6ce
PB
770/* Return a non-virtual function as a value.
771 F is the list of member functions which contains the desired method.
772 J is an index into F which provides the desired method. */
773
dd3b648e 774value
94603999
JG
775value_fn_field (arg1p, f, j, type, offset)
776 value *arg1p;
545af6ce
PB
777 struct fn_field *f;
778 int j;
94603999
JG
779 struct type *type;
780 int offset;
dd3b648e
RP
781{
782 register value v;
94603999 783 register struct type *ftype = TYPE_FN_FIELD_TYPE (f, j);
dd3b648e
RP
784 struct symbol *sym;
785
545af6ce 786 sym = lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, j),
dd3b648e
RP
787 0, VAR_NAMESPACE, 0, NULL);
788 if (! sym) error ("Internal error: could not find physical method named %s",
545af6ce 789 TYPE_FN_FIELD_PHYSNAME (f, j));
dd3b648e 790
94603999 791 v = allocate_value (ftype);
dd3b648e 792 VALUE_ADDRESS (v) = BLOCK_START (SYMBOL_BLOCK_VALUE (sym));
94603999
JG
793 VALUE_TYPE (v) = ftype;
794
795 if (arg1p)
796 {
797 if (type != VALUE_TYPE (*arg1p))
798 *arg1p = value_ind (value_cast (lookup_pointer_type (type),
799 value_addr (*arg1p)));
800
801 /* Move the `this' pointer according to the offset. */
802 VALUE_OFFSET (*arg1p) += offset;
803 }
804
dd3b648e
RP
805 return v;
806}
807
808/* Return a virtual function as a value.
809 ARG1 is the object which provides the virtual function
94603999 810 table pointer. *ARG1P is side-effected in calling this function.
dd3b648e
RP
811 F is the list of member functions which contains the desired virtual
812 function.
e532974c
JK
813 J is an index into F which provides the desired virtual function.
814
815 TYPE is the type in which F is located. */
dd3b648e 816value
94603999
JG
817value_virtual_fn_field (arg1p, f, j, type, offset)
818 value *arg1p;
dd3b648e
RP
819 struct fn_field *f;
820 int j;
e532974c 821 struct type *type;
94603999 822 int offset;
dd3b648e 823{
94603999 824 value arg1 = *arg1p;
dd3b648e
RP
825 /* First, get the virtual function table pointer. That comes
826 with a strange type, so cast it to type `pointer to long' (which
827 should serve just fine as a function type). Then, index into
828 the table, and convert final value to appropriate function type. */
829 value entry, vfn, vtbl;
96b2f51c 830 value vi = value_from_longest (builtin_type_int,
dd3b648e 831 (LONGEST) TYPE_FN_FIELD_VOFFSET (f, j));
e532974c
JK
832 struct type *fcontext = TYPE_FN_FIELD_FCONTEXT (f, j);
833 struct type *context;
834 if (fcontext == NULL)
835 /* We don't have an fcontext (e.g. the program was compiled with
836 g++ version 1). Try to get the vtbl from the TYPE_VPTR_BASETYPE.
837 This won't work right for multiple inheritance, but at least we
838 should do as well as GDB 3.x did. */
839 fcontext = TYPE_VPTR_BASETYPE (type);
840 context = lookup_pointer_type (fcontext);
841 /* Now context is a pointer to the basetype containing the vtbl. */
dd3b648e
RP
842 if (TYPE_TARGET_TYPE (context) != VALUE_TYPE (arg1))
843 arg1 = value_ind (value_cast (context, value_addr (arg1)));
844
845 context = VALUE_TYPE (arg1);
e532974c 846 /* Now context is the basetype containing the vtbl. */
dd3b648e
RP
847
848 /* This type may have been defined before its virtual function table
849 was. If so, fill in the virtual function table entry for the
850 type now. */
851 if (TYPE_VPTR_FIELDNO (context) < 0)
71b16efa 852 fill_in_vptr_fieldno (context);
dd3b648e
RP
853
854 /* The virtual function table is now an array of structures
855 which have the form { int16 offset, delta; void *pfn; }. */
94603999
JG
856 vtbl = value_ind (value_primitive_field (arg1, 0,
857 TYPE_VPTR_FIELDNO (context),
858 TYPE_VPTR_BASETYPE (context)));
dd3b648e
RP
859
860 /* Index into the virtual function table. This is hard-coded because
861 looking up a field is not cheap, and it may be important to save
862 time, e.g. if the user has set a conditional breakpoint calling
863 a virtual function. */
864 entry = value_subscript (vtbl, vi);
865
866 /* Move the `this' pointer according to the virtual function table. */
94603999 867 VALUE_OFFSET (arg1) += value_as_long (value_field (entry, 0)) + offset;
dd3b648e
RP
868 if (! VALUE_LAZY (arg1))
869 {
870 VALUE_LAZY (arg1) = 1;
871 value_fetch_lazy (arg1);
872 }
873
874 vfn = value_field (entry, 2);
875 /* Reinstantiate the function pointer with the correct type. */
876 VALUE_TYPE (vfn) = lookup_pointer_type (TYPE_FN_FIELD_TYPE (f, j));
877
94603999 878 *arg1p = arg1;
dd3b648e
RP
879 return vfn;
880}
881
71b16efa
JK
882/* ARG is a pointer to an object we know to be at least
883 a DTYPE. BTYPE is the most derived basetype that has
884 already been searched (and need not be searched again).
885 After looking at the vtables between BTYPE and DTYPE,
886 return the most derived type we find. The caller must
887 be satisfied when the return value == DTYPE.
888
889 FIXME-tiemann: should work with dossier entries as well. */
890
891static value
7cb0f870
MT
892value_headof (in_arg, btype, dtype)
893 value in_arg;
71b16efa
JK
894 struct type *btype, *dtype;
895{
896 /* First collect the vtables we must look at for this object. */
897 /* FIXME-tiemann: right now, just look at top-most vtable. */
7cb0f870 898 value arg, vtbl, entry, best_entry = 0;
71b16efa
JK
899 int i, nelems;
900 int offset, best_offset = 0;
901 struct symbol *sym;
902 CORE_ADDR pc_for_sym;
903 char *demangled_name;
1ab3bf1b
JG
904 struct minimal_symbol *msymbol;
905
aec4cb91
MT
906 btype = TYPE_VPTR_BASETYPE (dtype);
907 check_stub_type (btype);
7cb0f870 908 arg = in_arg;
aec4cb91 909 if (btype != dtype)
7cb0f870
MT
910 arg = value_cast (lookup_pointer_type (btype), arg);
911 vtbl = value_ind (value_field (value_ind (arg), TYPE_VPTR_FIELDNO (btype)));
71b16efa
JK
912
913 /* Check that VTBL looks like it points to a virtual function table. */
1ab3bf1b
JG
914 msymbol = lookup_minimal_symbol_by_pc (VALUE_ADDRESS (vtbl));
915 if (msymbol == NULL
2e4964ad 916 || !VTBL_PREFIX_P (demangled_name = SYMBOL_NAME (msymbol)))
71b16efa
JK
917 {
918 /* If we expected to find a vtable, but did not, let the user
919 know that we aren't happy, but don't throw an error.
920 FIXME: there has to be a better way to do this. */
921 struct type *error_type = (struct type *)xmalloc (sizeof (struct type));
7cb0f870 922 memcpy (error_type, VALUE_TYPE (in_arg), sizeof (struct type));
71b16efa 923 TYPE_NAME (error_type) = savestring ("suspicious *", sizeof ("suspicious *"));
7cb0f870
MT
924 VALUE_TYPE (in_arg) = error_type;
925 return in_arg;
71b16efa
JK
926 }
927
928 /* Now search through the virtual function table. */
929 entry = value_ind (vtbl);
e1ce8aa5 930 nelems = longest_to_int (value_as_long (value_field (entry, 2)));
71b16efa
JK
931 for (i = 1; i <= nelems; i++)
932 {
96b2f51c
JG
933 entry = value_subscript (vtbl, value_from_longest (builtin_type_int,
934 (LONGEST) i));
e1ce8aa5 935 offset = longest_to_int (value_as_long (value_field (entry, 0)));
bcccec8c
PB
936 /* If we use '<=' we can handle single inheritance
937 * where all offsets are zero - just use the first entry found. */
938 if (offset <= best_offset)
71b16efa
JK
939 {
940 best_offset = offset;
941 best_entry = entry;
942 }
943 }
71b16efa
JK
944 /* Move the pointer according to BEST_ENTRY's offset, and figure
945 out what type we should return as the new pointer. */
bcccec8c
PB
946 if (best_entry == 0)
947 {
948 /* An alternative method (which should no longer be necessary).
949 * But we leave it in for future use, when we will hopefully
950 * have optimizes the vtable to use thunks instead of offsets. */
951 /* Use the name of vtable itself to extract a base type. */
952 demangled_name += 4; /* Skip _vt$ prefix. */
953 }
954 else
955 {
956 pc_for_sym = value_as_pointer (value_field (best_entry, 2));
957 sym = find_pc_function (pc_for_sym);
8050a57b 958 demangled_name = cplus_demangle (SYMBOL_NAME (sym), DMGL_ANSI);
bcccec8c
PB
959 *(strchr (demangled_name, ':')) = '\0';
960 }
71b16efa 961 sym = lookup_symbol (demangled_name, 0, VAR_NAMESPACE, 0, 0);
2e4964ad
FF
962 if (sym == NULL)
963 error ("could not find type declaration for `%s'", demangled_name);
bcccec8c
PB
964 if (best_entry)
965 {
966 free (demangled_name);
967 arg = value_add (value_cast (builtin_type_int, arg),
968 value_field (best_entry, 0));
969 }
7cb0f870 970 else arg = in_arg;
71b16efa
JK
971 VALUE_TYPE (arg) = lookup_pointer_type (SYMBOL_TYPE (sym));
972 return arg;
973}
974
975/* ARG is a pointer object of type TYPE. If TYPE has virtual
976 function tables, probe ARG's tables (including the vtables
977 of its baseclasses) to figure out the most derived type that ARG
978 could actually be a pointer to. */
979
980value
981value_from_vtable_info (arg, type)
982 value arg;
983 struct type *type;
984{
985 /* Take care of preliminaries. */
986 if (TYPE_VPTR_FIELDNO (type) < 0)
987 fill_in_vptr_fieldno (type);
988 if (TYPE_VPTR_FIELDNO (type) < 0 || VALUE_REPEATED (arg))
989 return 0;
990
991 return value_headof (arg, 0, type);
992}
993
1410f5f1
JK
994/* Return true if the INDEXth field of TYPE is a virtual baseclass
995 pointer which is for the base class whose type is BASECLASS. */
996
997static int
998vb_match (type, index, basetype)
999 struct type *type;
1000 int index;
1001 struct type *basetype;
1002{
1003 struct type *fieldtype;
1004 struct type *fieldtype_target_type;
1005 char *name = TYPE_FIELD_NAME (type, index);
1006 char *field_class_name = NULL;
1007
1008 if (*name != '_')
1009 return 0;
1010 /* gcc 2.4 uses _vb$. */
1011 if (name[1] == 'v' && name[2] == 'b' && name[3] == CPLUS_MARKER)
1012 field_class_name = name + 4;
1013 /* gcc 2.5 will use __vb_. */
1014 if (name[1] == '_' && name[2] == 'v' && name[3] == 'b' && name[4] == '_')
1015 field_class_name = name + 5;
1016
1017 if (field_class_name == NULL)
1018 /* This field is not a virtual base class pointer. */
1019 return 0;
1020
1021 /* It's a virtual baseclass pointer, now we just need to find out whether
1022 it is for this baseclass. */
1023 fieldtype = TYPE_FIELD_TYPE (type, index);
1024 if (fieldtype == NULL
1025 || TYPE_CODE (fieldtype) != TYPE_CODE_PTR)
1026 /* "Can't happen". */
1027 return 0;
1028
1029 /* What we check for is that either the types are equal (needed for
1030 nameless types) or have the same name. This is ugly, and a more
1031 elegant solution should be devised (which would probably just push
1032 the ugliness into symbol reading unless we change the stabs format). */
1033 if (TYPE_TARGET_TYPE (fieldtype) == basetype)
1034 return 1;
1035
1036 if (TYPE_NAME (basetype) != NULL
1037 && TYPE_NAME (TYPE_TARGET_TYPE (fieldtype)) != NULL
1038 && STREQ (TYPE_NAME (basetype),
1039 TYPE_NAME (TYPE_TARGET_TYPE (fieldtype))))
1040 return 1;
1041 return 0;
1042}
1043
94603999
JG
1044/* Compute the offset of the baseclass which is
1045 the INDEXth baseclass of class TYPE, for a value ARG,
1046 wih extra offset of OFFSET.
1047 The result is the offste of the baseclass value relative
1048 to (the address of)(ARG) + OFFSET.
1049
1050 -1 is returned on error. */
1051
1052int
1053baseclass_offset (type, index, arg, offset)
1054 struct type *type;
1055 int index;
1056 value arg;
1057 int offset;
1058{
1059 struct type *basetype = TYPE_BASECLASS (type, index);
1060
1061 if (BASETYPE_VIA_VIRTUAL (type, index))
1062 {
1063 /* Must hunt for the pointer to this virtual baseclass. */
1064 register int i, len = TYPE_NFIELDS (type);
1065 register int n_baseclasses = TYPE_N_BASECLASSES (type);
94603999 1066
94603999
JG
1067 /* First look for the virtual baseclass pointer
1068 in the fields. */
1069 for (i = n_baseclasses; i < len; i++)
1070 {
1410f5f1 1071 if (vb_match (type, i, basetype))
94603999
JG
1072 {
1073 CORE_ADDR addr
1074 = unpack_pointer (TYPE_FIELD_TYPE (type, i),
1075 VALUE_CONTENTS (arg) + VALUE_OFFSET (arg)
1076 + offset
1077 + (TYPE_FIELD_BITPOS (type, i) / 8));
1078
1079 if (VALUE_LVAL (arg) != lval_memory)
1080 return -1;
1081
1082 return addr -
1083 (LONGEST) (VALUE_ADDRESS (arg) + VALUE_OFFSET (arg) + offset);
1084 }
1085 }
1086 /* Not in the fields, so try looking through the baseclasses. */
1087 for (i = index+1; i < n_baseclasses; i++)
1088 {
1089 int boffset =
1090 baseclass_offset (type, i, arg, offset);
1091 if (boffset)
1092 return boffset;
1093 }
1094 /* Not found. */
1095 return -1;
1096 }
1097
1098 /* Baseclass is easily computed. */
1099 return TYPE_BASECLASS_BITPOS (type, index) / 8;
1100}
1101
dd3b648e 1102/* Compute the address of the baseclass which is
f1d77e90 1103 the INDEXth baseclass of class TYPE. The TYPE base
71b16efa
JK
1104 of the object is at VALADDR.
1105
1106 If ERRP is non-NULL, set *ERRP to be the errno code of any error,
1107 or 0 if no error. In that case the return value is not the address
1108 of the baseclasss, but the address which could not be read
1109 successfully. */
dd3b648e 1110
94603999
JG
1111/* FIXME Fix remaining uses of baseclass_addr to use baseclass_offset */
1112
dd3b648e 1113char *
71b16efa 1114baseclass_addr (type, index, valaddr, valuep, errp)
dd3b648e
RP
1115 struct type *type;
1116 int index;
1117 char *valaddr;
1118 value *valuep;
71b16efa 1119 int *errp;
dd3b648e
RP
1120{
1121 struct type *basetype = TYPE_BASECLASS (type, index);
1122
71b16efa
JK
1123 if (errp)
1124 *errp = 0;
aec4cb91 1125
dd3b648e
RP
1126 if (BASETYPE_VIA_VIRTUAL (type, index))
1127 {
1128 /* Must hunt for the pointer to this virtual baseclass. */
1129 register int i, len = TYPE_NFIELDS (type);
1130 register int n_baseclasses = TYPE_N_BASECLASSES (type);
dd3b648e 1131
dd3b648e
RP
1132 /* First look for the virtual baseclass pointer
1133 in the fields. */
1134 for (i = n_baseclasses; i < len; i++)
1135 {
1410f5f1 1136 if (vb_match (type, i, basetype))
dd3b648e 1137 {
71b16efa
JK
1138 value val = allocate_value (basetype);
1139 CORE_ADDR addr;
1140 int status;
1141
e1ce8aa5
JK
1142 addr
1143 = unpack_pointer (TYPE_FIELD_TYPE (type, i),
71b16efa
JK
1144 valaddr + (TYPE_FIELD_BITPOS (type, i) / 8));
1145
1146 status = target_read_memory (addr,
1147 VALUE_CONTENTS_RAW (val),
4f6f12f9 1148 TYPE_LENGTH (basetype));
71b16efa
JK
1149 VALUE_LVAL (val) = lval_memory;
1150 VALUE_ADDRESS (val) = addr;
1151
1152 if (status != 0)
1153 {
1154 if (valuep)
1155 *valuep = NULL;
1156 release_value (val);
1157 value_free (val);
1158 if (errp)
1159 *errp = status;
1160 return (char *)addr;
1161 }
1162 else
1163 {
1164 if (valuep)
1165 *valuep = val;
1166 return (char *) VALUE_CONTENTS (val);
1167 }
dd3b648e
RP
1168 }
1169 }
1170 /* Not in the fields, so try looking through the baseclasses. */
1171 for (i = index+1; i < n_baseclasses; i++)
1172 {
1173 char *baddr;
1174
e1ce8aa5 1175 baddr = baseclass_addr (type, i, valaddr, valuep, errp);
dd3b648e
RP
1176 if (baddr)
1177 return baddr;
1178 }
1179 /* Not found. */
1180 if (valuep)
1181 *valuep = 0;
1182 return 0;
1183 }
1184
1185 /* Baseclass is easily computed. */
1186 if (valuep)
1187 *valuep = 0;
1188 return valaddr + TYPE_BASECLASS_BITPOS (type, index) / 8;
1189}
dd3b648e 1190\f
4db8e515
FF
1191/* Unpack a field FIELDNO of the specified TYPE, from the anonymous object at
1192 VALADDR.
1193
1194 Extracting bits depends on endianness of the machine. Compute the
1195 number of least significant bits to discard. For big endian machines,
1196 we compute the total number of bits in the anonymous object, subtract
1197 off the bit count from the MSB of the object to the MSB of the
1198 bitfield, then the size of the bitfield, which leaves the LSB discard
1199 count. For little endian machines, the discard count is simply the
1200 number of bits from the LSB of the anonymous object to the LSB of the
1201 bitfield.
1202
1203 If the field is signed, we also do sign extension. */
1204
1205LONGEST
dd3b648e
RP
1206unpack_field_as_long (type, valaddr, fieldno)
1207 struct type *type;
1208 char *valaddr;
1209 int fieldno;
1210{
4db8e515
FF
1211 unsigned LONGEST val;
1212 unsigned LONGEST valmask;
dd3b648e
RP
1213 int bitpos = TYPE_FIELD_BITPOS (type, fieldno);
1214 int bitsize = TYPE_FIELD_BITSIZE (type, fieldno);
4db8e515 1215 int lsbcount;
dd3b648e 1216
34df79fc 1217 val = extract_unsigned_integer (valaddr + bitpos / 8, sizeof (val));
4db8e515
FF
1218
1219 /* Extract bits. See comment above. */
dd3b648e 1220
122ad9ab 1221#if BITS_BIG_ENDIAN
4db8e515 1222 lsbcount = (sizeof val * 8 - bitpos % 8 - bitsize);
dd3b648e 1223#else
4db8e515 1224 lsbcount = (bitpos % 8);
dd3b648e 1225#endif
4db8e515 1226 val >>= lsbcount;
dd3b648e 1227
4db8e515
FF
1228 /* If the field does not entirely fill a LONGEST, then zero the sign bits.
1229 If the field is signed, and is negative, then sign extend. */
1230
1231 if ((bitsize > 0) && (bitsize < 8 * sizeof (val)))
1232 {
1233 valmask = (((unsigned LONGEST) 1) << bitsize) - 1;
1234 val &= valmask;
1235 if (!TYPE_UNSIGNED (TYPE_FIELD_TYPE (type, fieldno)))
1236 {
1237 if (val & (valmask ^ (valmask >> 1)))
1238 {
1239 val |= ~valmask;
1240 }
1241 }
1242 }
1243 return (val);
dd3b648e
RP
1244}
1245
3f2e006b
JG
1246/* Modify the value of a bitfield. ADDR points to a block of memory in
1247 target byte order; the bitfield starts in the byte pointed to. FIELDVAL
1248 is the desired value of the field, in host byte order. BITPOS and BITSIZE
1249 indicate which bits (in target bit order) comprise the bitfield. */
1250
dd3b648e
RP
1251void
1252modify_field (addr, fieldval, bitpos, bitsize)
1253 char *addr;
58e49e21 1254 LONGEST fieldval;
dd3b648e
RP
1255 int bitpos, bitsize;
1256{
58e49e21 1257 LONGEST oword;
dd3b648e 1258
c3a21801
JG
1259 /* Reject values too big to fit in the field in question,
1260 otherwise adjoining fields may be corrupted. */
61a7292f
SG
1261 if (bitsize < (8 * sizeof (fieldval))
1262 && 0 != (fieldval & ~((1<<bitsize)-1)))
58e49e21
JK
1263 {
1264 /* FIXME: would like to include fieldval in the message, but
1265 we don't have a sprintf_longest. */
1266 error ("Value does not fit in %d bits.", bitsize);
1267 }
34df79fc
JK
1268
1269 oword = extract_signed_integer (addr, sizeof oword);
dd3b648e 1270
3f2e006b 1271 /* Shifting for bit field depends on endianness of the target machine. */
122ad9ab 1272#if BITS_BIG_ENDIAN
dd3b648e
RP
1273 bitpos = sizeof (oword) * 8 - bitpos - bitsize;
1274#endif
1275
58e49e21 1276 /* Mask out old value, while avoiding shifts >= size of oword */
c3a21801 1277 if (bitsize < 8 * sizeof (oword))
58e49e21 1278 oword &= ~(((((unsigned LONGEST)1) << bitsize) - 1) << bitpos);
c3a21801 1279 else
58e49e21 1280 oword &= ~((~(unsigned LONGEST)0) << bitpos);
dd3b648e 1281 oword |= fieldval << bitpos;
3f2e006b 1282
34df79fc 1283 store_signed_integer (addr, sizeof oword, oword);
dd3b648e
RP
1284}
1285\f
1286/* Convert C numbers into newly allocated values */
1287
1288value
96b2f51c 1289value_from_longest (type, num)
dd3b648e
RP
1290 struct type *type;
1291 register LONGEST num;
1292{
1293 register value val = allocate_value (type);
1294 register enum type_code code = TYPE_CODE (type);
1295 register int len = TYPE_LENGTH (type);
1296
34df79fc 1297 switch (code)
dd3b648e 1298 {
34df79fc
JK
1299 case TYPE_CODE_INT:
1300 case TYPE_CODE_CHAR:
1301 case TYPE_CODE_ENUM:
1302 case TYPE_CODE_BOOL:
1303 store_signed_integer (VALUE_CONTENTS_RAW (val), len, num);
1304 break;
1305
1306 case TYPE_CODE_REF:
1307 case TYPE_CODE_PTR:
1308 /* This assumes that all pointers of a given length
1309 have the same form. */
1310 store_address (VALUE_CONTENTS_RAW (val), len, (CORE_ADDR) num);
1311 break;
1312
1313 default:
1314 error ("Unexpected type encountered for integer constant.");
dd3b648e 1315 }
dd3b648e
RP
1316 return val;
1317}
1318
1319value
1320value_from_double (type, num)
1321 struct type *type;
1322 double num;
1323{
1324 register value val = allocate_value (type);
1325 register enum type_code code = TYPE_CODE (type);
1326 register int len = TYPE_LENGTH (type);
1327
1328 if (code == TYPE_CODE_FLT)
1329 {
1330 if (len == sizeof (float))
1331 * (float *) VALUE_CONTENTS_RAW (val) = num;
1332 else if (len == sizeof (double))
1333 * (double *) VALUE_CONTENTS_RAW (val) = num;
1334 else
1335 error ("Floating type encountered with unexpected data length.");
1336 }
1337 else
1338 error ("Unexpected type encountered for floating constant.");
1339
1340 /* num was in host byte order. So now put the value's contents
1341 into target byte order. */
1342 SWAP_TARGET_AND_HOST (VALUE_CONTENTS_RAW (val), len);
1343
1344 return val;
1345}
1346\f
1347/* Deal with the value that is "about to be returned". */
1348
1349/* Return the value that a function returning now
1350 would be returning to its caller, assuming its type is VALTYPE.
1351 RETBUF is where we look for what ought to be the contents
1352 of the registers (in raw form). This is because it is often
1353 desirable to restore old values to those registers
1354 after saving the contents of interest, and then call
1355 this function using the saved values.
1356 struct_return is non-zero when the function in question is
1357 using the structure return conventions on the machine in question;
1358 0 when it is using the value returning conventions (this often
1359 means returning pointer to where structure is vs. returning value). */
1360
1361value
1362value_being_returned (valtype, retbuf, struct_return)
1363 register struct type *valtype;
1364 char retbuf[REGISTER_BYTES];
1365 int struct_return;
1366 /*ARGSUSED*/
1367{
1368 register value val;
1369 CORE_ADDR addr;
1370
1371#if defined (EXTRACT_STRUCT_VALUE_ADDRESS)
1372 /* If this is not defined, just use EXTRACT_RETURN_VALUE instead. */
1373 if (struct_return) {
1374 addr = EXTRACT_STRUCT_VALUE_ADDRESS (retbuf);
1375 if (!addr)
1376 error ("Function return value unknown");
1377 return value_at (valtype, addr);
1378 }
1379#endif
1380
1381 val = allocate_value (valtype);
1382 EXTRACT_RETURN_VALUE (valtype, retbuf, VALUE_CONTENTS_RAW (val));
1383
1384 return val;
1385}
1386
1387/* Should we use EXTRACT_STRUCT_VALUE_ADDRESS instead of
1388 EXTRACT_RETURN_VALUE? GCC_P is true if compiled with gcc
1389 and TYPE is the type (which is known to be struct, union or array).
1390
1391 On most machines, the struct convention is used unless we are
1392 using gcc and the type is of a special size. */
9925b928
JK
1393/* As of about 31 Mar 93, GCC was changed to be compatible with the
1394 native compiler. GCC 2.3.3 was the last release that did it the
1395 old way. Since gcc2_compiled was not changed, we have no
1396 way to correctly win in all cases, so we just do the right thing
1397 for gcc1 and for gcc2 after this change. Thus it loses for gcc
1398 2.0-2.3.3. This is somewhat unfortunate, but changing gcc2_compiled
1399 would cause more chaos than dealing with some struct returns being
1400 handled wrong. */
dd3b648e
RP
1401#if !defined (USE_STRUCT_CONVENTION)
1402#define USE_STRUCT_CONVENTION(gcc_p, type)\
9925b928
JK
1403 (!((gcc_p == 1) && (TYPE_LENGTH (value_type) == 1 \
1404 || TYPE_LENGTH (value_type) == 2 \
1405 || TYPE_LENGTH (value_type) == 4 \
1406 || TYPE_LENGTH (value_type) == 8 \
1407 ) \
dd3b648e
RP
1408 ))
1409#endif
1410
1411/* Return true if the function specified is using the structure returning
1412 convention on this machine to return arguments, or 0 if it is using
1413 the value returning convention. FUNCTION is the value representing
1414 the function, FUNCADDR is the address of the function, and VALUE_TYPE
1415 is the type returned by the function. GCC_P is nonzero if compiled
1416 with GCC. */
1417
1418int
1419using_struct_return (function, funcaddr, value_type, gcc_p)
1420 value function;
1421 CORE_ADDR funcaddr;
1422 struct type *value_type;
1423 int gcc_p;
1424 /*ARGSUSED*/
1425{
1426 register enum type_code code = TYPE_CODE (value_type);
1427
1428 if (code == TYPE_CODE_ERROR)
1429 error ("Function return type unknown.");
1430
1431 if (code == TYPE_CODE_STRUCT ||
1432 code == TYPE_CODE_UNION ||
1433 code == TYPE_CODE_ARRAY)
1434 return USE_STRUCT_CONVENTION (gcc_p, value_type);
1435
1436 return 0;
1437}
1438
1439/* Store VAL so it will be returned if a function returns now.
1440 Does not verify that VAL's type matches what the current
1441 function wants to return. */
1442
1443void
1444set_return_value (val)
1445 value val;
1446{
1447 register enum type_code code = TYPE_CODE (VALUE_TYPE (val));
1448 double dbuf;
1449 LONGEST lbuf;
1450
1451 if (code == TYPE_CODE_ERROR)
1452 error ("Function return type unknown.");
1453
f1d77e90
JG
1454 if ( code == TYPE_CODE_STRUCT
1455 || code == TYPE_CODE_UNION) /* FIXME, implement struct return. */
1456 error ("GDB does not support specifying a struct or union return value.");
dd3b648e
RP
1457
1458 /* FIXME, this is bogus. We don't know what the return conventions
1459 are, or how values should be promoted.... */
1460 if (code == TYPE_CODE_FLT)
1461 {
1462 dbuf = value_as_double (val);
1463
1464 STORE_RETURN_VALUE (VALUE_TYPE (val), (char *)&dbuf);
1465 }
1466 else
1467 {
1468 lbuf = value_as_long (val);
1469 STORE_RETURN_VALUE (VALUE_TYPE (val), (char *)&lbuf);
1470 }
1471}
1472\f
1473void
1474_initialize_values ()
1475{
f266e564 1476 add_cmd ("convenience", no_class, show_convenience,
dd3b648e
RP
1477 "Debugger convenience (\"$foo\") variables.\n\
1478These variables are created when you assign them values;\n\
1479thus, \"print $foo=1\" gives \"$foo\" the value 1. Values may be any type.\n\n\
1480A few convenience variables are given values automatically:\n\
1481\"$_\"holds the last address examined with \"x\" or \"info lines\",\n\
f266e564
JK
1482\"$__\" holds the contents of the last address examined with \"x\".",
1483 &showlist);
dd3b648e 1484
f266e564
JK
1485 add_cmd ("values", no_class, show_values,
1486 "Elements of value history around item number IDX (or last ten).",
1487 &showlist);
dd3b648e 1488}
This page took 0.266981 seconds and 4 git commands to generate.