* valops.c (value_cast, value_slice), parse.c (follow_types): Add
[deliverable/binutils-gdb.git] / gdb / valops.c
CommitLineData
bd5635a1 1/* Perform non-arithmetic operations on values, for GDB.
67e9b3b3
PS
2 Copyright 1986, 1987, 1989, 1991, 1992, 1993, 1994
3 Free Software Foundation, Inc.
bd5635a1
RP
4
5This file is part of GDB.
6
06b6c733 7This program is free software; you can redistribute it and/or modify
bd5635a1 8it under the terms of the GNU General Public License as published by
06b6c733
JG
9the Free Software Foundation; either version 2 of the License, or
10(at your option) any later version.
bd5635a1 11
06b6c733 12This program is distributed in the hope that it will be useful,
bd5635a1
RP
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
06b6c733
JG
18along with this program; if not, write to the Free Software
19Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
bd5635a1 20
bd5635a1 21#include "defs.h"
bd5635a1 22#include "symtab.h"
01be6913 23#include "gdbtypes.h"
bd5635a1
RP
24#include "value.h"
25#include "frame.h"
26#include "inferior.h"
27#include "gdbcore.h"
28#include "target.h"
2e4964ad 29#include "demangle.h"
54023465 30#include "language.h"
bd5635a1
RP
31
32#include <errno.h>
6d34c236 33#include <string.h>
bd5635a1
RP
34
35/* Local functions. */
01be6913 36
a91a6192 37static int typecmp PARAMS ((int staticp, struct type *t1[], value_ptr t2[]));
01be6913 38
a91a6192 39static CORE_ADDR find_function_addr PARAMS ((value_ptr, struct type **));
01be6913 40
a91a6192 41static CORE_ADDR value_push PARAMS ((CORE_ADDR, value_ptr));
01be6913 42
a91a6192
SS
43static value_ptr search_struct_field PARAMS ((char *, value_ptr, int,
44 struct type *, int));
01be6913 45
a91a6192
SS
46static value_ptr search_struct_method PARAMS ((char *, value_ptr *,
47 value_ptr *,
48 int, int *, struct type *));
01be6913 49
a91a6192 50static int check_field_in PARAMS ((struct type *, const char *));
a163ddec 51
a91a6192 52static CORE_ADDR allocate_space_in_inferior PARAMS ((int));
9ed8604f 53
5222ca60 54static value_ptr cast_into_complex PARAMS ((struct type *, value_ptr));
9ed8604f
PS
55
56#define VALUE_SUBSTRING_START(VAL) VALUE_FRAME(VAL)
57
bd5635a1 58\f
a163ddec
MT
59/* Allocate NBYTES of space in the inferior using the inferior's malloc
60 and return a value that is a pointer to the allocated space. */
61
62static CORE_ADDR
63allocate_space_in_inferior (len)
64 int len;
65{
a91a6192 66 register value_ptr val;
a163ddec
MT
67 register struct symbol *sym;
68 struct minimal_symbol *msymbol;
69 struct type *type;
a91a6192 70 value_ptr blocklen;
a163ddec
MT
71 LONGEST maddr;
72
73 /* Find the address of malloc in the inferior. */
74
75 sym = lookup_symbol ("malloc", 0, VAR_NAMESPACE, 0, NULL);
76 if (sym != NULL)
77 {
78 if (SYMBOL_CLASS (sym) != LOC_BLOCK)
79 {
80 error ("\"malloc\" exists in this program but is not a function.");
81 }
479fdd26 82 val = value_of_variable (sym, NULL);
a163ddec
MT
83 }
84 else
85 {
5222ca60 86 msymbol = lookup_minimal_symbol ("malloc", NULL, NULL);
a163ddec
MT
87 if (msymbol != NULL)
88 {
89 type = lookup_pointer_type (builtin_type_char);
90 type = lookup_function_type (type);
91 type = lookup_pointer_type (type);
92 maddr = (LONGEST) SYMBOL_VALUE_ADDRESS (msymbol);
93 val = value_from_longest (type, maddr);
94 }
95 else
96 {
97 error ("evaluation of this expression requires the program to have a function \"malloc\".");
98 }
99 }
100
101 blocklen = value_from_longest (builtin_type_int, (LONGEST) len);
102 val = call_function_by_hand (val, 1, &blocklen);
103 if (value_logical_not (val))
104 {
105 error ("No memory available to program.");
106 }
107 return (value_as_long (val));
108}
109
bd5635a1
RP
110/* Cast value ARG2 to type TYPE and return as a value.
111 More general than a C cast: accepts any two types of the same length,
112 and if ARG2 is an lvalue it can be cast into anything at all. */
54023465 113/* In C++, casts may change pointer or object representations. */
bd5635a1 114
a91a6192 115value_ptr
bd5635a1
RP
116value_cast (type, arg2)
117 struct type *type;
a91a6192 118 register value_ptr arg2;
bd5635a1 119{
f7a69ed7 120 register enum type_code code1 = TYPE_CODE (type);
bd5635a1
RP
121 register enum type_code code2;
122 register int scalar;
123
f91a9e05
PB
124 if (VALUE_TYPE (arg2) == type)
125 return arg2;
126
f7a69ed7 127 COERCE_REF(arg2);
13ffa6be
JL
128
129 /* A cast to an undetermined-length array_type, such as (TYPE [])OBJECT,
130 is treated like a cast to (TYPE [N])OBJECT,
131 where N is sizeof(OBJECT)/sizeof(TYPE). */
132 if (code1 == TYPE_CODE_ARRAY
133 && TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > 0
134 && TYPE_ARRAY_UPPER_BOUND_TYPE (type) == BOUND_CANNOT_BE_DETERMINED)
135 {
136 struct type *element_type = TYPE_TARGET_TYPE (type);
137 struct type *range_type = TYPE_INDEX_TYPE (type);
138 int low_bound = TYPE_LOW_BOUND (range_type);
139 int val_length = TYPE_LENGTH (VALUE_TYPE (arg2));
140 int new_length = val_length / TYPE_LENGTH (element_type);
141 if (val_length % TYPE_LENGTH (element_type) != 0)
142 warning("array element type size does not divide object size in cast");
36633dcc
JK
143 /* FIXME-type-allocation: need a way to free this type when we are
144 done with it. */
13ffa6be
JL
145 range_type = create_range_type ((struct type *) NULL,
146 TYPE_TARGET_TYPE (range_type),
147 low_bound, new_length + low_bound - 1);
148 VALUE_TYPE (arg2) = create_array_type ((struct type *) NULL,
149 element_type, range_type);
150 return arg2;
151 }
9ed8604f 152
f7a69ed7
PB
153 if (current_language->c_style_arrays
154 && (VALUE_REPEATED (arg2)
155 || TYPE_CODE (VALUE_TYPE (arg2)) == TYPE_CODE_ARRAY))
e70bba9f 156 arg2 = value_coerce_array (arg2);
f7a69ed7 157
e70bba9f 158 if (TYPE_CODE (VALUE_TYPE (arg2)) == TYPE_CODE_FUNC)
f7a69ed7
PB
159 arg2 = value_coerce_function (arg2);
160
161 COERCE_VARYING_ARRAY (arg2);
162
163 code2 = TYPE_CODE (VALUE_TYPE (arg2));
164
165 if (code1 == TYPE_CODE_COMPLEX)
166 return cast_into_complex (type, arg2);
167 if (code1 == TYPE_CODE_BOOL)
168 code1 = TYPE_CODE_INT;
169 if (code2 == TYPE_CODE_BOOL)
170 code2 = TYPE_CODE_INT;
171
bd5635a1 172 scalar = (code2 == TYPE_CODE_INT || code2 == TYPE_CODE_FLT
f91a9e05 173 || code2 == TYPE_CODE_ENUM || code2 == TYPE_CODE_RANGE);
bd5635a1 174
54023465
JK
175 if ( code1 == TYPE_CODE_STRUCT
176 && code2 == TYPE_CODE_STRUCT
177 && TYPE_NAME (type) != 0)
178 {
179 /* Look in the type of the source to see if it contains the
180 type of the target as a superclass. If so, we'll need to
181 offset the object in addition to changing its type. */
a91a6192
SS
182 value_ptr v = search_struct_field (type_name_no_tag (type),
183 arg2, 0, VALUE_TYPE (arg2), 1);
54023465
JK
184 if (v)
185 {
186 VALUE_TYPE (v) = type;
187 return v;
188 }
189 }
bd5635a1
RP
190 if (code1 == TYPE_CODE_FLT && scalar)
191 return value_from_double (type, value_as_double (arg2));
f91a9e05
PB
192 else if ((code1 == TYPE_CODE_INT || code1 == TYPE_CODE_ENUM
193 || code1 == TYPE_CODE_RANGE)
bd5635a1 194 && (scalar || code2 == TYPE_CODE_PTR))
06b6c733 195 return value_from_longest (type, value_as_long (arg2));
bd5635a1
RP
196 else if (TYPE_LENGTH (type) == TYPE_LENGTH (VALUE_TYPE (arg2)))
197 {
198 if (code1 == TYPE_CODE_PTR && code2 == TYPE_CODE_PTR)
199 {
200 /* Look in the type of the source to see if it contains the
201 type of the target as a superclass. If so, we'll need to
202 offset the pointer rather than just change its type. */
203 struct type *t1 = TYPE_TARGET_TYPE (type);
204 struct type *t2 = TYPE_TARGET_TYPE (VALUE_TYPE (arg2));
2a5ec41d 205 if ( TYPE_CODE (t1) == TYPE_CODE_STRUCT
bd5635a1
RP
206 && TYPE_CODE (t2) == TYPE_CODE_STRUCT
207 && TYPE_NAME (t1) != 0) /* if name unknown, can't have supercl */
208 {
a91a6192
SS
209 value_ptr v = search_struct_field (type_name_no_tag (t1),
210 value_ind (arg2), 0, t2, 1);
bd5635a1
RP
211 if (v)
212 {
213 v = value_addr (v);
214 VALUE_TYPE (v) = type;
215 return v;
216 }
217 }
218 /* No superclass found, just fall through to change ptr type. */
219 }
220 VALUE_TYPE (arg2) = type;
221 return arg2;
222 }
f91a9e05
PB
223 else if (chill_varying_type (type))
224 {
225 struct type *range1, *range2, *eltype1, *eltype2;
226 value_ptr val;
227 int count1, count2;
228 char *valaddr, *valaddr_data;
229 if (code2 == TYPE_CODE_BITSTRING)
230 error ("not implemented: converting bitstring to varying type");
231 if ((code2 != TYPE_CODE_ARRAY && code2 != TYPE_CODE_STRING)
232 || (eltype1 = TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, 1)),
233 eltype2 = TYPE_TARGET_TYPE (VALUE_TYPE (arg2)),
234 (TYPE_LENGTH (eltype1) != TYPE_LENGTH (eltype2)
235 /* || TYPE_CODE (eltype1) != TYPE_CODE (eltype2) */ )))
236 error ("Invalid conversion to varying type");
237 range1 = TYPE_FIELD_TYPE (TYPE_FIELD_TYPE (type, 1), 0);
238 range2 = TYPE_FIELD_TYPE (VALUE_TYPE (arg2), 0);
239 count1 = TYPE_HIGH_BOUND (range1) - TYPE_LOW_BOUND (range1) + 1;
240 count2 = TYPE_HIGH_BOUND (range2) - TYPE_LOW_BOUND (range2) + 1;
241 if (count2 > count1)
242 error ("target varying type is too small");
243 val = allocate_value (type);
244 valaddr = VALUE_CONTENTS_RAW (val);
245 valaddr_data = valaddr + TYPE_FIELD_BITPOS (type, 1) / 8;
246 /* Set val's __var_length field to count2. */
247 store_signed_integer (valaddr, TYPE_LENGTH (TYPE_FIELD_TYPE (type, 0)),
248 count2);
249 /* Set the __var_data field to count2 elements copied from arg2. */
250 memcpy (valaddr_data, VALUE_CONTENTS (arg2),
251 count2 * TYPE_LENGTH (eltype2));
252 /* Zero the rest of the __var_data field of val. */
253 memset (valaddr_data + count2 * TYPE_LENGTH (eltype2), '\0',
254 (count1 - count2) * TYPE_LENGTH (eltype2));
255 return val;
256 }
bd5635a1
RP
257 else if (VALUE_LVAL (arg2) == lval_memory)
258 {
259 return value_at_lazy (type, VALUE_ADDRESS (arg2) + VALUE_OFFSET (arg2));
260 }
d11c44f1
JG
261 else if (code1 == TYPE_CODE_VOID)
262 {
263 return value_zero (builtin_type_void, not_lval);
264 }
bd5635a1
RP
265 else
266 {
267 error ("Invalid cast.");
268 return 0;
269 }
270}
271
272/* Create a value of type TYPE that is zero, and return it. */
273
a91a6192 274value_ptr
bd5635a1
RP
275value_zero (type, lv)
276 struct type *type;
277 enum lval_type lv;
278{
a91a6192 279 register value_ptr val = allocate_value (type);
bd5635a1 280
4ed3a9ea 281 memset (VALUE_CONTENTS (val), 0, TYPE_LENGTH (type));
bd5635a1
RP
282 VALUE_LVAL (val) = lv;
283
284 return val;
285}
286
287/* Return a value with type TYPE located at ADDR.
288
289 Call value_at only if the data needs to be fetched immediately;
290 if we can be 'lazy' and defer the fetch, perhaps indefinately, call
291 value_at_lazy instead. value_at_lazy simply records the address of
292 the data and sets the lazy-evaluation-required flag. The lazy flag
293 is tested in the VALUE_CONTENTS macro, which is used if and when
294 the contents are actually required. */
295
a91a6192 296value_ptr
bd5635a1
RP
297value_at (type, addr)
298 struct type *type;
299 CORE_ADDR addr;
300{
a91a6192
SS
301 register value_ptr val;
302
303 if (TYPE_CODE (type) == TYPE_CODE_VOID)
304 error ("Attempt to dereference a generic pointer.");
305
306 val = allocate_value (type);
bd5635a1
RP
307
308 read_memory (addr, VALUE_CONTENTS_RAW (val), TYPE_LENGTH (type));
309
310 VALUE_LVAL (val) = lval_memory;
311 VALUE_ADDRESS (val) = addr;
312
313 return val;
314}
315
316/* Return a lazy value with type TYPE located at ADDR (cf. value_at). */
317
a91a6192 318value_ptr
bd5635a1
RP
319value_at_lazy (type, addr)
320 struct type *type;
321 CORE_ADDR addr;
322{
a91a6192
SS
323 register value_ptr val;
324
325 if (TYPE_CODE (type) == TYPE_CODE_VOID)
326 error ("Attempt to dereference a generic pointer.");
327
328 val = allocate_value (type);
bd5635a1
RP
329
330 VALUE_LVAL (val) = lval_memory;
331 VALUE_ADDRESS (val) = addr;
332 VALUE_LAZY (val) = 1;
333
334 return val;
335}
336
337/* Called only from the VALUE_CONTENTS macro, if the current data for
338 a variable needs to be loaded into VALUE_CONTENTS(VAL). Fetches the
339 data from the user's process, and clears the lazy flag to indicate
340 that the data in the buffer is valid.
341
9cb602e1
JG
342 If the value is zero-length, we avoid calling read_memory, which would
343 abort. We mark the value as fetched anyway -- all 0 bytes of it.
344
bd5635a1
RP
345 This function returns a value because it is used in the VALUE_CONTENTS
346 macro as part of an expression, where a void would not work. The
347 value is ignored. */
348
349int
350value_fetch_lazy (val)
a91a6192 351 register value_ptr val;
bd5635a1
RP
352{
353 CORE_ADDR addr = VALUE_ADDRESS (val) + VALUE_OFFSET (val);
354
9cb602e1
JG
355 if (TYPE_LENGTH (VALUE_TYPE (val)))
356 read_memory (addr, VALUE_CONTENTS_RAW (val),
357 TYPE_LENGTH (VALUE_TYPE (val)));
bd5635a1
RP
358 VALUE_LAZY (val) = 0;
359 return 0;
360}
361
362
363/* Store the contents of FROMVAL into the location of TOVAL.
364 Return a new value with the location of TOVAL and contents of FROMVAL. */
365
a91a6192 366value_ptr
bd5635a1 367value_assign (toval, fromval)
a91a6192 368 register value_ptr toval, fromval;
bd5635a1 369{
67e9b3b3 370 register struct type *type;
a91a6192 371 register value_ptr val;
bd5635a1 372 char raw_buffer[MAX_REGISTER_RAW_SIZE];
bd5635a1
RP
373 int use_buffer = 0;
374
30974778
JK
375 if (!toval->modifiable)
376 error ("Left operand of assignment is not a modifiable lvalue.");
377
bd5635a1 378 COERCE_ARRAY (fromval);
8e9a3f3b 379 COERCE_REF (toval);
bd5635a1 380
67e9b3b3 381 type = VALUE_TYPE (toval);
bd5635a1
RP
382 if (VALUE_LVAL (toval) != lval_internalvar)
383 fromval = value_cast (type, fromval);
384
385 /* If TOVAL is a special machine register requiring conversion
386 of program values to a special raw format,
387 convert FROMVAL's contents now, with result in `raw_buffer',
388 and set USE_BUFFER to the number of bytes to write. */
389
ad09cb2b 390#ifdef REGISTER_CONVERTIBLE
bd5635a1
RP
391 if (VALUE_REGNO (toval) >= 0
392 && REGISTER_CONVERTIBLE (VALUE_REGNO (toval)))
393 {
394 int regno = VALUE_REGNO (toval);
ad09cb2b
PS
395 if (REGISTER_CONVERTIBLE (regno))
396 {
397 REGISTER_CONVERT_TO_RAW (VALUE_TYPE (fromval), regno,
398 VALUE_CONTENTS (fromval), raw_buffer);
399 use_buffer = REGISTER_RAW_SIZE (regno);
400 }
bd5635a1 401 }
ad09cb2b 402#endif
bd5635a1
RP
403
404 switch (VALUE_LVAL (toval))
405 {
406 case lval_internalvar:
407 set_internalvar (VALUE_INTERNALVAR (toval), fromval);
408 break;
409
410 case lval_internalvar_component:
411 set_internalvar_component (VALUE_INTERNALVAR (toval),
412 VALUE_OFFSET (toval),
413 VALUE_BITPOS (toval),
414 VALUE_BITSIZE (toval),
415 fromval);
416 break;
417
418 case lval_memory:
419 if (VALUE_BITSIZE (toval))
420 {
4d52ec86
JK
421 char buffer[sizeof (LONGEST)];
422 /* We assume that the argument to read_memory is in units of
423 host chars. FIXME: Is that correct? */
424 int len = (VALUE_BITPOS (toval)
425 + VALUE_BITSIZE (toval)
426 + HOST_CHAR_BIT - 1)
427 / HOST_CHAR_BIT;
ad09cb2b 428
4d52ec86 429 if (len > sizeof (LONGEST))
ad09cb2b
PS
430 error ("Can't handle bitfields which don't fit in a %d bit word.",
431 sizeof (LONGEST) * HOST_CHAR_BIT);
4d52ec86 432
bd5635a1 433 read_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
4d52ec86
JK
434 buffer, len);
435 modify_field (buffer, value_as_long (fromval),
bd5635a1
RP
436 VALUE_BITPOS (toval), VALUE_BITSIZE (toval));
437 write_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
4d52ec86 438 buffer, len);
bd5635a1
RP
439 }
440 else if (use_buffer)
441 write_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
442 raw_buffer, use_buffer);
443 else
444 write_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
445 VALUE_CONTENTS (fromval), TYPE_LENGTH (type));
446 break;
447
448 case lval_register:
449 if (VALUE_BITSIZE (toval))
450 {
ad09cb2b 451 char buffer[sizeof (LONGEST)];
4d52ec86 452 int len = REGISTER_RAW_SIZE (VALUE_REGNO (toval));
ad09cb2b
PS
453
454 if (len > sizeof (LONGEST))
455 error ("Can't handle bitfields in registers larger than %d bits.",
456 sizeof (LONGEST) * HOST_CHAR_BIT);
457
458 if (VALUE_BITPOS (toval) + VALUE_BITSIZE (toval)
459 > len * HOST_CHAR_BIT)
460 /* Getting this right would involve being very careful about
461 byte order. */
462 error ("\
463Can't handle bitfield which doesn't fit in a single register.");
464
4d52ec86
JK
465 read_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
466 buffer, len);
467 modify_field (buffer, value_as_long (fromval),
468 VALUE_BITPOS (toval), VALUE_BITSIZE (toval));
469 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
470 buffer, len);
bd5635a1
RP
471 }
472 else if (use_buffer)
473 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
474 raw_buffer, use_buffer);
475 else
54023465
JK
476 {
477 /* Do any conversion necessary when storing this type to more
478 than one register. */
479#ifdef REGISTER_CONVERT_FROM_TYPE
480 memcpy (raw_buffer, VALUE_CONTENTS (fromval), TYPE_LENGTH (type));
481 REGISTER_CONVERT_FROM_TYPE(VALUE_REGNO (toval), type, raw_buffer);
482 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
483 raw_buffer, TYPE_LENGTH (type));
484#else
485 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
486 VALUE_CONTENTS (fromval), TYPE_LENGTH (type));
487#endif
488 }
79971d11
JK
489 /* Assigning to the stack pointer, frame pointer, and other
490 (architecture and calling convention specific) registers may
491 cause the frame cache to be out of date. We just do this
492 on all assignments to registers for simplicity; I doubt the slowdown
493 matters. */
494 reinit_frame_cache ();
bd5635a1
RP
495 break;
496
497 case lval_reg_frame_relative:
498 {
499 /* value is stored in a series of registers in the frame
500 specified by the structure. Copy that value out, modify
501 it, and copy it back in. */
502 int amount_to_copy = (VALUE_BITSIZE (toval) ? 1 : TYPE_LENGTH (type));
503 int reg_size = REGISTER_RAW_SIZE (VALUE_FRAME_REGNUM (toval));
504 int byte_offset = VALUE_OFFSET (toval) % reg_size;
505 int reg_offset = VALUE_OFFSET (toval) / reg_size;
506 int amount_copied;
4d52ec86
JK
507
508 /* Make the buffer large enough in all cases. */
509 char *buffer = (char *) alloca (amount_to_copy
510 + sizeof (LONGEST)
511 + MAX_REGISTER_RAW_SIZE);
512
bd5635a1 513 int regno;
6d34c236 514 struct frame_info *frame;
bd5635a1
RP
515
516 /* Figure out which frame this is in currently. */
517 for (frame = get_current_frame ();
518 frame && FRAME_FP (frame) != VALUE_FRAME (toval);
519 frame = get_prev_frame (frame))
520 ;
521
522 if (!frame)
523 error ("Value being assigned to is no longer active.");
524
525 amount_to_copy += (reg_size - amount_to_copy % reg_size);
526
527 /* Copy it out. */
528 for ((regno = VALUE_FRAME_REGNUM (toval) + reg_offset,
529 amount_copied = 0);
530 amount_copied < amount_to_copy;
531 amount_copied += reg_size, regno++)
532 {
533 get_saved_register (buffer + amount_copied,
51b57ded 534 (int *)NULL, (CORE_ADDR *)NULL,
bd5635a1
RP
535 frame, regno, (enum lval_type *)NULL);
536 }
537
538 /* Modify what needs to be modified. */
539 if (VALUE_BITSIZE (toval))
540 modify_field (buffer + byte_offset,
479fdd26 541 value_as_long (fromval),
bd5635a1
RP
542 VALUE_BITPOS (toval), VALUE_BITSIZE (toval));
543 else if (use_buffer)
4ed3a9ea 544 memcpy (buffer + byte_offset, raw_buffer, use_buffer);
bd5635a1 545 else
4ed3a9ea
FF
546 memcpy (buffer + byte_offset, VALUE_CONTENTS (fromval),
547 TYPE_LENGTH (type));
bd5635a1
RP
548
549 /* Copy it back. */
550 for ((regno = VALUE_FRAME_REGNUM (toval) + reg_offset,
551 amount_copied = 0);
552 amount_copied < amount_to_copy;
553 amount_copied += reg_size, regno++)
554 {
555 enum lval_type lval;
556 CORE_ADDR addr;
557 int optim;
558
559 /* Just find out where to put it. */
560 get_saved_register ((char *)NULL,
561 &optim, &addr, frame, regno, &lval);
562
563 if (optim)
564 error ("Attempt to assign to a value that was optimized out.");
565 if (lval == lval_memory)
566 write_memory (addr, buffer + amount_copied, reg_size);
567 else if (lval == lval_register)
568 write_register_bytes (addr, buffer + amount_copied, reg_size);
569 else
570 error ("Attempt to assign to an unmodifiable value.");
571 }
572 }
573 break;
574
575
576 default:
30974778 577 error ("Left operand of assignment is not an lvalue.");
bd5635a1
RP
578 }
579
580 /* Return a value just like TOVAL except with the contents of FROMVAL
581 (except in the case of the type if TOVAL is an internalvar). */
582
583 if (VALUE_LVAL (toval) == lval_internalvar
584 || VALUE_LVAL (toval) == lval_internalvar_component)
585 {
586 type = VALUE_TYPE (fromval);
587 }
588
589 val = allocate_value (type);
4ed3a9ea
FF
590 memcpy (val, toval, VALUE_CONTENTS_RAW (val) - (char *) val);
591 memcpy (VALUE_CONTENTS_RAW (val), VALUE_CONTENTS (fromval),
592 TYPE_LENGTH (type));
bd5635a1
RP
593 VALUE_TYPE (val) = type;
594
595 return val;
596}
597
598/* Extend a value VAL to COUNT repetitions of its type. */
599
a91a6192 600value_ptr
bd5635a1 601value_repeat (arg1, count)
a91a6192 602 value_ptr arg1;
bd5635a1
RP
603 int count;
604{
a91a6192 605 register value_ptr val;
bd5635a1
RP
606
607 if (VALUE_LVAL (arg1) != lval_memory)
608 error ("Only values in memory can be extended with '@'.");
609 if (count < 1)
610 error ("Invalid number %d of repetitions.", count);
611
612 val = allocate_repeat_value (VALUE_TYPE (arg1), count);
613
614 read_memory (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1),
615 VALUE_CONTENTS_RAW (val),
616 TYPE_LENGTH (VALUE_TYPE (val)) * count);
617 VALUE_LVAL (val) = lval_memory;
618 VALUE_ADDRESS (val) = VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1);
619
620 return val;
621}
622
a91a6192 623value_ptr
479fdd26 624value_of_variable (var, b)
bd5635a1 625 struct symbol *var;
479fdd26 626 struct block *b;
bd5635a1 627{
a91a6192 628 value_ptr val;
6d34c236 629 struct frame_info *frame;
bd5635a1 630
479fdd26
JK
631 if (b == NULL)
632 /* Use selected frame. */
6d34c236 633 frame = NULL;
479fdd26
JK
634 else
635 {
6d34c236
PB
636 frame = block_innermost_frame (b);
637 if (frame == NULL && symbol_read_needs_frame (var))
479fdd26
JK
638 {
639 if (BLOCK_FUNCTION (b) != NULL
640 && SYMBOL_NAME (BLOCK_FUNCTION (b)) != NULL)
641 error ("No frame is currently executing in block %s.",
642 SYMBOL_NAME (BLOCK_FUNCTION (b)));
643 else
644 error ("No frame is currently executing in specified block");
645 }
646 }
6d34c236 647 val = read_var_value (var, frame);
bd5635a1 648 if (val == 0)
2e4964ad 649 error ("Address of symbol \"%s\" is unknown.", SYMBOL_SOURCE_NAME (var));
bd5635a1
RP
650 return val;
651}
652
a163ddec
MT
653/* Given a value which is an array, return a value which is a pointer to its
654 first element, regardless of whether or not the array has a nonzero lower
655 bound.
656
657 FIXME: A previous comment here indicated that this routine should be
658 substracting the array's lower bound. It's not clear to me that this
659 is correct. Given an array subscripting operation, it would certainly
660 work to do the adjustment here, essentially computing:
661
662 (&array[0] - (lowerbound * sizeof array[0])) + (index * sizeof array[0])
663
664 However I believe a more appropriate and logical place to account for
665 the lower bound is to do so in value_subscript, essentially computing:
666
667 (&array[0] + ((index - lowerbound) * sizeof array[0]))
668
669 As further evidence consider what would happen with operations other
670 than array subscripting, where the caller would get back a value that
671 had an address somewhere before the actual first element of the array,
672 and the information about the lower bound would be lost because of
673 the coercion to pointer type.
674 */
bd5635a1 675
a91a6192 676value_ptr
bd5635a1 677value_coerce_array (arg1)
a91a6192 678 value_ptr arg1;
bd5635a1
RP
679{
680 register struct type *type;
bd5635a1
RP
681
682 if (VALUE_LVAL (arg1) != lval_memory)
683 error ("Attempt to take address of value not located in memory.");
684
685 /* Get type of elements. */
852b3831
PB
686 if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_ARRAY
687 || TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_STRING)
bd5635a1
RP
688 type = TYPE_TARGET_TYPE (VALUE_TYPE (arg1));
689 else
690 /* A phony array made by value_repeat.
691 Its type is the type of the elements, not an array type. */
692 type = VALUE_TYPE (arg1);
693
06b6c733 694 return value_from_longest (lookup_pointer_type (type),
bd5635a1 695 (LONGEST) (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1)));
bd5635a1
RP
696}
697
698/* Given a value which is a function, return a value which is a pointer
699 to it. */
700
a91a6192 701value_ptr
bd5635a1 702value_coerce_function (arg1)
a91a6192 703 value_ptr arg1;
bd5635a1 704{
bd5635a1
RP
705
706 if (VALUE_LVAL (arg1) != lval_memory)
707 error ("Attempt to take address of value not located in memory.");
708
06b6c733 709 return value_from_longest (lookup_pointer_type (VALUE_TYPE (arg1)),
bd5635a1 710 (LONGEST) (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1)));
bd5635a1
RP
711}
712
713/* Return a pointer value for the object for which ARG1 is the contents. */
714
a91a6192 715value_ptr
bd5635a1 716value_addr (arg1)
a91a6192 717 value_ptr arg1;
bd5635a1 718{
8e9a3f3b
PB
719 struct type *type = VALUE_TYPE (arg1);
720 if (TYPE_CODE (type) == TYPE_CODE_REF)
721 {
722 /* Copy the value, but change the type from (T&) to (T*).
723 We keep the same location information, which is efficient,
724 and allows &(&X) to get the location containing the reference. */
a91a6192 725 value_ptr arg2 = value_copy (arg1);
8e9a3f3b
PB
726 VALUE_TYPE (arg2) = lookup_pointer_type (TYPE_TARGET_TYPE (type));
727 return arg2;
728 }
f91a9e05
PB
729 if (current_language->c_style_arrays
730 && (VALUE_REPEATED (arg1)
731 || TYPE_CODE (type) == TYPE_CODE_ARRAY))
bd5635a1 732 return value_coerce_array (arg1);
8e9a3f3b 733 if (TYPE_CODE (type) == TYPE_CODE_FUNC)
bd5635a1
RP
734 return value_coerce_function (arg1);
735
736 if (VALUE_LVAL (arg1) != lval_memory)
737 error ("Attempt to take address of value not located in memory.");
738
8e9a3f3b 739 return value_from_longest (lookup_pointer_type (type),
bd5635a1 740 (LONGEST) (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1)));
bd5635a1
RP
741}
742
743/* Given a value of a pointer type, apply the C unary * operator to it. */
744
a91a6192 745value_ptr
bd5635a1 746value_ind (arg1)
a91a6192 747 value_ptr arg1;
bd5635a1
RP
748{
749 COERCE_ARRAY (arg1);
750
751 if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_MEMBER)
752 error ("not implemented: member types in value_ind");
753
754 /* Allow * on an integer so we can cast it to whatever we want.
755 This returns an int, which seems like the most C-like thing
756 to do. "long long" variables are rare enough that
757 BUILTIN_TYPE_LONGEST would seem to be a mistake. */
758 if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_INT)
759 return value_at (builtin_type_int,
760 (CORE_ADDR) value_as_long (arg1));
761 else if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_PTR)
762 return value_at_lazy (TYPE_TARGET_TYPE (VALUE_TYPE (arg1)),
d11c44f1 763 value_as_pointer (arg1));
bd5635a1
RP
764 error ("Attempt to take contents of a non-pointer value.");
765 return 0; /* For lint -- never reached */
766}
767\f
768/* Pushing small parts of stack frames. */
769
770/* Push one word (the size of object that a register holds). */
771
772CORE_ADDR
34df79fc 773push_word (sp, word)
bd5635a1 774 CORE_ADDR sp;
67e9b3b3 775 unsigned LONGEST word;
bd5635a1 776{
67e9b3b3 777 register int len = REGISTER_SIZE;
479fdd26 778 char buffer[MAX_REGISTER_RAW_SIZE];
bd5635a1 779
479fdd26 780 store_unsigned_integer (buffer, len, word);
bd5635a1
RP
781#if 1 INNER_THAN 2
782 sp -= len;
479fdd26 783 write_memory (sp, buffer, len);
bd5635a1 784#else /* stack grows upward */
479fdd26 785 write_memory (sp, buffer, len);
bd5635a1
RP
786 sp += len;
787#endif /* stack grows upward */
788
789 return sp;
790}
791
792/* Push LEN bytes with data at BUFFER. */
793
794CORE_ADDR
795push_bytes (sp, buffer, len)
796 CORE_ADDR sp;
797 char *buffer;
798 int len;
799{
800#if 1 INNER_THAN 2
801 sp -= len;
802 write_memory (sp, buffer, len);
803#else /* stack grows upward */
804 write_memory (sp, buffer, len);
805 sp += len;
806#endif /* stack grows upward */
807
808 return sp;
809}
810
811/* Push onto the stack the specified value VALUE. */
812
01be6913 813static CORE_ADDR
bd5635a1
RP
814value_push (sp, arg)
815 register CORE_ADDR sp;
a91a6192 816 value_ptr arg;
bd5635a1
RP
817{
818 register int len = TYPE_LENGTH (VALUE_TYPE (arg));
819
820#if 1 INNER_THAN 2
821 sp -= len;
822 write_memory (sp, VALUE_CONTENTS (arg), len);
823#else /* stack grows upward */
824 write_memory (sp, VALUE_CONTENTS (arg), len);
825 sp += len;
826#endif /* stack grows upward */
827
828 return sp;
829}
830
831/* Perform the standard coercions that are specified
5222ca60 832 for arguments to be passed to C functions.
bd5635a1 833
5222ca60
PB
834 If PARAM_TYPE is non-NULL, it is the expected parameter type. */
835
836static value_ptr
837value_arg_coerce (arg, param_type)
a91a6192 838 value_ptr arg;
5222ca60 839 struct type *param_type;
bd5635a1 840{
5222ca60 841 register struct type *type = param_type ? param_type : VALUE_TYPE (arg);
bd5635a1 842
5222ca60
PB
843 switch (TYPE_CODE (type))
844 {
845 case TYPE_CODE_REF:
13ffa6be 846 if (TYPE_CODE (VALUE_TYPE (arg)) != TYPE_CODE_REF)
5222ca60
PB
847 {
848 arg = value_addr (arg);
849 VALUE_TYPE (arg) = param_type;
850 return arg;
851 }
852 break;
853 case TYPE_CODE_INT:
854 case TYPE_CODE_CHAR:
855 case TYPE_CODE_BOOL:
856 case TYPE_CODE_ENUM:
857 if (TYPE_LENGTH (type) < TYPE_LENGTH (builtin_type_int))
858 type = builtin_type_int;
859 break;
860 case TYPE_CODE_FLT:
861 if (TYPE_LENGTH (type) < TYPE_LENGTH (builtin_type_double))
862 type = builtin_type_double;
863 break;
864 case TYPE_CODE_FUNC:
865 type = lookup_pointer_type (type);
866 break;
867 }
479fdd26 868
b5728692 869#if 1 /* FIXME: This is only a temporary patch. -fnf */
f91a9e05
PB
870 if (current_language->c_style_arrays
871 && (VALUE_REPEATED (arg)
872 || TYPE_CODE (VALUE_TYPE (arg)) == TYPE_CODE_ARRAY))
b5728692 873 arg = value_coerce_array (arg);
b5728692 874#endif
bd5635a1 875
5222ca60 876 return value_cast (type, arg);
bd5635a1
RP
877}
878
879/* Determine a function's address and its return type from its value.
880 Calls error() if the function is not valid for calling. */
881
01be6913 882static CORE_ADDR
bd5635a1 883find_function_addr (function, retval_type)
a91a6192 884 value_ptr function;
bd5635a1
RP
885 struct type **retval_type;
886{
887 register struct type *ftype = VALUE_TYPE (function);
888 register enum type_code code = TYPE_CODE (ftype);
889 struct type *value_type;
890 CORE_ADDR funaddr;
891
892 /* If it's a member function, just look at the function
893 part of it. */
894
895 /* Determine address to call. */
896 if (code == TYPE_CODE_FUNC || code == TYPE_CODE_METHOD)
897 {
898 funaddr = VALUE_ADDRESS (function);
899 value_type = TYPE_TARGET_TYPE (ftype);
900 }
901 else if (code == TYPE_CODE_PTR)
902 {
d11c44f1 903 funaddr = value_as_pointer (function);
bd5635a1
RP
904 if (TYPE_CODE (TYPE_TARGET_TYPE (ftype)) == TYPE_CODE_FUNC
905 || TYPE_CODE (TYPE_TARGET_TYPE (ftype)) == TYPE_CODE_METHOD)
9ed8604f
PS
906 {
907#ifdef CONVERT_FROM_FUNC_PTR_ADDR
908 /* FIXME: This is a workaround for the unusual function
909 pointer representation on the RS/6000, see comment
910 in config/rs6000/tm-rs6000.h */
911 funaddr = CONVERT_FROM_FUNC_PTR_ADDR (funaddr);
912#endif
913 value_type = TYPE_TARGET_TYPE (TYPE_TARGET_TYPE (ftype));
914 }
bd5635a1
RP
915 else
916 value_type = builtin_type_int;
917 }
918 else if (code == TYPE_CODE_INT)
919 {
920 /* Handle the case of functions lacking debugging info.
921 Their values are characters since their addresses are char */
922 if (TYPE_LENGTH (ftype) == 1)
d11c44f1 923 funaddr = value_as_pointer (value_addr (function));
bd5635a1
RP
924 else
925 /* Handle integer used as address of a function. */
d11c44f1 926 funaddr = (CORE_ADDR) value_as_long (function);
bd5635a1
RP
927
928 value_type = builtin_type_int;
929 }
930 else
931 error ("Invalid data type for function to be called.");
932
933 *retval_type = value_type;
934 return funaddr;
935}
936
937#if defined (CALL_DUMMY)
938/* All this stuff with a dummy frame may seem unnecessarily complicated
939 (why not just save registers in GDB?). The purpose of pushing a dummy
940 frame which looks just like a real frame is so that if you call a
941 function and then hit a breakpoint (get a signal, etc), "backtrace"
942 will look right. Whether the backtrace needs to actually show the
943 stack at the time the inferior function was called is debatable, but
944 it certainly needs to not display garbage. So if you are contemplating
945 making dummy frames be different from normal frames, consider that. */
946
947/* Perform a function call in the inferior.
948 ARGS is a vector of values of arguments (NARGS of them).
949 FUNCTION is a value, the function to be called.
950 Returns a value representing what the function returned.
951 May fail to return, if a breakpoint or signal is hit
5222ca60
PB
952 during the execution of the function.
953
954 ARGS is modified to contain coerced values. */
bd5635a1 955
a91a6192 956value_ptr
bd5635a1 957call_function_by_hand (function, nargs, args)
a91a6192 958 value_ptr function;
bd5635a1 959 int nargs;
a91a6192 960 value_ptr *args;
bd5635a1
RP
961{
962 register CORE_ADDR sp;
963 register int i;
964 CORE_ADDR start_sp;
67e9b3b3
PS
965 /* CALL_DUMMY is an array of words (REGISTER_SIZE), but each word
966 is in host byte order. Before calling FIX_CALL_DUMMY, we byteswap it
967 and remove any extra bytes which might exist because unsigned LONGEST is
968 bigger than REGISTER_SIZE. */
969 static unsigned LONGEST dummy[] = CALL_DUMMY;
970 char dummy1[REGISTER_SIZE * sizeof dummy / sizeof (unsigned LONGEST)];
bd5635a1
RP
971 CORE_ADDR old_sp;
972 struct type *value_type;
973 unsigned char struct_return;
974 CORE_ADDR struct_addr;
975 struct inferior_status inf_status;
976 struct cleanup *old_chain;
977 CORE_ADDR funaddr;
978 int using_gcc;
9f739abd 979 CORE_ADDR real_pc;
5222ca60 980 struct type *ftype = SYMBOL_TYPE (function);
bd5635a1 981
e17960fb
JG
982 if (!target_has_execution)
983 noprocess();
984
bd5635a1
RP
985 save_inferior_status (&inf_status, 1);
986 old_chain = make_cleanup (restore_inferior_status, &inf_status);
987
988 /* PUSH_DUMMY_FRAME is responsible for saving the inferior registers
989 (and POP_FRAME for restoring them). (At least on most machines)
990 they are saved on the stack in the inferior. */
991 PUSH_DUMMY_FRAME;
992
54023465 993 old_sp = sp = read_sp ();
bd5635a1
RP
994
995#if 1 INNER_THAN 2 /* Stack grows down */
9ed8604f 996 sp -= sizeof dummy1;
bd5635a1
RP
997 start_sp = sp;
998#else /* Stack grows up */
999 start_sp = sp;
9ed8604f 1000 sp += sizeof dummy1;
bd5635a1
RP
1001#endif
1002
1003 funaddr = find_function_addr (function, &value_type);
1004
1005 {
1006 struct block *b = block_for_pc (funaddr);
1007 /* If compiled without -g, assume GCC. */
f7a69ed7 1008 using_gcc = b == NULL ? 0 : BLOCK_GCC_COMPILED (b);
bd5635a1
RP
1009 }
1010
1011 /* Are we returning a value using a structure return or a normal
1012 value return? */
1013
1014 struct_return = using_struct_return (function, funaddr, value_type,
1015 using_gcc);
1016
1017 /* Create a call sequence customized for this function
1018 and the number of arguments for it. */
67e9b3b3
PS
1019 for (i = 0; i < sizeof dummy / sizeof (dummy[0]); i++)
1020 store_unsigned_integer (&dummy1[i * REGISTER_SIZE],
1021 REGISTER_SIZE,
34df79fc 1022 (unsigned LONGEST)dummy[i]);
9f739abd
SG
1023
1024#ifdef GDB_TARGET_IS_HPPA
b5728692
SG
1025 real_pc = FIX_CALL_DUMMY (dummy1, start_sp, funaddr, nargs, args,
1026 value_type, using_gcc);
9f739abd 1027#else
bd5635a1
RP
1028 FIX_CALL_DUMMY (dummy1, start_sp, funaddr, nargs, args,
1029 value_type, using_gcc);
9f739abd
SG
1030 real_pc = start_sp;
1031#endif
bd5635a1
RP
1032
1033#if CALL_DUMMY_LOCATION == ON_STACK
9ed8604f 1034 write_memory (start_sp, (char *)dummy1, sizeof dummy1);
cef4c2e7 1035#endif /* On stack. */
bd5635a1 1036
bd5635a1
RP
1037#if CALL_DUMMY_LOCATION == BEFORE_TEXT_END
1038 /* Convex Unix prohibits executing in the stack segment. */
1039 /* Hope there is empty room at the top of the text segment. */
1040 {
84d82b1c 1041 extern CORE_ADDR text_end;
bd5635a1
RP
1042 static checked = 0;
1043 if (!checked)
9ed8604f 1044 for (start_sp = text_end - sizeof dummy1; start_sp < text_end; ++start_sp)
bd5635a1
RP
1045 if (read_memory_integer (start_sp, 1) != 0)
1046 error ("text segment full -- no place to put call");
1047 checked = 1;
1048 sp = old_sp;
9ed8604f
PS
1049 real_pc = text_end - sizeof dummy1;
1050 write_memory (real_pc, (char *)dummy1, sizeof dummy1);
bd5635a1 1051 }
cef4c2e7
PS
1052#endif /* Before text_end. */
1053
1054#if CALL_DUMMY_LOCATION == AFTER_TEXT_END
bd5635a1 1055 {
84d82b1c 1056 extern CORE_ADDR text_end;
bd5635a1
RP
1057 int errcode;
1058 sp = old_sp;
30d20d15 1059 real_pc = text_end;
9ed8604f 1060 errcode = target_write_memory (real_pc, (char *)dummy1, sizeof dummy1);
bd5635a1
RP
1061 if (errcode != 0)
1062 error ("Cannot write text segment -- call_function failed");
1063 }
1064#endif /* After text_end. */
cef4c2e7
PS
1065
1066#if CALL_DUMMY_LOCATION == AT_ENTRY_POINT
1067 real_pc = funaddr;
1068#endif /* At entry point. */
bd5635a1
RP
1069
1070#ifdef lint
1071 sp = old_sp; /* It really is used, for some ifdef's... */
1072#endif
1073
f7a69ed7
PB
1074 if (nargs < TYPE_NFIELDS (ftype))
1075 error ("too few arguments in function call");
1076
5222ca60
PB
1077 for (i = nargs - 1; i >= 0; i--)
1078 {
1079 struct type *param_type;
1080 if (TYPE_NFIELDS (ftype) > i)
1081 param_type = TYPE_FIELD_TYPE (ftype, i);
1082 else
1083 param_type = 0;
1084 args[i] = value_arg_coerce (args[i], param_type);
1085 }
1086
bd5635a1
RP
1087#if defined (REG_STRUCT_HAS_ADDR)
1088 {
a91a6192 1089 /* This is a machine like the sparc, where we may need to pass a pointer
bd5635a1 1090 to the structure, not the structure itself. */
a91a6192 1091 for (i = nargs - 1; i >= 0; i--)
f7a69ed7
PB
1092 if ((TYPE_CODE (VALUE_TYPE (args[i])) == TYPE_CODE_STRUCT
1093 || TYPE_CODE (VALUE_TYPE (args[i])) == TYPE_CODE_UNION
1094 || TYPE_CODE (VALUE_TYPE (args[i])) == TYPE_CODE_ARRAY
1095 || TYPE_CODE (VALUE_TYPE (args[i])) == TYPE_CODE_STRING)
a91a6192
SS
1096 && REG_STRUCT_HAS_ADDR (using_gcc, VALUE_TYPE (args[i])))
1097 {
1098 CORE_ADDR addr;
f7a69ed7
PB
1099 int len = TYPE_LENGTH (VALUE_TYPE (args[i]));
1100#ifdef STACK_ALIGN
1101 int aligned_len = STACK_ALIGN (len);
1102#else
1103 int aligned_len = len;
1104#endif
bd5635a1 1105#if !(1 INNER_THAN 2)
a91a6192
SS
1106 /* The stack grows up, so the address of the thing we push
1107 is the stack pointer before we push it. */
1108 addr = sp;
f7a69ed7
PB
1109#else
1110 sp -= aligned_len;
bd5635a1 1111#endif
a91a6192 1112 /* Push the structure. */
f7a69ed7 1113 write_memory (sp, VALUE_CONTENTS (args[i]), len);
bd5635a1 1114#if 1 INNER_THAN 2
a91a6192
SS
1115 /* The stack grows down, so the address of the thing we push
1116 is the stack pointer after we push it. */
1117 addr = sp;
f7a69ed7
PB
1118#else
1119 sp += aligned_len;
bd5635a1 1120#endif
a91a6192
SS
1121 /* The value we're going to pass is the address of the thing
1122 we just pushed. */
1123 args[i] = value_from_longest (lookup_pointer_type (value_type),
1124 (LONGEST) addr);
1125 }
bd5635a1
RP
1126 }
1127#endif /* REG_STRUCT_HAS_ADDR. */
1128
f7a69ed7
PB
1129 /* Reserve space for the return structure to be written on the
1130 stack, if necessary */
1131
1132 if (struct_return)
1133 {
1134 int len = TYPE_LENGTH (value_type);
1135#ifdef STACK_ALIGN
1136 len = STACK_ALIGN (len);
1137#endif
1138#if 1 INNER_THAN 2
1139 sp -= len;
1140 struct_addr = sp;
1141#else
1142 struct_addr = sp;
1143 sp += len;
1144#endif
1145 }
1146
1147#ifdef STACK_ALIGN
1148 /* If stack grows down, we must leave a hole at the top. */
1149 {
1150 int len = 0;
1151
1152 for (i = nargs - 1; i >= 0; i--)
1153 len += TYPE_LENGTH (VALUE_TYPE (args[i]));
1154#ifdef CALL_DUMMY_STACK_ADJUST
1155 len += CALL_DUMMY_STACK_ADJUST;
1156#endif
1157#if 1 INNER_THAN 2
1158 sp -= STACK_ALIGN (len) - len;
1159#else
1160 sp += STACK_ALIGN (len) - len;
1161#endif
1162 }
1163#endif /* STACK_ALIGN */
1164
bd5635a1
RP
1165#ifdef PUSH_ARGUMENTS
1166 PUSH_ARGUMENTS(nargs, args, sp, struct_return, struct_addr);
1167#else /* !PUSH_ARGUMENTS */
1168 for (i = nargs - 1; i >= 0; i--)
5222ca60 1169 sp = value_push (sp, args[i]);
bd5635a1
RP
1170#endif /* !PUSH_ARGUMENTS */
1171
1172#ifdef CALL_DUMMY_STACK_ADJUST
1173#if 1 INNER_THAN 2
1174 sp -= CALL_DUMMY_STACK_ADJUST;
1175#else
1176 sp += CALL_DUMMY_STACK_ADJUST;
1177#endif
1178#endif /* CALL_DUMMY_STACK_ADJUST */
1179
1180 /* Store the address at which the structure is supposed to be
1181 written. Note that this (and the code which reserved the space
1182 above) assumes that gcc was used to compile this function. Since
1183 it doesn't cost us anything but space and if the function is pcc
1184 it will ignore this value, we will make that assumption.
1185
1186 Also note that on some machines (like the sparc) pcc uses a
1187 convention like gcc's. */
1188
1189 if (struct_return)
1190 STORE_STRUCT_RETURN (struct_addr, sp);
1191
1192 /* Write the stack pointer. This is here because the statements above
1193 might fool with it. On SPARC, this write also stores the register
1194 window into the right place in the new stack frame, which otherwise
5632cd56 1195 wouldn't happen. (See store_inferior_registers in sparc-nat.c.) */
54023465 1196 write_sp (sp);
bd5635a1 1197
bd5635a1
RP
1198 {
1199 char retbuf[REGISTER_BYTES];
54023465
JK
1200 char *name;
1201 struct symbol *symbol;
1202
1203 name = NULL;
1204 symbol = find_pc_function (funaddr);
1205 if (symbol)
1206 {
1207 name = SYMBOL_SOURCE_NAME (symbol);
1208 }
1209 else
1210 {
1211 /* Try the minimal symbols. */
1212 struct minimal_symbol *msymbol = lookup_minimal_symbol_by_pc (funaddr);
1213
1214 if (msymbol)
1215 {
1216 name = SYMBOL_SOURCE_NAME (msymbol);
1217 }
1218 }
1219 if (name == NULL)
1220 {
1221 char format[80];
1222 sprintf (format, "at %s", local_hex_format ());
1223 name = alloca (80);
30974778 1224 /* FIXME-32x64: assumes funaddr fits in a long. */
cef4c2e7 1225 sprintf (name, format, (unsigned long) funaddr);
54023465 1226 }
bd5635a1
RP
1227
1228 /* Execute the stack dummy routine, calling FUNCTION.
1229 When it is done, discard the empty frame
1230 after storing the contents of all regs into retbuf. */
860a1754
JK
1231 if (run_stack_dummy (real_pc + CALL_DUMMY_START_OFFSET, retbuf))
1232 {
1233 /* We stopped somewhere besides the call dummy. */
1234
1235 /* If we did the cleanups, we would print a spurious error message
1236 (Unable to restore previously selected frame), would write the
1237 registers from the inf_status (which is wrong), and would do other
1238 wrong things (like set stop_bpstat to the wrong thing). */
1239 discard_cleanups (old_chain);
1240 /* Prevent memory leak. */
30d20d15 1241 bpstat_clear (&inf_status.stop_bpstat);
860a1754
JK
1242
1243 /* The following error message used to say "The expression
1244 which contained the function call has been discarded." It
1245 is a hard concept to explain in a few words. Ideally, GDB
1246 would be able to resume evaluation of the expression when
1247 the function finally is done executing. Perhaps someday
1248 this will be implemented (it would not be easy). */
1249
1250 /* FIXME: Insert a bunch of wrap_here; name can be very long if it's
1251 a C++ name with arguments and stuff. */
1252 error ("\
1253The program being debugged stopped while in a function called from GDB.\n\
1254When the function (%s) is done executing, GDB will silently\n\
1255stop (instead of continuing to evaluate the expression containing\n\
1256the function call).", name);
1257 }
bd5635a1
RP
1258
1259 do_cleanups (old_chain);
1260
860a1754 1261 /* Figure out the value returned by the function. */
bd5635a1
RP
1262 return value_being_returned (value_type, retbuf, struct_return);
1263 }
1264}
1265#else /* no CALL_DUMMY. */
a91a6192 1266value_ptr
bd5635a1 1267call_function_by_hand (function, nargs, args)
a91a6192 1268 value_ptr function;
bd5635a1 1269 int nargs;
a91a6192 1270 value_ptr *args;
bd5635a1
RP
1271{
1272 error ("Cannot invoke functions on this machine.");
1273}
1274#endif /* no CALL_DUMMY. */
a163ddec 1275
bd5635a1 1276\f
a163ddec
MT
1277/* Create a value for an array by allocating space in the inferior, copying
1278 the data into that space, and then setting up an array value.
1279
1280 The array bounds are set from LOWBOUND and HIGHBOUND, and the array is
1281 populated from the values passed in ELEMVEC.
1282
1283 The element type of the array is inherited from the type of the
1284 first element, and all elements must have the same size (though we
1285 don't currently enforce any restriction on their types). */
bd5635a1 1286
a91a6192 1287value_ptr
a163ddec
MT
1288value_array (lowbound, highbound, elemvec)
1289 int lowbound;
1290 int highbound;
a91a6192 1291 value_ptr *elemvec;
bd5635a1 1292{
a163ddec
MT
1293 int nelem;
1294 int idx;
1295 int typelength;
a91a6192 1296 value_ptr val;
a163ddec
MT
1297 struct type *rangetype;
1298 struct type *arraytype;
1299 CORE_ADDR addr;
bd5635a1 1300
a163ddec
MT
1301 /* Validate that the bounds are reasonable and that each of the elements
1302 have the same size. */
bd5635a1 1303
a163ddec
MT
1304 nelem = highbound - lowbound + 1;
1305 if (nelem <= 0)
bd5635a1 1306 {
a163ddec 1307 error ("bad array bounds (%d, %d)", lowbound, highbound);
bd5635a1 1308 }
a163ddec
MT
1309 typelength = TYPE_LENGTH (VALUE_TYPE (elemvec[0]));
1310 for (idx = 0; idx < nelem; idx++)
bd5635a1 1311 {
a163ddec
MT
1312 if (TYPE_LENGTH (VALUE_TYPE (elemvec[idx])) != typelength)
1313 {
1314 error ("array elements must all be the same size");
1315 }
bd5635a1
RP
1316 }
1317
a163ddec
MT
1318 /* Allocate space to store the array in the inferior, and then initialize
1319 it by copying in each element. FIXME: Is it worth it to create a
1320 local buffer in which to collect each value and then write all the
1321 bytes in one operation? */
1322
1323 addr = allocate_space_in_inferior (nelem * typelength);
1324 for (idx = 0; idx < nelem; idx++)
1325 {
1326 write_memory (addr + (idx * typelength), VALUE_CONTENTS (elemvec[idx]),
1327 typelength);
1328 }
1329
1330 /* Create the array type and set up an array value to be evaluated lazily. */
1331
1332 rangetype = create_range_type ((struct type *) NULL, builtin_type_int,
1333 lowbound, highbound);
1334 arraytype = create_array_type ((struct type *) NULL,
1335 VALUE_TYPE (elemvec[0]), rangetype);
1336 val = value_at_lazy (arraytype, addr);
1337 return (val);
1338}
1339
1340/* Create a value for a string constant by allocating space in the inferior,
1341 copying the data into that space, and returning the address with type
1342 TYPE_CODE_STRING. PTR points to the string constant data; LEN is number
1343 of characters.
1344 Note that string types are like array of char types with a lower bound of
1345 zero and an upper bound of LEN - 1. Also note that the string may contain
1346 embedded null bytes. */
1347
a91a6192 1348value_ptr
a163ddec
MT
1349value_string (ptr, len)
1350 char *ptr;
1351 int len;
1352{
a91a6192 1353 value_ptr val;
5222ca60 1354 int lowbound = current_language->string_lower_bound;
f91a9e05 1355 struct type *rangetype = create_range_type ((struct type *) NULL,
5222ca60
PB
1356 builtin_type_int,
1357 lowbound, len + lowbound - 1);
f91a9e05
PB
1358 struct type *stringtype
1359 = create_string_type ((struct type *) NULL, rangetype);
a163ddec
MT
1360 CORE_ADDR addr;
1361
f91a9e05
PB
1362 if (current_language->c_style_arrays == 0)
1363 {
1364 val = allocate_value (stringtype);
1365 memcpy (VALUE_CONTENTS_RAW (val), ptr, len);
1366 return val;
1367 }
1368
1369
a163ddec
MT
1370 /* Allocate space to store the string in the inferior, and then
1371 copy LEN bytes from PTR in gdb to that address in the inferior. */
1372
1373 addr = allocate_space_in_inferior (len);
1374 write_memory (addr, ptr, len);
1375
a163ddec
MT
1376 val = value_at_lazy (stringtype, addr);
1377 return (val);
bd5635a1 1378}
6d34c236
PB
1379
1380value_ptr
1381value_bitstring (ptr, len)
1382 char *ptr;
1383 int len;
1384{
1385 value_ptr val;
1386 struct type *domain_type = create_range_type (NULL, builtin_type_int,
1387 0, len - 1);
1388 struct type *type = create_set_type ((struct type*) NULL, domain_type);
1389 TYPE_CODE (type) = TYPE_CODE_BITSTRING;
1390 val = allocate_value (type);
1391 memcpy (VALUE_CONTENTS_RAW (val), ptr, TYPE_LENGTH (type) / TARGET_CHAR_BIT);
1392 return val;
1393}
bd5635a1 1394\f
479fdd26
JK
1395/* See if we can pass arguments in T2 to a function which takes arguments
1396 of types T1. Both t1 and t2 are NULL-terminated vectors. If some
1397 arguments need coercion of some sort, then the coerced values are written
1398 into T2. Return value is 0 if the arguments could be matched, or the
1399 position at which they differ if not.
a163ddec
MT
1400
1401 STATICP is nonzero if the T1 argument list came from a
1402 static member function.
1403
1404 For non-static member functions, we ignore the first argument,
1405 which is the type of the instance variable. This is because we want
1406 to handle calls with objects from derived classes. This is not
1407 entirely correct: we should actually check to make sure that a
1408 requested operation is type secure, shouldn't we? FIXME. */
1409
1410static int
1411typecmp (staticp, t1, t2)
1412 int staticp;
1413 struct type *t1[];
a91a6192 1414 value_ptr t2[];
a163ddec
MT
1415{
1416 int i;
1417
1418 if (t2 == 0)
1419 return 1;
1420 if (staticp && t1 == 0)
1421 return t2[1] != 0;
1422 if (t1 == 0)
1423 return 1;
1424 if (TYPE_CODE (t1[0]) == TYPE_CODE_VOID) return 0;
1425 if (t1[!staticp] == 0) return 0;
1426 for (i = !staticp; t1[i] && TYPE_CODE (t1[i]) != TYPE_CODE_VOID; i++)
1427 {
40620258 1428 struct type *tt1, *tt2;
a163ddec
MT
1429 if (! t2[i])
1430 return i+1;
40620258
KH
1431 tt1 = t1[i];
1432 tt2 = VALUE_TYPE(t2[i]);
1433 if (TYPE_CODE (tt1) == TYPE_CODE_REF
479fdd26 1434 /* We should be doing hairy argument matching, as below. */
40620258 1435 && (TYPE_CODE (TYPE_TARGET_TYPE (tt1)) == TYPE_CODE (tt2)))
479fdd26
JK
1436 {
1437 t2[i] = value_addr (t2[i]);
1438 continue;
1439 }
1440
40620258
KH
1441 while (TYPE_CODE (tt1) == TYPE_CODE_PTR
1442 && (TYPE_CODE(tt2)==TYPE_CODE_ARRAY || TYPE_CODE(tt2)==TYPE_CODE_PTR))
1443 {
1444 tt1 = TYPE_TARGET_TYPE(tt1);
1445 tt2 = TYPE_TARGET_TYPE(tt2);
1446 }
1447 if (TYPE_CODE(tt1) == TYPE_CODE(tt2)) continue;
1448 /* Array to pointer is a `trivial conversion' according to the ARM. */
479fdd26
JK
1449
1450 /* We should be doing much hairier argument matching (see section 13.2
1451 of the ARM), but as a quick kludge, just check for the same type
1452 code. */
a163ddec
MT
1453 if (TYPE_CODE (t1[i]) != TYPE_CODE (VALUE_TYPE (t2[i])))
1454 return i+1;
1455 }
1456 if (!t1[i]) return 0;
1457 return t2[i] ? i+1 : 0;
1458}
1459
bd5635a1
RP
1460/* Helper function used by value_struct_elt to recurse through baseclasses.
1461 Look for a field NAME in ARG1. Adjust the address of ARG1 by OFFSET bytes,
2a5ec41d 1462 and search in it assuming it has (class) type TYPE.
d3bab255
JK
1463 If found, return value, else return NULL.
1464
1465 If LOOKING_FOR_BASECLASS, then instead of looking for struct fields,
1466 look for a baseclass named NAME. */
bd5635a1 1467
a91a6192 1468static value_ptr
d3bab255 1469search_struct_field (name, arg1, offset, type, looking_for_baseclass)
bd5635a1 1470 char *name;
a91a6192 1471 register value_ptr arg1;
bd5635a1
RP
1472 int offset;
1473 register struct type *type;
d3bab255 1474 int looking_for_baseclass;
bd5635a1
RP
1475{
1476 int i;
1477
1478 check_stub_type (type);
1479
d3bab255
JK
1480 if (! looking_for_baseclass)
1481 for (i = TYPE_NFIELDS (type) - 1; i >= TYPE_N_BASECLASSES (type); i--)
1482 {
1483 char *t_field_name = TYPE_FIELD_NAME (type, i);
1484
2e4964ad 1485 if (t_field_name && STREQ (t_field_name, name))
d3bab255 1486 {
a91a6192 1487 value_ptr v;
01be6913
PB
1488 if (TYPE_FIELD_STATIC (type, i))
1489 {
1490 char *phys_name = TYPE_FIELD_STATIC_PHYSNAME (type, i);
1491 struct symbol *sym =
2e4964ad
FF
1492 lookup_symbol (phys_name, 0, VAR_NAMESPACE, 0, NULL);
1493 if (sym == NULL)
1494 error ("Internal error: could not find physical static variable named %s",
1495 phys_name);
01be6913
PB
1496 v = value_at (TYPE_FIELD_TYPE (type, i),
1497 (CORE_ADDR)SYMBOL_BLOCK_VALUE (sym));
1498 }
1499 else
1500 v = value_primitive_field (arg1, offset, i, type);
d3bab255
JK
1501 if (v == 0)
1502 error("there is no field named %s", name);
1503 return v;
1504 }
6d34c236
PB
1505 if (t_field_name && t_field_name[0] == '\0'
1506 && TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_UNION)
1507 {
1508 /* Look for a match through the fields of an anonymous union. */
1509 value_ptr v;
1510 v = search_struct_field (name, arg1, offset,
1511 TYPE_FIELD_TYPE (type, i),
1512 looking_for_baseclass);
1513 if (v)
1514 return v;
1515 }
d3bab255 1516 }
bd5635a1
RP
1517
1518 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
1519 {
a91a6192 1520 value_ptr v;
bd5635a1 1521 /* If we are looking for baseclasses, this is what we get when we
54023465
JK
1522 hit them. But it could happen that the base part's member name
1523 is not yet filled in. */
d3bab255 1524 int found_baseclass = (looking_for_baseclass
54023465 1525 && TYPE_BASECLASS_NAME (type, i) != NULL
2e4964ad 1526 && STREQ (name, TYPE_BASECLASS_NAME (type, i)));
bd5635a1
RP
1527
1528 if (BASETYPE_VIA_VIRTUAL (type, i))
1529 {
a91a6192 1530 value_ptr v2;
bac89d6c 1531 /* Fix to use baseclass_offset instead. FIXME */
d11c44f1
JG
1532 baseclass_addr (type, i, VALUE_CONTENTS (arg1) + offset,
1533 &v2, (int *)NULL);
bd5635a1
RP
1534 if (v2 == 0)
1535 error ("virtual baseclass botch");
1536 if (found_baseclass)
1537 return v2;
d3bab255
JK
1538 v = search_struct_field (name, v2, 0, TYPE_BASECLASS (type, i),
1539 looking_for_baseclass);
bd5635a1 1540 }
01be6913 1541 else if (found_baseclass)
bd5635a1
RP
1542 v = value_primitive_field (arg1, offset, i, type);
1543 else
1544 v = search_struct_field (name, arg1,
1545 offset + TYPE_BASECLASS_BITPOS (type, i) / 8,
d3bab255
JK
1546 TYPE_BASECLASS (type, i),
1547 looking_for_baseclass);
bd5635a1
RP
1548 if (v) return v;
1549 }
1550 return NULL;
1551}
1552
1553/* Helper function used by value_struct_elt to recurse through baseclasses.
1554 Look for a field NAME in ARG1. Adjust the address of ARG1 by OFFSET bytes,
2a5ec41d 1555 and search in it assuming it has (class) type TYPE.
cef4c2e7 1556 If found, return value, else if name matched and args not return (value)-1,
5b5c6d94 1557 else return NULL. */
bd5635a1 1558
a91a6192 1559static value_ptr
bac89d6c 1560search_struct_method (name, arg1p, args, offset, static_memfuncp, type)
bd5635a1 1561 char *name;
a91a6192 1562 register value_ptr *arg1p, *args;
bd5635a1
RP
1563 int offset, *static_memfuncp;
1564 register struct type *type;
1565{
1566 int i;
a91a6192 1567 value_ptr v;
67e9b3b3 1568 int name_matched = 0;
6ebc9cdd 1569 char dem_opname[64];
bd5635a1
RP
1570
1571 check_stub_type (type);
1572 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; i--)
1573 {
1574 char *t_field_name = TYPE_FN_FIELDLIST_NAME (type, i);
6ebc9cdd
KH
1575 if (strncmp(t_field_name, "__", 2)==0 ||
1576 strncmp(t_field_name, "op", 2)==0 ||
1577 strncmp(t_field_name, "type", 4)==0 )
1578 {
1579 if (cplus_demangle_opname(t_field_name, dem_opname, DMGL_ANSI))
1580 t_field_name = dem_opname;
1581 else if (cplus_demangle_opname(t_field_name, dem_opname, 0))
1582 t_field_name = dem_opname;
1583 }
2e4964ad 1584 if (t_field_name && STREQ (t_field_name, name))
bd5635a1 1585 {
d3bab255 1586 int j = TYPE_FN_FIELDLIST_LENGTH (type, i) - 1;
bd5635a1 1587 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i);
5b5c6d94 1588 name_matched = 1;
bd5635a1 1589
d3bab255
JK
1590 if (j > 0 && args == 0)
1591 error ("cannot resolve overloaded method `%s'", name);
1592 while (j >= 0)
bd5635a1 1593 {
8e9a3f3b 1594 if (TYPE_FN_FIELD_STUB (f, j))
bd5635a1
RP
1595 check_stub_method (type, i, j);
1596 if (!typecmp (TYPE_FN_FIELD_STATIC_P (f, j),
1597 TYPE_FN_FIELD_ARGS (f, j), args))
1598 {
1599 if (TYPE_FN_FIELD_VIRTUAL_P (f, j))
a91a6192 1600 return value_virtual_fn_field (arg1p, f, j, type, offset);
bd5635a1
RP
1601 if (TYPE_FN_FIELD_STATIC_P (f, j) && static_memfuncp)
1602 *static_memfuncp = 1;
a91a6192
SS
1603 v = value_fn_field (arg1p, f, j, type, offset);
1604 if (v != NULL) return v;
bd5635a1 1605 }
d3bab255 1606 j--;
bd5635a1
RP
1607 }
1608 }
1609 }
1610
1611 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
1612 {
01be6913 1613 int base_offset;
bd5635a1
RP
1614
1615 if (BASETYPE_VIA_VIRTUAL (type, i))
1616 {
9f739abd 1617 base_offset = baseclass_offset (type, i, *arg1p, offset);
bac89d6c 1618 if (base_offset == -1)
bd5635a1 1619 error ("virtual baseclass botch");
bd5635a1 1620 }
01be6913
PB
1621 else
1622 {
01be6913
PB
1623 base_offset = TYPE_BASECLASS_BITPOS (type, i) / 8;
1624 }
bac89d6c 1625 v = search_struct_method (name, arg1p, args, base_offset + offset,
bd5635a1 1626 static_memfuncp, TYPE_BASECLASS (type, i));
a91a6192 1627 if (v == (value_ptr) -1)
5b5c6d94
KH
1628 {
1629 name_matched = 1;
1630 }
1631 else if (v)
bac89d6c
FF
1632 {
1633/* FIXME-bothner: Why is this commented out? Why is it here? */
1634/* *arg1p = arg1_tmp;*/
1635 return v;
1636 }
bd5635a1 1637 }
a91a6192 1638 if (name_matched) return (value_ptr) -1;
5b5c6d94 1639 else return NULL;
bd5635a1
RP
1640}
1641
1642/* Given *ARGP, a value of type (pointer to a)* structure/union,
1643 extract the component named NAME from the ultimate target structure/union
1644 and return it as a value with its appropriate type.
1645 ERR is used in the error message if *ARGP's type is wrong.
1646
1647 C++: ARGS is a list of argument types to aid in the selection of
1648 an appropriate method. Also, handle derived types.
1649
1650 STATIC_MEMFUNCP, if non-NULL, points to a caller-supplied location
1651 where the truthvalue of whether the function that was resolved was
1652 a static member function or not is stored.
1653
1654 ERR is an error message to be printed in case the field is not found. */
1655
a91a6192 1656value_ptr
bd5635a1 1657value_struct_elt (argp, args, name, static_memfuncp, err)
a91a6192 1658 register value_ptr *argp, *args;
bd5635a1
RP
1659 char *name;
1660 int *static_memfuncp;
1661 char *err;
1662{
1663 register struct type *t;
a91a6192 1664 value_ptr v;
bd5635a1
RP
1665
1666 COERCE_ARRAY (*argp);
1667
1668 t = VALUE_TYPE (*argp);
1669
1670 /* Follow pointers until we get to a non-pointer. */
1671
1672 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
1673 {
bd5635a1 1674 *argp = value_ind (*argp);
f2ebc25f
JK
1675 /* Don't coerce fn pointer to fn and then back again! */
1676 if (TYPE_CODE (VALUE_TYPE (*argp)) != TYPE_CODE_FUNC)
1677 COERCE_ARRAY (*argp);
bd5635a1
RP
1678 t = VALUE_TYPE (*argp);
1679 }
1680
1681 if (TYPE_CODE (t) == TYPE_CODE_MEMBER)
1682 error ("not implemented: member type in value_struct_elt");
1683
2a5ec41d 1684 if ( TYPE_CODE (t) != TYPE_CODE_STRUCT
bd5635a1
RP
1685 && TYPE_CODE (t) != TYPE_CODE_UNION)
1686 error ("Attempt to extract a component of a value that is not a %s.", err);
1687
1688 /* Assume it's not, unless we see that it is. */
1689 if (static_memfuncp)
1690 *static_memfuncp =0;
1691
1692 if (!args)
1693 {
1694 /* if there are no arguments ...do this... */
1695
d3bab255 1696 /* Try as a field first, because if we succeed, there
bd5635a1 1697 is less work to be done. */
d3bab255 1698 v = search_struct_field (name, *argp, 0, t, 0);
bd5635a1
RP
1699 if (v)
1700 return v;
1701
1702 /* C++: If it was not found as a data field, then try to
1703 return it as a pointer to a method. */
1704
1705 if (destructor_name_p (name, t))
1706 error ("Cannot get value of destructor");
1707
bac89d6c 1708 v = search_struct_method (name, argp, args, 0, static_memfuncp, t);
bd5635a1 1709
a91a6192 1710 if (v == (value_ptr) -1)
67e9b3b3
PS
1711 error ("Cannot take address of a method");
1712 else if (v == 0)
bd5635a1
RP
1713 {
1714 if (TYPE_NFN_FIELDS (t))
1715 error ("There is no member or method named %s.", name);
1716 else
1717 error ("There is no member named %s.", name);
1718 }
1719 return v;
1720 }
1721
1722 if (destructor_name_p (name, t))
1723 {
1724 if (!args[1])
1725 {
1726 /* destructors are a special case. */
a91a6192
SS
1727 v = value_fn_field (NULL, TYPE_FN_FIELDLIST1 (t, 0),
1728 TYPE_FN_FIELDLIST_LENGTH (t, 0), 0, 0);
40620258
KH
1729 if (!v) error("could not find destructor function named %s.", name);
1730 else return v;
bd5635a1
RP
1731 }
1732 else
1733 {
1734 error ("destructor should not have any argument");
1735 }
1736 }
1737 else
bac89d6c 1738 v = search_struct_method (name, argp, args, 0, static_memfuncp, t);
bd5635a1 1739
a91a6192 1740 if (v == (value_ptr) -1)
5b5c6d94
KH
1741 {
1742 error("Argument list of %s mismatch with component in the structure.", name);
1743 }
1744 else if (v == 0)
bd5635a1
RP
1745 {
1746 /* See if user tried to invoke data as function. If so,
1747 hand it back. If it's not callable (i.e., a pointer to function),
1748 gdb should give an error. */
d3bab255 1749 v = search_struct_field (name, *argp, 0, t, 0);
bd5635a1
RP
1750 }
1751
1752 if (!v)
1753 error ("Structure has no component named %s.", name);
1754 return v;
1755}
1756
1757/* C++: return 1 is NAME is a legitimate name for the destructor
1758 of type TYPE. If TYPE does not have a destructor, or
1759 if NAME is inappropriate for TYPE, an error is signaled. */
1760int
1761destructor_name_p (name, type)
7919c3ed
JG
1762 const char *name;
1763 const struct type *type;
bd5635a1
RP
1764{
1765 /* destructors are a special case. */
1766
1767 if (name[0] == '~')
1768 {
1769 char *dname = type_name_no_tag (type);
6d34c236
PB
1770 char *cp = strchr (dname, '<');
1771 int len;
1772
1773 /* Do not compare the template part for template classes. */
1774 if (cp == NULL)
1775 len = strlen (dname);
1776 else
1777 len = cp - dname;
1778 if (strlen (name + 1) != len || !STREQN (dname, name + 1, len))
bd5635a1
RP
1779 error ("name of destructor must equal name of class");
1780 else
1781 return 1;
1782 }
1783 return 0;
1784}
1785
1786/* Helper function for check_field: Given TYPE, a structure/union,
1787 return 1 if the component named NAME from the ultimate
1788 target structure/union is defined, otherwise, return 0. */
1789
1790static int
1791check_field_in (type, name)
1792 register struct type *type;
01be6913 1793 const char *name;
bd5635a1
RP
1794{
1795 register int i;
1796
1797 for (i = TYPE_NFIELDS (type) - 1; i >= TYPE_N_BASECLASSES (type); i--)
1798 {
1799 char *t_field_name = TYPE_FIELD_NAME (type, i);
2e4964ad 1800 if (t_field_name && STREQ (t_field_name, name))
bd5635a1
RP
1801 return 1;
1802 }
1803
1804 /* C++: If it was not found as a data field, then try to
1805 return it as a pointer to a method. */
1806
1807 /* Destructors are a special case. */
1808 if (destructor_name_p (name, type))
1809 return 1;
1810
1811 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
1812 {
2e4964ad 1813 if (STREQ (TYPE_FN_FIELDLIST_NAME (type, i), name))
bd5635a1
RP
1814 return 1;
1815 }
1816
1817 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
1818 if (check_field_in (TYPE_BASECLASS (type, i), name))
1819 return 1;
1820
1821 return 0;
1822}
1823
1824
1825/* C++: Given ARG1, a value of type (pointer to a)* structure/union,
1826 return 1 if the component named NAME from the ultimate
1827 target structure/union is defined, otherwise, return 0. */
1828
1829int
1830check_field (arg1, name)
a91a6192 1831 register value_ptr arg1;
7919c3ed 1832 const char *name;
bd5635a1
RP
1833{
1834 register struct type *t;
1835
1836 COERCE_ARRAY (arg1);
1837
1838 t = VALUE_TYPE (arg1);
1839
1840 /* Follow pointers until we get to a non-pointer. */
1841
1842 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
1843 t = TYPE_TARGET_TYPE (t);
1844
1845 if (TYPE_CODE (t) == TYPE_CODE_MEMBER)
1846 error ("not implemented: member type in check_field");
1847
2a5ec41d 1848 if ( TYPE_CODE (t) != TYPE_CODE_STRUCT
bd5635a1
RP
1849 && TYPE_CODE (t) != TYPE_CODE_UNION)
1850 error ("Internal error: `this' is not an aggregate");
1851
1852 return check_field_in (t, name);
1853}
1854
01be6913 1855/* C++: Given an aggregate type CURTYPE, and a member name NAME,
2a5ec41d 1856 return the address of this member as a "pointer to member"
bd5635a1
RP
1857 type. If INTYPE is non-null, then it will be the type
1858 of the member we are looking for. This will help us resolve
01be6913
PB
1859 "pointers to member functions". This function is used
1860 to resolve user expressions of the form "DOMAIN::NAME". */
bd5635a1 1861
a91a6192 1862value_ptr
51b57ded 1863value_struct_elt_for_reference (domain, offset, curtype, name, intype)
01be6913 1864 struct type *domain, *curtype, *intype;
51b57ded 1865 int offset;
bd5635a1
RP
1866 char *name;
1867{
01be6913 1868 register struct type *t = curtype;
bd5635a1 1869 register int i;
a91a6192 1870 value_ptr v;
bd5635a1 1871
2a5ec41d 1872 if ( TYPE_CODE (t) != TYPE_CODE_STRUCT
bd5635a1 1873 && TYPE_CODE (t) != TYPE_CODE_UNION)
01be6913 1874 error ("Internal error: non-aggregate type to value_struct_elt_for_reference");
bd5635a1 1875
01be6913 1876 for (i = TYPE_NFIELDS (t) - 1; i >= TYPE_N_BASECLASSES (t); i--)
bd5635a1 1877 {
01be6913
PB
1878 char *t_field_name = TYPE_FIELD_NAME (t, i);
1879
2e4964ad 1880 if (t_field_name && STREQ (t_field_name, name))
bd5635a1 1881 {
01be6913 1882 if (TYPE_FIELD_STATIC (t, i))
bd5635a1 1883 {
01be6913
PB
1884 char *phys_name = TYPE_FIELD_STATIC_PHYSNAME (t, i);
1885 struct symbol *sym =
1886 lookup_symbol (phys_name, 0, VAR_NAMESPACE, 0, NULL);
2e4964ad
FF
1887 if (sym == NULL)
1888 error ("Internal error: could not find physical static variable named %s",
01be6913
PB
1889 phys_name);
1890 return value_at (SYMBOL_TYPE (sym),
1891 (CORE_ADDR)SYMBOL_BLOCK_VALUE (sym));
bd5635a1 1892 }
01be6913
PB
1893 if (TYPE_FIELD_PACKED (t, i))
1894 error ("pointers to bitfield members not allowed");
1895
1896 return value_from_longest
1897 (lookup_reference_type (lookup_member_type (TYPE_FIELD_TYPE (t, i),
1898 domain)),
51b57ded 1899 offset + (LONGEST) (TYPE_FIELD_BITPOS (t, i) >> 3));
bd5635a1 1900 }
bd5635a1
RP
1901 }
1902
1903 /* C++: If it was not found as a data field, then try to
1904 return it as a pointer to a method. */
bd5635a1
RP
1905
1906 /* Destructors are a special case. */
1907 if (destructor_name_p (name, t))
1908 {
2a5ec41d 1909 error ("member pointers to destructors not implemented yet");
bd5635a1
RP
1910 }
1911
1912 /* Perform all necessary dereferencing. */
1913 while (intype && TYPE_CODE (intype) == TYPE_CODE_PTR)
1914 intype = TYPE_TARGET_TYPE (intype);
1915
01be6913 1916 for (i = TYPE_NFN_FIELDS (t) - 1; i >= 0; --i)
bd5635a1 1917 {
852b3831
PB
1918 char *t_field_name = TYPE_FN_FIELDLIST_NAME (t, i);
1919 char dem_opname[64];
1920
1921 if (strncmp(t_field_name, "__", 2)==0 ||
1922 strncmp(t_field_name, "op", 2)==0 ||
1923 strncmp(t_field_name, "type", 4)==0 )
1924 {
1925 if (cplus_demangle_opname(t_field_name, dem_opname, DMGL_ANSI))
1926 t_field_name = dem_opname;
1927 else if (cplus_demangle_opname(t_field_name, dem_opname, 0))
1928 t_field_name = dem_opname;
1929 }
1930 if (t_field_name && STREQ (t_field_name, name))
bd5635a1 1931 {
01be6913
PB
1932 int j = TYPE_FN_FIELDLIST_LENGTH (t, i);
1933 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, i);
1934
1935 if (intype == 0 && j > 1)
1936 error ("non-unique member `%s' requires type instantiation", name);
1937 if (intype)
bd5635a1 1938 {
01be6913
PB
1939 while (j--)
1940 if (TYPE_FN_FIELD_TYPE (f, j) == intype)
1941 break;
1942 if (j < 0)
1943 error ("no member function matches that type instantiation");
1944 }
1945 else
1946 j = 0;
1947
1948 if (TYPE_FN_FIELD_STUB (f, j))
1949 check_stub_method (t, i, j);
1950 if (TYPE_FN_FIELD_VIRTUAL_P (f, j))
1951 {
1952 return value_from_longest
1953 (lookup_reference_type
1954 (lookup_member_type (TYPE_FN_FIELD_TYPE (f, j),
1955 domain)),
13ffa6be 1956 (LONGEST) METHOD_PTR_FROM_VOFFSET (TYPE_FN_FIELD_VOFFSET (f, j)));
01be6913
PB
1957 }
1958 else
1959 {
1960 struct symbol *s = lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, j),
1961 0, VAR_NAMESPACE, 0, NULL);
35fcebce
PB
1962 if (s == NULL)
1963 {
1964 v = 0;
1965 }
1966 else
1967 {
1968 v = read_var_value (s, 0);
01be6913 1969#if 0
35fcebce
PB
1970 VALUE_TYPE (v) = lookup_reference_type
1971 (lookup_member_type (TYPE_FN_FIELD_TYPE (f, j),
1972 domain));
01be6913 1973#endif
bd5635a1 1974 }
35fcebce 1975 return v;
bd5635a1
RP
1976 }
1977 }
35fcebce 1978 }
01be6913
PB
1979 for (i = TYPE_N_BASECLASSES (t) - 1; i >= 0; i--)
1980 {
a91a6192 1981 value_ptr v;
51b57ded
FF
1982 int base_offset;
1983
1984 if (BASETYPE_VIA_VIRTUAL (t, i))
1985 base_offset = 0;
1986 else
1987 base_offset = TYPE_BASECLASS_BITPOS (t, i) / 8;
01be6913 1988 v = value_struct_elt_for_reference (domain,
51b57ded 1989 offset + base_offset,
01be6913
PB
1990 TYPE_BASECLASS (t, i),
1991 name,
1992 intype);
1993 if (v)
1994 return v;
bd5635a1
RP
1995 }
1996 return 0;
1997}
1998
bd5635a1
RP
1999/* C++: return the value of the class instance variable, if one exists.
2000 Flag COMPLAIN signals an error if the request is made in an
2001 inappropriate context. */
6d34c236 2002
a91a6192 2003value_ptr
bd5635a1
RP
2004value_of_this (complain)
2005 int complain;
2006{
bd5635a1
RP
2007 struct symbol *func, *sym;
2008 struct block *b;
2009 int i;
2010 static const char funny_this[] = "this";
a91a6192 2011 value_ptr this;
bd5635a1
RP
2012
2013 if (selected_frame == 0)
2014 if (complain)
2015 error ("no frame selected");
2016 else return 0;
2017
2018 func = get_frame_function (selected_frame);
2019 if (!func)
2020 {
2021 if (complain)
2022 error ("no `this' in nameless context");
2023 else return 0;
2024 }
2025
2026 b = SYMBOL_BLOCK_VALUE (func);
2027 i = BLOCK_NSYMS (b);
2028 if (i <= 0)
2029 if (complain)
2030 error ("no args, no `this'");
2031 else return 0;
2032
2033 /* Calling lookup_block_symbol is necessary to get the LOC_REGISTER
2034 symbol instead of the LOC_ARG one (if both exist). */
2035 sym = lookup_block_symbol (b, funny_this, VAR_NAMESPACE);
2036 if (sym == NULL)
2037 {
2038 if (complain)
2039 error ("current stack frame not in method");
2040 else
2041 return NULL;
2042 }
2043
2044 this = read_var_value (sym, selected_frame);
2045 if (this == 0 && complain)
2046 error ("`this' argument at unknown address");
2047 return this;
2048}
a91a6192 2049
f91a9e05
PB
2050/* Create a slice (sub-string, sub-array) of ARRAY, that is LENGTH elements
2051 long, starting at LOWBOUND. The result has the same lower bound as
2052 the original ARRAY. */
2053
2054value_ptr
2055value_slice (array, lowbound, length)
2056 value_ptr array;
2057 int lowbound, length;
2058{
36633dcc 2059 COERCE_VARYING_ARRAY (array);
f91a9e05
PB
2060 if (TYPE_CODE (VALUE_TYPE (array)) == TYPE_CODE_BITSTRING)
2061 error ("not implemented - bitstring slice");
2062 if (TYPE_CODE (VALUE_TYPE (array)) != TYPE_CODE_ARRAY
2063 && TYPE_CODE (VALUE_TYPE (array)) != TYPE_CODE_STRING)
2064 error ("cannot take slice of non-array");
2065 else
2066 {
2067 struct type *slice_range_type, *slice_type;
2068 value_ptr slice;
2069 struct type *range_type = TYPE_FIELD_TYPE (VALUE_TYPE (array), 0);
2070 struct type *element_type = TYPE_TARGET_TYPE (VALUE_TYPE (array));
2071 int lowerbound = TYPE_LOW_BOUND (range_type);
2072 int upperbound = TYPE_HIGH_BOUND (range_type);
2073 int offset = (lowbound - lowerbound) * TYPE_LENGTH (element_type);
2074 if (lowbound < lowerbound || length < 0
2075 || lowbound + length - 1 > upperbound)
2076 error ("slice out of range");
36633dcc
JK
2077 /* FIXME-type-allocation: need a way to free this type when we are
2078 done with it. */
f91a9e05
PB
2079 slice_range_type = create_range_type ((struct type*) NULL,
2080 TYPE_TARGET_TYPE (range_type),
2081 lowerbound,
2082 lowerbound + length - 1);
2083 slice_type = create_array_type ((struct type*) NULL, element_type,
2084 slice_range_type);
2085 TYPE_CODE (slice_type) = TYPE_CODE (VALUE_TYPE (array));
2086 slice = allocate_value (slice_type);
2087 if (VALUE_LAZY (array))
2088 VALUE_LAZY (slice) = 1;
2089 else
2090 memcpy (VALUE_CONTENTS (slice), VALUE_CONTENTS (array) + offset,
2091 TYPE_LENGTH (slice_type));
2092 if (VALUE_LVAL (array) == lval_internalvar)
2093 VALUE_LVAL (slice) = lval_internalvar_component;
2094 else
2095 VALUE_LVAL (slice) = VALUE_LVAL (array);
2096 VALUE_ADDRESS (slice) = VALUE_ADDRESS (array);
2097 VALUE_OFFSET (slice) = VALUE_OFFSET (array) + offset;
2098 return slice;
2099 }
2100}
2101
2102/* Assuming chill_varying_type (VARRAY) is true, return an equivalent
2103 value as a fixed-length array. */
2104
2105value_ptr
2106varying_to_slice (varray)
2107 value_ptr varray;
2108{
2109 struct type *vtype = VALUE_TYPE (varray);
2110 LONGEST length = unpack_long (TYPE_FIELD_TYPE (vtype, 0),
2111 VALUE_CONTENTS (varray)
2112 + TYPE_FIELD_BITPOS (vtype, 0) / 8);
2113 return value_slice (value_primitive_field (varray, 0, 1, vtype), 0, length);
2114}
2115
a91a6192
SS
2116/* Create a value for a FORTRAN complex number. Currently most of
2117 the time values are coerced to COMPLEX*16 (i.e. a complex number
2118 composed of 2 doubles. This really should be a smarter routine
2119 that figures out precision inteligently as opposed to assuming
2120 doubles. FIXME: fmb */
2121
2122value_ptr
5222ca60 2123value_literal_complex (arg1, arg2, type)
a91a6192
SS
2124 value_ptr arg1;
2125 value_ptr arg2;
5222ca60 2126 struct type *type;
a91a6192 2127{
a91a6192 2128 register value_ptr val;
5222ca60 2129 struct type *real_type = TYPE_TARGET_TYPE (type);
a91a6192 2130
5222ca60
PB
2131 val = allocate_value (type);
2132 arg1 = value_cast (real_type, arg1);
2133 arg2 = value_cast (real_type, arg2);
a91a6192 2134
5222ca60
PB
2135 memcpy (VALUE_CONTENTS_RAW (val),
2136 VALUE_CONTENTS (arg1), TYPE_LENGTH (real_type));
2137 memcpy (VALUE_CONTENTS_RAW (val) + TYPE_LENGTH (real_type),
2138 VALUE_CONTENTS (arg2), TYPE_LENGTH (real_type));
a91a6192
SS
2139 return val;
2140}
9ed8604f 2141
5222ca60 2142/* Cast a value into the appropriate complex data type. */
9ed8604f
PS
2143
2144static value_ptr
5222ca60 2145cast_into_complex (type, val)
9ed8604f
PS
2146 struct type *type;
2147 register value_ptr val;
2148{
5222ca60
PB
2149 struct type *real_type = TYPE_TARGET_TYPE (type);
2150 if (TYPE_CODE (VALUE_TYPE (val)) == TYPE_CODE_COMPLEX)
9ed8604f 2151 {
5222ca60
PB
2152 struct type *val_real_type = TYPE_TARGET_TYPE (VALUE_TYPE (val));
2153 value_ptr re_val = allocate_value (val_real_type);
2154 value_ptr im_val = allocate_value (val_real_type);
9ed8604f 2155
5222ca60
PB
2156 memcpy (VALUE_CONTENTS_RAW (re_val),
2157 VALUE_CONTENTS (val), TYPE_LENGTH (val_real_type));
2158 memcpy (VALUE_CONTENTS_RAW (im_val),
2159 VALUE_CONTENTS (val) + TYPE_LENGTH (val_real_type),
2160 TYPE_LENGTH (val_real_type));
9ed8604f 2161
5222ca60 2162 return value_literal_complex (re_val, im_val, type);
9ed8604f 2163 }
5222ca60
PB
2164 else if (TYPE_CODE (VALUE_TYPE (val)) == TYPE_CODE_FLT
2165 || TYPE_CODE (VALUE_TYPE (val)) == TYPE_CODE_INT)
2166 return value_literal_complex (val, value_zero (real_type, not_lval), type);
9ed8604f 2167 else
5222ca60 2168 error ("cannot cast non-number to complex");
9ed8604f 2169}
This page took 0.332736 seconds and 4 git commands to generate.