* main.c (gdb_readline): If we read some characters followed by EOF,
[deliverable/binutils-gdb.git] / gdb / valops.c
CommitLineData
bd5635a1 1/* Perform non-arithmetic operations on values, for GDB.
e17960fb 2 Copyright 1986, 1987, 1989, 1991, 1992 Free Software Foundation, Inc.
bd5635a1
RP
3
4This file is part of GDB.
5
06b6c733 6This program is free software; you can redistribute it and/or modify
bd5635a1 7it under the terms of the GNU General Public License as published by
06b6c733
JG
8the Free Software Foundation; either version 2 of the License, or
9(at your option) any later version.
bd5635a1 10
06b6c733 11This program is distributed in the hope that it will be useful,
bd5635a1
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
06b6c733
JG
17along with this program; if not, write to the Free Software
18Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
bd5635a1 19
bd5635a1 20#include "defs.h"
bd5635a1 21#include "symtab.h"
01be6913 22#include "gdbtypes.h"
bd5635a1
RP
23#include "value.h"
24#include "frame.h"
25#include "inferior.h"
26#include "gdbcore.h"
27#include "target.h"
2e4964ad 28#include "demangle.h"
54023465 29#include "language.h"
bd5635a1
RP
30
31#include <errno.h>
32
33/* Local functions. */
01be6913 34
b5728692
SG
35static int
36typecmp PARAMS ((int staticp, struct type *t1[], value t2[]));
37
01be6913
PB
38static CORE_ADDR
39find_function_addr PARAMS ((value, struct type **));
40
41static CORE_ADDR
42value_push PARAMS ((CORE_ADDR, value));
43
44static CORE_ADDR
45value_arg_push PARAMS ((CORE_ADDR, value));
46
47static value
48search_struct_field PARAMS ((char *, value, int, struct type *, int));
49
50static value
bac89d6c 51search_struct_method PARAMS ((char *, value *, value *, int, int *,
01be6913
PB
52 struct type *));
53
54static int
55check_field_in PARAMS ((struct type *, const char *));
56
a163ddec
MT
57static CORE_ADDR
58allocate_space_in_inferior PARAMS ((int));
59
bd5635a1 60\f
a163ddec
MT
61/* Allocate NBYTES of space in the inferior using the inferior's malloc
62 and return a value that is a pointer to the allocated space. */
63
64static CORE_ADDR
65allocate_space_in_inferior (len)
66 int len;
67{
68 register value val;
69 register struct symbol *sym;
70 struct minimal_symbol *msymbol;
71 struct type *type;
72 value blocklen;
73 LONGEST maddr;
74
75 /* Find the address of malloc in the inferior. */
76
77 sym = lookup_symbol ("malloc", 0, VAR_NAMESPACE, 0, NULL);
78 if (sym != NULL)
79 {
80 if (SYMBOL_CLASS (sym) != LOC_BLOCK)
81 {
82 error ("\"malloc\" exists in this program but is not a function.");
83 }
84 val = value_of_variable (sym);
85 }
86 else
87 {
88 msymbol = lookup_minimal_symbol ("malloc", (struct objfile *) NULL);
89 if (msymbol != NULL)
90 {
91 type = lookup_pointer_type (builtin_type_char);
92 type = lookup_function_type (type);
93 type = lookup_pointer_type (type);
94 maddr = (LONGEST) SYMBOL_VALUE_ADDRESS (msymbol);
95 val = value_from_longest (type, maddr);
96 }
97 else
98 {
99 error ("evaluation of this expression requires the program to have a function \"malloc\".");
100 }
101 }
102
103 blocklen = value_from_longest (builtin_type_int, (LONGEST) len);
104 val = call_function_by_hand (val, 1, &blocklen);
105 if (value_logical_not (val))
106 {
107 error ("No memory available to program.");
108 }
109 return (value_as_long (val));
110}
111
bd5635a1
RP
112/* Cast value ARG2 to type TYPE and return as a value.
113 More general than a C cast: accepts any two types of the same length,
114 and if ARG2 is an lvalue it can be cast into anything at all. */
54023465 115/* In C++, casts may change pointer or object representations. */
bd5635a1
RP
116
117value
118value_cast (type, arg2)
119 struct type *type;
120 register value arg2;
121{
122 register enum type_code code1;
123 register enum type_code code2;
124 register int scalar;
125
126 /* Coerce arrays but not enums. Enums will work as-is
127 and coercing them would cause an infinite recursion. */
128 if (TYPE_CODE (VALUE_TYPE (arg2)) != TYPE_CODE_ENUM)
129 COERCE_ARRAY (arg2);
130
131 code1 = TYPE_CODE (type);
132 code2 = TYPE_CODE (VALUE_TYPE (arg2));
133 scalar = (code2 == TYPE_CODE_INT || code2 == TYPE_CODE_FLT
134 || code2 == TYPE_CODE_ENUM);
135
54023465
JK
136 if ( code1 == TYPE_CODE_STRUCT
137 && code2 == TYPE_CODE_STRUCT
138 && TYPE_NAME (type) != 0)
139 {
140 /* Look in the type of the source to see if it contains the
141 type of the target as a superclass. If so, we'll need to
142 offset the object in addition to changing its type. */
143 value v = search_struct_field (type_name_no_tag (type),
144 arg2, 0, VALUE_TYPE (arg2), 1);
145 if (v)
146 {
147 VALUE_TYPE (v) = type;
148 return v;
149 }
150 }
bd5635a1
RP
151 if (code1 == TYPE_CODE_FLT && scalar)
152 return value_from_double (type, value_as_double (arg2));
153 else if ((code1 == TYPE_CODE_INT || code1 == TYPE_CODE_ENUM)
154 && (scalar || code2 == TYPE_CODE_PTR))
06b6c733 155 return value_from_longest (type, value_as_long (arg2));
bd5635a1
RP
156 else if (TYPE_LENGTH (type) == TYPE_LENGTH (VALUE_TYPE (arg2)))
157 {
158 if (code1 == TYPE_CODE_PTR && code2 == TYPE_CODE_PTR)
159 {
160 /* Look in the type of the source to see if it contains the
161 type of the target as a superclass. If so, we'll need to
162 offset the pointer rather than just change its type. */
163 struct type *t1 = TYPE_TARGET_TYPE (type);
164 struct type *t2 = TYPE_TARGET_TYPE (VALUE_TYPE (arg2));
2a5ec41d 165 if ( TYPE_CODE (t1) == TYPE_CODE_STRUCT
bd5635a1
RP
166 && TYPE_CODE (t2) == TYPE_CODE_STRUCT
167 && TYPE_NAME (t1) != 0) /* if name unknown, can't have supercl */
168 {
169 value v = search_struct_field (type_name_no_tag (t1),
d3bab255 170 value_ind (arg2), 0, t2, 1);
bd5635a1
RP
171 if (v)
172 {
173 v = value_addr (v);
174 VALUE_TYPE (v) = type;
175 return v;
176 }
177 }
178 /* No superclass found, just fall through to change ptr type. */
179 }
180 VALUE_TYPE (arg2) = type;
181 return arg2;
182 }
183 else if (VALUE_LVAL (arg2) == lval_memory)
184 {
185 return value_at_lazy (type, VALUE_ADDRESS (arg2) + VALUE_OFFSET (arg2));
186 }
d11c44f1
JG
187 else if (code1 == TYPE_CODE_VOID)
188 {
189 return value_zero (builtin_type_void, not_lval);
190 }
bd5635a1
RP
191 else
192 {
193 error ("Invalid cast.");
194 return 0;
195 }
196}
197
198/* Create a value of type TYPE that is zero, and return it. */
199
200value
201value_zero (type, lv)
202 struct type *type;
203 enum lval_type lv;
204{
205 register value val = allocate_value (type);
206
4ed3a9ea 207 memset (VALUE_CONTENTS (val), 0, TYPE_LENGTH (type));
bd5635a1
RP
208 VALUE_LVAL (val) = lv;
209
210 return val;
211}
212
213/* Return a value with type TYPE located at ADDR.
214
215 Call value_at only if the data needs to be fetched immediately;
216 if we can be 'lazy' and defer the fetch, perhaps indefinately, call
217 value_at_lazy instead. value_at_lazy simply records the address of
218 the data and sets the lazy-evaluation-required flag. The lazy flag
219 is tested in the VALUE_CONTENTS macro, which is used if and when
220 the contents are actually required. */
221
222value
223value_at (type, addr)
224 struct type *type;
225 CORE_ADDR addr;
226{
227 register value val = allocate_value (type);
228
229 read_memory (addr, VALUE_CONTENTS_RAW (val), TYPE_LENGTH (type));
230
231 VALUE_LVAL (val) = lval_memory;
232 VALUE_ADDRESS (val) = addr;
233
234 return val;
235}
236
237/* Return a lazy value with type TYPE located at ADDR (cf. value_at). */
238
239value
240value_at_lazy (type, addr)
241 struct type *type;
242 CORE_ADDR addr;
243{
244 register value val = allocate_value (type);
245
246 VALUE_LVAL (val) = lval_memory;
247 VALUE_ADDRESS (val) = addr;
248 VALUE_LAZY (val) = 1;
249
250 return val;
251}
252
253/* Called only from the VALUE_CONTENTS macro, if the current data for
254 a variable needs to be loaded into VALUE_CONTENTS(VAL). Fetches the
255 data from the user's process, and clears the lazy flag to indicate
256 that the data in the buffer is valid.
257
9cb602e1
JG
258 If the value is zero-length, we avoid calling read_memory, which would
259 abort. We mark the value as fetched anyway -- all 0 bytes of it.
260
bd5635a1
RP
261 This function returns a value because it is used in the VALUE_CONTENTS
262 macro as part of an expression, where a void would not work. The
263 value is ignored. */
264
265int
266value_fetch_lazy (val)
267 register value val;
268{
269 CORE_ADDR addr = VALUE_ADDRESS (val) + VALUE_OFFSET (val);
270
9cb602e1
JG
271 if (TYPE_LENGTH (VALUE_TYPE (val)))
272 read_memory (addr, VALUE_CONTENTS_RAW (val),
273 TYPE_LENGTH (VALUE_TYPE (val)));
bd5635a1
RP
274 VALUE_LAZY (val) = 0;
275 return 0;
276}
277
278
279/* Store the contents of FROMVAL into the location of TOVAL.
280 Return a new value with the location of TOVAL and contents of FROMVAL. */
281
282value
283value_assign (toval, fromval)
284 register value toval, fromval;
285{
286 register struct type *type = VALUE_TYPE (toval);
287 register value val;
288 char raw_buffer[MAX_REGISTER_RAW_SIZE];
289 char virtual_buffer[MAX_REGISTER_VIRTUAL_SIZE];
290 int use_buffer = 0;
291
292 COERCE_ARRAY (fromval);
8e9a3f3b 293 COERCE_REF (toval);
bd5635a1
RP
294
295 if (VALUE_LVAL (toval) != lval_internalvar)
296 fromval = value_cast (type, fromval);
297
298 /* If TOVAL is a special machine register requiring conversion
299 of program values to a special raw format,
300 convert FROMVAL's contents now, with result in `raw_buffer',
301 and set USE_BUFFER to the number of bytes to write. */
302
303 if (VALUE_REGNO (toval) >= 0
304 && REGISTER_CONVERTIBLE (VALUE_REGNO (toval)))
305 {
306 int regno = VALUE_REGNO (toval);
307 if (VALUE_TYPE (fromval) != REGISTER_VIRTUAL_TYPE (regno))
308 fromval = value_cast (REGISTER_VIRTUAL_TYPE (regno), fromval);
8e9a3f3b 309 memcpy (virtual_buffer, VALUE_CONTENTS (fromval),
bd5635a1 310 REGISTER_VIRTUAL_SIZE (regno));
bac89d6c 311 REGISTER_CONVERT_TO_RAW (regno, virtual_buffer, raw_buffer);
bd5635a1
RP
312 use_buffer = REGISTER_RAW_SIZE (regno);
313 }
314
315 switch (VALUE_LVAL (toval))
316 {
317 case lval_internalvar:
318 set_internalvar (VALUE_INTERNALVAR (toval), fromval);
319 break;
320
321 case lval_internalvar_component:
322 set_internalvar_component (VALUE_INTERNALVAR (toval),
323 VALUE_OFFSET (toval),
324 VALUE_BITPOS (toval),
325 VALUE_BITSIZE (toval),
326 fromval);
327 break;
328
329 case lval_memory:
330 if (VALUE_BITSIZE (toval))
331 {
332 int v; /* FIXME, this won't work for large bitfields */
333 read_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
01be6913 334 (char *) &v, sizeof v);
e17960fb 335 modify_field ((char *) &v, (int) value_as_long (fromval),
bd5635a1
RP
336 VALUE_BITPOS (toval), VALUE_BITSIZE (toval));
337 write_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
338 (char *)&v, sizeof v);
339 }
340 else if (use_buffer)
341 write_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
342 raw_buffer, use_buffer);
343 else
344 write_memory (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
345 VALUE_CONTENTS (fromval), TYPE_LENGTH (type));
346 break;
347
348 case lval_register:
349 if (VALUE_BITSIZE (toval))
350 {
351 int v;
352
353 read_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
e17960fb
JG
354 (char *) &v, sizeof v);
355 modify_field ((char *) &v, (int) value_as_long (fromval),
bd5635a1
RP
356 VALUE_BITPOS (toval), VALUE_BITSIZE (toval));
357 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
e17960fb 358 (char *) &v, sizeof v);
bd5635a1
RP
359 }
360 else if (use_buffer)
361 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
362 raw_buffer, use_buffer);
363 else
54023465
JK
364 {
365 /* Do any conversion necessary when storing this type to more
366 than one register. */
367#ifdef REGISTER_CONVERT_FROM_TYPE
368 memcpy (raw_buffer, VALUE_CONTENTS (fromval), TYPE_LENGTH (type));
369 REGISTER_CONVERT_FROM_TYPE(VALUE_REGNO (toval), type, raw_buffer);
370 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
371 raw_buffer, TYPE_LENGTH (type));
372#else
373 write_register_bytes (VALUE_ADDRESS (toval) + VALUE_OFFSET (toval),
374 VALUE_CONTENTS (fromval), TYPE_LENGTH (type));
375#endif
376 }
bd5635a1
RP
377 break;
378
379 case lval_reg_frame_relative:
380 {
381 /* value is stored in a series of registers in the frame
382 specified by the structure. Copy that value out, modify
383 it, and copy it back in. */
384 int amount_to_copy = (VALUE_BITSIZE (toval) ? 1 : TYPE_LENGTH (type));
385 int reg_size = REGISTER_RAW_SIZE (VALUE_FRAME_REGNUM (toval));
386 int byte_offset = VALUE_OFFSET (toval) % reg_size;
387 int reg_offset = VALUE_OFFSET (toval) / reg_size;
388 int amount_copied;
389 char *buffer = (char *) alloca (amount_to_copy);
390 int regno;
391 FRAME frame;
392
393 /* Figure out which frame this is in currently. */
394 for (frame = get_current_frame ();
395 frame && FRAME_FP (frame) != VALUE_FRAME (toval);
396 frame = get_prev_frame (frame))
397 ;
398
399 if (!frame)
400 error ("Value being assigned to is no longer active.");
401
402 amount_to_copy += (reg_size - amount_to_copy % reg_size);
403
404 /* Copy it out. */
405 for ((regno = VALUE_FRAME_REGNUM (toval) + reg_offset,
406 amount_copied = 0);
407 amount_copied < amount_to_copy;
408 amount_copied += reg_size, regno++)
409 {
410 get_saved_register (buffer + amount_copied,
51b57ded 411 (int *)NULL, (CORE_ADDR *)NULL,
bd5635a1
RP
412 frame, regno, (enum lval_type *)NULL);
413 }
414
415 /* Modify what needs to be modified. */
416 if (VALUE_BITSIZE (toval))
417 modify_field (buffer + byte_offset,
418 (int) value_as_long (fromval),
419 VALUE_BITPOS (toval), VALUE_BITSIZE (toval));
420 else if (use_buffer)
4ed3a9ea 421 memcpy (buffer + byte_offset, raw_buffer, use_buffer);
bd5635a1 422 else
4ed3a9ea
FF
423 memcpy (buffer + byte_offset, VALUE_CONTENTS (fromval),
424 TYPE_LENGTH (type));
bd5635a1
RP
425
426 /* Copy it back. */
427 for ((regno = VALUE_FRAME_REGNUM (toval) + reg_offset,
428 amount_copied = 0);
429 amount_copied < amount_to_copy;
430 amount_copied += reg_size, regno++)
431 {
432 enum lval_type lval;
433 CORE_ADDR addr;
434 int optim;
435
436 /* Just find out where to put it. */
437 get_saved_register ((char *)NULL,
438 &optim, &addr, frame, regno, &lval);
439
440 if (optim)
441 error ("Attempt to assign to a value that was optimized out.");
442 if (lval == lval_memory)
443 write_memory (addr, buffer + amount_copied, reg_size);
444 else if (lval == lval_register)
445 write_register_bytes (addr, buffer + amount_copied, reg_size);
446 else
447 error ("Attempt to assign to an unmodifiable value.");
448 }
449 }
450 break;
451
452
453 default:
454 error ("Left side of = operation is not an lvalue.");
455 }
456
457 /* Return a value just like TOVAL except with the contents of FROMVAL
458 (except in the case of the type if TOVAL is an internalvar). */
459
460 if (VALUE_LVAL (toval) == lval_internalvar
461 || VALUE_LVAL (toval) == lval_internalvar_component)
462 {
463 type = VALUE_TYPE (fromval);
464 }
465
466 val = allocate_value (type);
4ed3a9ea
FF
467 memcpy (val, toval, VALUE_CONTENTS_RAW (val) - (char *) val);
468 memcpy (VALUE_CONTENTS_RAW (val), VALUE_CONTENTS (fromval),
469 TYPE_LENGTH (type));
bd5635a1
RP
470 VALUE_TYPE (val) = type;
471
472 return val;
473}
474
475/* Extend a value VAL to COUNT repetitions of its type. */
476
477value
478value_repeat (arg1, count)
479 value arg1;
480 int count;
481{
482 register value val;
483
484 if (VALUE_LVAL (arg1) != lval_memory)
485 error ("Only values in memory can be extended with '@'.");
486 if (count < 1)
487 error ("Invalid number %d of repetitions.", count);
488
489 val = allocate_repeat_value (VALUE_TYPE (arg1), count);
490
491 read_memory (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1),
492 VALUE_CONTENTS_RAW (val),
493 TYPE_LENGTH (VALUE_TYPE (val)) * count);
494 VALUE_LVAL (val) = lval_memory;
495 VALUE_ADDRESS (val) = VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1);
496
497 return val;
498}
499
500value
501value_of_variable (var)
502 struct symbol *var;
503{
504 value val;
505
506 val = read_var_value (var, (FRAME) 0);
507 if (val == 0)
2e4964ad 508 error ("Address of symbol \"%s\" is unknown.", SYMBOL_SOURCE_NAME (var));
bd5635a1
RP
509 return val;
510}
511
a163ddec
MT
512/* Given a value which is an array, return a value which is a pointer to its
513 first element, regardless of whether or not the array has a nonzero lower
514 bound.
515
516 FIXME: A previous comment here indicated that this routine should be
517 substracting the array's lower bound. It's not clear to me that this
518 is correct. Given an array subscripting operation, it would certainly
519 work to do the adjustment here, essentially computing:
520
521 (&array[0] - (lowerbound * sizeof array[0])) + (index * sizeof array[0])
522
523 However I believe a more appropriate and logical place to account for
524 the lower bound is to do so in value_subscript, essentially computing:
525
526 (&array[0] + ((index - lowerbound) * sizeof array[0]))
527
528 As further evidence consider what would happen with operations other
529 than array subscripting, where the caller would get back a value that
530 had an address somewhere before the actual first element of the array,
531 and the information about the lower bound would be lost because of
532 the coercion to pointer type.
533 */
bd5635a1
RP
534
535value
536value_coerce_array (arg1)
537 value arg1;
538{
539 register struct type *type;
bd5635a1
RP
540
541 if (VALUE_LVAL (arg1) != lval_memory)
542 error ("Attempt to take address of value not located in memory.");
543
544 /* Get type of elements. */
545 if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_ARRAY)
546 type = TYPE_TARGET_TYPE (VALUE_TYPE (arg1));
547 else
548 /* A phony array made by value_repeat.
549 Its type is the type of the elements, not an array type. */
550 type = VALUE_TYPE (arg1);
551
06b6c733 552 return value_from_longest (lookup_pointer_type (type),
bd5635a1 553 (LONGEST) (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1)));
bd5635a1
RP
554}
555
556/* Given a value which is a function, return a value which is a pointer
557 to it. */
558
559value
560value_coerce_function (arg1)
561 value arg1;
562{
bd5635a1
RP
563
564 if (VALUE_LVAL (arg1) != lval_memory)
565 error ("Attempt to take address of value not located in memory.");
566
06b6c733 567 return value_from_longest (lookup_pointer_type (VALUE_TYPE (arg1)),
bd5635a1 568 (LONGEST) (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1)));
bd5635a1
RP
569}
570
571/* Return a pointer value for the object for which ARG1 is the contents. */
572
573value
574value_addr (arg1)
575 value arg1;
576{
8e9a3f3b
PB
577 struct type *type = VALUE_TYPE (arg1);
578 if (TYPE_CODE (type) == TYPE_CODE_REF)
579 {
580 /* Copy the value, but change the type from (T&) to (T*).
581 We keep the same location information, which is efficient,
582 and allows &(&X) to get the location containing the reference. */
583 value arg2 = value_copy (arg1);
584 VALUE_TYPE (arg2) = lookup_pointer_type (TYPE_TARGET_TYPE (type));
585 return arg2;
586 }
bd5635a1 587 if (VALUE_REPEATED (arg1)
8e9a3f3b 588 || TYPE_CODE (type) == TYPE_CODE_ARRAY)
bd5635a1 589 return value_coerce_array (arg1);
8e9a3f3b 590 if (TYPE_CODE (type) == TYPE_CODE_FUNC)
bd5635a1
RP
591 return value_coerce_function (arg1);
592
593 if (VALUE_LVAL (arg1) != lval_memory)
594 error ("Attempt to take address of value not located in memory.");
595
8e9a3f3b 596 return value_from_longest (lookup_pointer_type (type),
bd5635a1 597 (LONGEST) (VALUE_ADDRESS (arg1) + VALUE_OFFSET (arg1)));
bd5635a1
RP
598}
599
600/* Given a value of a pointer type, apply the C unary * operator to it. */
601
602value
603value_ind (arg1)
604 value arg1;
605{
606 COERCE_ARRAY (arg1);
607
608 if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_MEMBER)
609 error ("not implemented: member types in value_ind");
610
611 /* Allow * on an integer so we can cast it to whatever we want.
612 This returns an int, which seems like the most C-like thing
613 to do. "long long" variables are rare enough that
614 BUILTIN_TYPE_LONGEST would seem to be a mistake. */
615 if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_INT)
616 return value_at (builtin_type_int,
617 (CORE_ADDR) value_as_long (arg1));
618 else if (TYPE_CODE (VALUE_TYPE (arg1)) == TYPE_CODE_PTR)
619 return value_at_lazy (TYPE_TARGET_TYPE (VALUE_TYPE (arg1)),
d11c44f1 620 value_as_pointer (arg1));
bd5635a1
RP
621 error ("Attempt to take contents of a non-pointer value.");
622 return 0; /* For lint -- never reached */
623}
624\f
625/* Pushing small parts of stack frames. */
626
627/* Push one word (the size of object that a register holds). */
628
629CORE_ADDR
34df79fc 630push_word (sp, word)
bd5635a1 631 CORE_ADDR sp;
34df79fc 632 REGISTER_TYPE word;
bd5635a1
RP
633{
634 register int len = sizeof (REGISTER_TYPE);
34df79fc 635 REGISTER_TYPE buffer;
bd5635a1 636
34df79fc 637 store_unsigned_integer (&buffer, len, word);
bd5635a1
RP
638#if 1 INNER_THAN 2
639 sp -= len;
640 write_memory (sp, (char *)&buffer, len);
641#else /* stack grows upward */
642 write_memory (sp, (char *)&buffer, len);
643 sp += len;
644#endif /* stack grows upward */
645
646 return sp;
647}
648
649/* Push LEN bytes with data at BUFFER. */
650
651CORE_ADDR
652push_bytes (sp, buffer, len)
653 CORE_ADDR sp;
654 char *buffer;
655 int len;
656{
657#if 1 INNER_THAN 2
658 sp -= len;
659 write_memory (sp, buffer, len);
660#else /* stack grows upward */
661 write_memory (sp, buffer, len);
662 sp += len;
663#endif /* stack grows upward */
664
665 return sp;
666}
667
668/* Push onto the stack the specified value VALUE. */
669
01be6913 670static CORE_ADDR
bd5635a1
RP
671value_push (sp, arg)
672 register CORE_ADDR sp;
673 value arg;
674{
675 register int len = TYPE_LENGTH (VALUE_TYPE (arg));
676
677#if 1 INNER_THAN 2
678 sp -= len;
679 write_memory (sp, VALUE_CONTENTS (arg), len);
680#else /* stack grows upward */
681 write_memory (sp, VALUE_CONTENTS (arg), len);
682 sp += len;
683#endif /* stack grows upward */
684
685 return sp;
686}
687
688/* Perform the standard coercions that are specified
689 for arguments to be passed to C functions. */
690
691value
692value_arg_coerce (arg)
693 value arg;
694{
695 register struct type *type;
696
697 COERCE_ENUM (arg);
b5728692
SG
698#if 1 /* FIXME: This is only a temporary patch. -fnf */
699 if (VALUE_REPEATED (arg)
700 || TYPE_CODE (VALUE_TYPE (arg)) == TYPE_CODE_ARRAY)
701 arg = value_coerce_array (arg);
702 if (TYPE_CODE (VALUE_TYPE (arg)) == TYPE_CODE_FUNC)
703 arg = value_coerce_function (arg);
704#endif
bd5635a1
RP
705
706 type = VALUE_TYPE (arg);
707
708 if (TYPE_CODE (type) == TYPE_CODE_INT
2a5ec41d 709 && TYPE_LENGTH (type) < TYPE_LENGTH (builtin_type_int))
bd5635a1
RP
710 return value_cast (builtin_type_int, arg);
711
2a5ec41d
JG
712 if (TYPE_CODE (type) == TYPE_CODE_FLT
713 && TYPE_LENGTH (type) < TYPE_LENGTH (builtin_type_double))
bd5635a1
RP
714 return value_cast (builtin_type_double, arg);
715
716 return arg;
717}
718
719/* Push the value ARG, first coercing it as an argument
720 to a C function. */
721
01be6913 722static CORE_ADDR
bd5635a1
RP
723value_arg_push (sp, arg)
724 register CORE_ADDR sp;
725 value arg;
726{
727 return value_push (sp, value_arg_coerce (arg));
728}
729
730/* Determine a function's address and its return type from its value.
731 Calls error() if the function is not valid for calling. */
732
01be6913 733static CORE_ADDR
bd5635a1
RP
734find_function_addr (function, retval_type)
735 value function;
736 struct type **retval_type;
737{
738 register struct type *ftype = VALUE_TYPE (function);
739 register enum type_code code = TYPE_CODE (ftype);
740 struct type *value_type;
741 CORE_ADDR funaddr;
742
743 /* If it's a member function, just look at the function
744 part of it. */
745
746 /* Determine address to call. */
747 if (code == TYPE_CODE_FUNC || code == TYPE_CODE_METHOD)
748 {
749 funaddr = VALUE_ADDRESS (function);
750 value_type = TYPE_TARGET_TYPE (ftype);
751 }
752 else if (code == TYPE_CODE_PTR)
753 {
d11c44f1 754 funaddr = value_as_pointer (function);
bd5635a1
RP
755 if (TYPE_CODE (TYPE_TARGET_TYPE (ftype)) == TYPE_CODE_FUNC
756 || TYPE_CODE (TYPE_TARGET_TYPE (ftype)) == TYPE_CODE_METHOD)
757 value_type = TYPE_TARGET_TYPE (TYPE_TARGET_TYPE (ftype));
758 else
759 value_type = builtin_type_int;
760 }
761 else if (code == TYPE_CODE_INT)
762 {
763 /* Handle the case of functions lacking debugging info.
764 Their values are characters since their addresses are char */
765 if (TYPE_LENGTH (ftype) == 1)
d11c44f1 766 funaddr = value_as_pointer (value_addr (function));
bd5635a1
RP
767 else
768 /* Handle integer used as address of a function. */
d11c44f1 769 funaddr = (CORE_ADDR) value_as_long (function);
bd5635a1
RP
770
771 value_type = builtin_type_int;
772 }
773 else
774 error ("Invalid data type for function to be called.");
775
776 *retval_type = value_type;
777 return funaddr;
778}
779
780#if defined (CALL_DUMMY)
781/* All this stuff with a dummy frame may seem unnecessarily complicated
782 (why not just save registers in GDB?). The purpose of pushing a dummy
783 frame which looks just like a real frame is so that if you call a
784 function and then hit a breakpoint (get a signal, etc), "backtrace"
785 will look right. Whether the backtrace needs to actually show the
786 stack at the time the inferior function was called is debatable, but
787 it certainly needs to not display garbage. So if you are contemplating
788 making dummy frames be different from normal frames, consider that. */
789
790/* Perform a function call in the inferior.
791 ARGS is a vector of values of arguments (NARGS of them).
792 FUNCTION is a value, the function to be called.
793 Returns a value representing what the function returned.
794 May fail to return, if a breakpoint or signal is hit
795 during the execution of the function. */
796
797value
798call_function_by_hand (function, nargs, args)
799 value function;
800 int nargs;
801 value *args;
802{
803 register CORE_ADDR sp;
804 register int i;
805 CORE_ADDR start_sp;
f2ebc25f 806 /* CALL_DUMMY is an array of words (REGISTER_TYPE), but each word
84d82b1c 807 is in host byte order. It is switched to target byte order before calling
f2ebc25f 808 FIX_CALL_DUMMY. */
bd5635a1
RP
809 static REGISTER_TYPE dummy[] = CALL_DUMMY;
810 REGISTER_TYPE dummy1[sizeof dummy / sizeof (REGISTER_TYPE)];
811 CORE_ADDR old_sp;
812 struct type *value_type;
813 unsigned char struct_return;
814 CORE_ADDR struct_addr;
815 struct inferior_status inf_status;
816 struct cleanup *old_chain;
817 CORE_ADDR funaddr;
818 int using_gcc;
9f739abd 819 CORE_ADDR real_pc;
bd5635a1 820
e17960fb
JG
821 if (!target_has_execution)
822 noprocess();
823
bd5635a1
RP
824 save_inferior_status (&inf_status, 1);
825 old_chain = make_cleanup (restore_inferior_status, &inf_status);
826
827 /* PUSH_DUMMY_FRAME is responsible for saving the inferior registers
828 (and POP_FRAME for restoring them). (At least on most machines)
829 they are saved on the stack in the inferior. */
830 PUSH_DUMMY_FRAME;
831
54023465 832 old_sp = sp = read_sp ();
bd5635a1
RP
833
834#if 1 INNER_THAN 2 /* Stack grows down */
835 sp -= sizeof dummy;
836 start_sp = sp;
837#else /* Stack grows up */
838 start_sp = sp;
839 sp += sizeof dummy;
840#endif
841
842 funaddr = find_function_addr (function, &value_type);
843
844 {
845 struct block *b = block_for_pc (funaddr);
846 /* If compiled without -g, assume GCC. */
847 using_gcc = b == NULL || BLOCK_GCC_COMPILED (b);
848 }
849
850 /* Are we returning a value using a structure return or a normal
851 value return? */
852
853 struct_return = using_struct_return (function, funaddr, value_type,
854 using_gcc);
855
856 /* Create a call sequence customized for this function
857 and the number of arguments for it. */
f2ebc25f 858 for (i = 0; i < sizeof dummy / sizeof (REGISTER_TYPE); i++)
34df79fc
JK
859 store_unsigned_integer (&dummy1[i], sizeof (REGISTER_TYPE),
860 (unsigned LONGEST)dummy[i]);
9f739abd
SG
861
862#ifdef GDB_TARGET_IS_HPPA
b5728692
SG
863 real_pc = FIX_CALL_DUMMY (dummy1, start_sp, funaddr, nargs, args,
864 value_type, using_gcc);
9f739abd 865#else
bd5635a1
RP
866 FIX_CALL_DUMMY (dummy1, start_sp, funaddr, nargs, args,
867 value_type, using_gcc);
9f739abd
SG
868 real_pc = start_sp;
869#endif
bd5635a1
RP
870
871#if CALL_DUMMY_LOCATION == ON_STACK
872 write_memory (start_sp, (char *)dummy1, sizeof dummy);
873
874#else /* Not on stack. */
875#if CALL_DUMMY_LOCATION == BEFORE_TEXT_END
876 /* Convex Unix prohibits executing in the stack segment. */
877 /* Hope there is empty room at the top of the text segment. */
878 {
84d82b1c 879 extern CORE_ADDR text_end;
bd5635a1
RP
880 static checked = 0;
881 if (!checked)
882 for (start_sp = text_end - sizeof dummy; start_sp < text_end; ++start_sp)
883 if (read_memory_integer (start_sp, 1) != 0)
884 error ("text segment full -- no place to put call");
885 checked = 1;
886 sp = old_sp;
887 start_sp = text_end - sizeof dummy;
888 write_memory (start_sp, (char *)dummy1, sizeof dummy);
889 }
890#else /* After text_end. */
891 {
84d82b1c 892 extern CORE_ADDR text_end;
bd5635a1
RP
893 int errcode;
894 sp = old_sp;
895 start_sp = text_end;
896 errcode = target_write_memory (start_sp, (char *)dummy1, sizeof dummy);
897 if (errcode != 0)
898 error ("Cannot write text segment -- call_function failed");
899 }
900#endif /* After text_end. */
901#endif /* Not on stack. */
902
903#ifdef lint
904 sp = old_sp; /* It really is used, for some ifdef's... */
905#endif
906
907#ifdef STACK_ALIGN
908 /* If stack grows down, we must leave a hole at the top. */
909 {
910 int len = 0;
911
912 /* Reserve space for the return structure to be written on the
913 stack, if necessary */
914
915 if (struct_return)
916 len += TYPE_LENGTH (value_type);
917
918 for (i = nargs - 1; i >= 0; i--)
919 len += TYPE_LENGTH (VALUE_TYPE (value_arg_coerce (args[i])));
920#ifdef CALL_DUMMY_STACK_ADJUST
921 len += CALL_DUMMY_STACK_ADJUST;
922#endif
923#if 1 INNER_THAN 2
924 sp -= STACK_ALIGN (len) - len;
925#else
926 sp += STACK_ALIGN (len) - len;
927#endif
928 }
929#endif /* STACK_ALIGN */
930
931 /* Reserve space for the return structure to be written on the
932 stack, if necessary */
933
934 if (struct_return)
935 {
936#if 1 INNER_THAN 2
937 sp -= TYPE_LENGTH (value_type);
938 struct_addr = sp;
939#else
940 struct_addr = sp;
941 sp += TYPE_LENGTH (value_type);
942#endif
943 }
944
945#if defined (REG_STRUCT_HAS_ADDR)
946 {
947 /* This is a machine like the sparc, where we need to pass a pointer
948 to the structure, not the structure itself. */
949 if (REG_STRUCT_HAS_ADDR (using_gcc))
950 for (i = nargs - 1; i >= 0; i--)
951 if (TYPE_CODE (VALUE_TYPE (args[i])) == TYPE_CODE_STRUCT)
952 {
953 CORE_ADDR addr;
954#if !(1 INNER_THAN 2)
955 /* The stack grows up, so the address of the thing we push
956 is the stack pointer before we push it. */
957 addr = sp;
958#endif
959 /* Push the structure. */
960 sp = value_push (sp, args[i]);
961#if 1 INNER_THAN 2
962 /* The stack grows down, so the address of the thing we push
963 is the stack pointer after we push it. */
964 addr = sp;
965#endif
966 /* The value we're going to pass is the address of the thing
967 we just pushed. */
06b6c733
JG
968 args[i] = value_from_longest (lookup_pointer_type (value_type),
969 (LONGEST) addr);
bd5635a1
RP
970 }
971 }
972#endif /* REG_STRUCT_HAS_ADDR. */
973
974#ifdef PUSH_ARGUMENTS
975 PUSH_ARGUMENTS(nargs, args, sp, struct_return, struct_addr);
976#else /* !PUSH_ARGUMENTS */
977 for (i = nargs - 1; i >= 0; i--)
978 sp = value_arg_push (sp, args[i]);
979#endif /* !PUSH_ARGUMENTS */
980
981#ifdef CALL_DUMMY_STACK_ADJUST
982#if 1 INNER_THAN 2
983 sp -= CALL_DUMMY_STACK_ADJUST;
984#else
985 sp += CALL_DUMMY_STACK_ADJUST;
986#endif
987#endif /* CALL_DUMMY_STACK_ADJUST */
988
989 /* Store the address at which the structure is supposed to be
990 written. Note that this (and the code which reserved the space
991 above) assumes that gcc was used to compile this function. Since
992 it doesn't cost us anything but space and if the function is pcc
993 it will ignore this value, we will make that assumption.
994
995 Also note that on some machines (like the sparc) pcc uses a
996 convention like gcc's. */
997
998 if (struct_return)
999 STORE_STRUCT_RETURN (struct_addr, sp);
1000
1001 /* Write the stack pointer. This is here because the statements above
1002 might fool with it. On SPARC, this write also stores the register
1003 window into the right place in the new stack frame, which otherwise
5632cd56 1004 wouldn't happen. (See store_inferior_registers in sparc-nat.c.) */
54023465 1005 write_sp (sp);
bd5635a1
RP
1006
1007 /* Figure out the value returned by the function. */
1008 {
1009 char retbuf[REGISTER_BYTES];
54023465
JK
1010 char *name;
1011 struct symbol *symbol;
1012
1013 name = NULL;
1014 symbol = find_pc_function (funaddr);
1015 if (symbol)
1016 {
1017 name = SYMBOL_SOURCE_NAME (symbol);
1018 }
1019 else
1020 {
1021 /* Try the minimal symbols. */
1022 struct minimal_symbol *msymbol = lookup_minimal_symbol_by_pc (funaddr);
1023
1024 if (msymbol)
1025 {
1026 name = SYMBOL_SOURCE_NAME (msymbol);
1027 }
1028 }
1029 if (name == NULL)
1030 {
1031 char format[80];
1032 sprintf (format, "at %s", local_hex_format ());
1033 name = alloca (80);
1034 sprintf (name, format, funaddr);
1035 }
bd5635a1
RP
1036
1037 /* Execute the stack dummy routine, calling FUNCTION.
1038 When it is done, discard the empty frame
1039 after storing the contents of all regs into retbuf. */
54023465 1040 run_stack_dummy (name, real_pc + CALL_DUMMY_START_OFFSET, retbuf);
bd5635a1
RP
1041
1042 do_cleanups (old_chain);
1043
1044 return value_being_returned (value_type, retbuf, struct_return);
1045 }
1046}
1047#else /* no CALL_DUMMY. */
1048value
1049call_function_by_hand (function, nargs, args)
1050 value function;
1051 int nargs;
1052 value *args;
1053{
1054 error ("Cannot invoke functions on this machine.");
1055}
1056#endif /* no CALL_DUMMY. */
a163ddec 1057
bd5635a1 1058\f
a163ddec
MT
1059/* Create a value for an array by allocating space in the inferior, copying
1060 the data into that space, and then setting up an array value.
1061
1062 The array bounds are set from LOWBOUND and HIGHBOUND, and the array is
1063 populated from the values passed in ELEMVEC.
1064
1065 The element type of the array is inherited from the type of the
1066 first element, and all elements must have the same size (though we
1067 don't currently enforce any restriction on their types). */
bd5635a1
RP
1068
1069value
a163ddec
MT
1070value_array (lowbound, highbound, elemvec)
1071 int lowbound;
1072 int highbound;
1073 value *elemvec;
bd5635a1 1074{
a163ddec
MT
1075 int nelem;
1076 int idx;
1077 int typelength;
1078 value val;
1079 struct type *rangetype;
1080 struct type *arraytype;
1081 CORE_ADDR addr;
bd5635a1 1082
a163ddec
MT
1083 /* Validate that the bounds are reasonable and that each of the elements
1084 have the same size. */
bd5635a1 1085
a163ddec
MT
1086 nelem = highbound - lowbound + 1;
1087 if (nelem <= 0)
bd5635a1 1088 {
a163ddec 1089 error ("bad array bounds (%d, %d)", lowbound, highbound);
bd5635a1 1090 }
a163ddec
MT
1091 typelength = TYPE_LENGTH (VALUE_TYPE (elemvec[0]));
1092 for (idx = 0; idx < nelem; idx++)
bd5635a1 1093 {
a163ddec
MT
1094 if (TYPE_LENGTH (VALUE_TYPE (elemvec[idx])) != typelength)
1095 {
1096 error ("array elements must all be the same size");
1097 }
bd5635a1
RP
1098 }
1099
a163ddec
MT
1100 /* Allocate space to store the array in the inferior, and then initialize
1101 it by copying in each element. FIXME: Is it worth it to create a
1102 local buffer in which to collect each value and then write all the
1103 bytes in one operation? */
1104
1105 addr = allocate_space_in_inferior (nelem * typelength);
1106 for (idx = 0; idx < nelem; idx++)
1107 {
1108 write_memory (addr + (idx * typelength), VALUE_CONTENTS (elemvec[idx]),
1109 typelength);
1110 }
1111
1112 /* Create the array type and set up an array value to be evaluated lazily. */
1113
1114 rangetype = create_range_type ((struct type *) NULL, builtin_type_int,
1115 lowbound, highbound);
1116 arraytype = create_array_type ((struct type *) NULL,
1117 VALUE_TYPE (elemvec[0]), rangetype);
1118 val = value_at_lazy (arraytype, addr);
1119 return (val);
1120}
1121
1122/* Create a value for a string constant by allocating space in the inferior,
1123 copying the data into that space, and returning the address with type
1124 TYPE_CODE_STRING. PTR points to the string constant data; LEN is number
1125 of characters.
1126 Note that string types are like array of char types with a lower bound of
1127 zero and an upper bound of LEN - 1. Also note that the string may contain
1128 embedded null bytes. */
1129
1130value
1131value_string (ptr, len)
1132 char *ptr;
1133 int len;
1134{
1135 value val;
1136 struct type *rangetype;
1137 struct type *stringtype;
1138 CORE_ADDR addr;
1139
1140 /* Allocate space to store the string in the inferior, and then
1141 copy LEN bytes from PTR in gdb to that address in the inferior. */
1142
1143 addr = allocate_space_in_inferior (len);
1144 write_memory (addr, ptr, len);
1145
1146 /* Create the string type and set up a string value to be evaluated
1147 lazily. */
1148
1149 rangetype = create_range_type ((struct type *) NULL, builtin_type_int,
1150 0, len - 1);
1151 stringtype = create_string_type ((struct type *) NULL, rangetype);
1152 val = value_at_lazy (stringtype, addr);
1153 return (val);
bd5635a1
RP
1154}
1155\f
a163ddec
MT
1156/* Compare two argument lists and return the position in which they differ,
1157 or zero if equal.
1158
1159 STATICP is nonzero if the T1 argument list came from a
1160 static member function.
1161
1162 For non-static member functions, we ignore the first argument,
1163 which is the type of the instance variable. This is because we want
1164 to handle calls with objects from derived classes. This is not
1165 entirely correct: we should actually check to make sure that a
1166 requested operation is type secure, shouldn't we? FIXME. */
1167
1168static int
1169typecmp (staticp, t1, t2)
1170 int staticp;
1171 struct type *t1[];
1172 value t2[];
1173{
1174 int i;
1175
1176 if (t2 == 0)
1177 return 1;
1178 if (staticp && t1 == 0)
1179 return t2[1] != 0;
1180 if (t1 == 0)
1181 return 1;
1182 if (TYPE_CODE (t1[0]) == TYPE_CODE_VOID) return 0;
1183 if (t1[!staticp] == 0) return 0;
1184 for (i = !staticp; t1[i] && TYPE_CODE (t1[i]) != TYPE_CODE_VOID; i++)
1185 {
1186 if (! t2[i])
1187 return i+1;
1188 if (TYPE_CODE (t1[i]) == TYPE_CODE_REF
1189 && TYPE_TARGET_TYPE (t1[i]) == VALUE_TYPE (t2[i]))
1190 continue;
1191 if (TYPE_CODE (t1[i]) != TYPE_CODE (VALUE_TYPE (t2[i])))
1192 return i+1;
1193 }
1194 if (!t1[i]) return 0;
1195 return t2[i] ? i+1 : 0;
1196}
1197
bd5635a1
RP
1198/* Helper function used by value_struct_elt to recurse through baseclasses.
1199 Look for a field NAME in ARG1. Adjust the address of ARG1 by OFFSET bytes,
2a5ec41d 1200 and search in it assuming it has (class) type TYPE.
d3bab255
JK
1201 If found, return value, else return NULL.
1202
1203 If LOOKING_FOR_BASECLASS, then instead of looking for struct fields,
1204 look for a baseclass named NAME. */
bd5635a1
RP
1205
1206static value
d3bab255 1207search_struct_field (name, arg1, offset, type, looking_for_baseclass)
bd5635a1
RP
1208 char *name;
1209 register value arg1;
1210 int offset;
1211 register struct type *type;
d3bab255 1212 int looking_for_baseclass;
bd5635a1
RP
1213{
1214 int i;
1215
1216 check_stub_type (type);
1217
d3bab255
JK
1218 if (! looking_for_baseclass)
1219 for (i = TYPE_NFIELDS (type) - 1; i >= TYPE_N_BASECLASSES (type); i--)
1220 {
1221 char *t_field_name = TYPE_FIELD_NAME (type, i);
1222
2e4964ad 1223 if (t_field_name && STREQ (t_field_name, name))
d3bab255 1224 {
01be6913
PB
1225 value v;
1226 if (TYPE_FIELD_STATIC (type, i))
1227 {
1228 char *phys_name = TYPE_FIELD_STATIC_PHYSNAME (type, i);
1229 struct symbol *sym =
2e4964ad
FF
1230 lookup_symbol (phys_name, 0, VAR_NAMESPACE, 0, NULL);
1231 if (sym == NULL)
1232 error ("Internal error: could not find physical static variable named %s",
1233 phys_name);
01be6913
PB
1234 v = value_at (TYPE_FIELD_TYPE (type, i),
1235 (CORE_ADDR)SYMBOL_BLOCK_VALUE (sym));
1236 }
1237 else
1238 v = value_primitive_field (arg1, offset, i, type);
d3bab255
JK
1239 if (v == 0)
1240 error("there is no field named %s", name);
1241 return v;
1242 }
1243 }
bd5635a1
RP
1244
1245 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
1246 {
1247 value v;
1248 /* If we are looking for baseclasses, this is what we get when we
54023465
JK
1249 hit them. But it could happen that the base part's member name
1250 is not yet filled in. */
d3bab255 1251 int found_baseclass = (looking_for_baseclass
54023465 1252 && TYPE_BASECLASS_NAME (type, i) != NULL
2e4964ad 1253 && STREQ (name, TYPE_BASECLASS_NAME (type, i)));
bd5635a1
RP
1254
1255 if (BASETYPE_VIA_VIRTUAL (type, i))
1256 {
1257 value v2;
bac89d6c 1258 /* Fix to use baseclass_offset instead. FIXME */
d11c44f1
JG
1259 baseclass_addr (type, i, VALUE_CONTENTS (arg1) + offset,
1260 &v2, (int *)NULL);
bd5635a1
RP
1261 if (v2 == 0)
1262 error ("virtual baseclass botch");
1263 if (found_baseclass)
1264 return v2;
d3bab255
JK
1265 v = search_struct_field (name, v2, 0, TYPE_BASECLASS (type, i),
1266 looking_for_baseclass);
bd5635a1 1267 }
01be6913 1268 else if (found_baseclass)
bd5635a1
RP
1269 v = value_primitive_field (arg1, offset, i, type);
1270 else
1271 v = search_struct_field (name, arg1,
1272 offset + TYPE_BASECLASS_BITPOS (type, i) / 8,
d3bab255
JK
1273 TYPE_BASECLASS (type, i),
1274 looking_for_baseclass);
bd5635a1
RP
1275 if (v) return v;
1276 }
1277 return NULL;
1278}
1279
1280/* Helper function used by value_struct_elt to recurse through baseclasses.
1281 Look for a field NAME in ARG1. Adjust the address of ARG1 by OFFSET bytes,
2a5ec41d 1282 and search in it assuming it has (class) type TYPE.
bd5635a1
RP
1283 If found, return value, else return NULL. */
1284
1285static value
bac89d6c 1286search_struct_method (name, arg1p, args, offset, static_memfuncp, type)
bd5635a1 1287 char *name;
bac89d6c 1288 register value *arg1p, *args;
bd5635a1
RP
1289 int offset, *static_memfuncp;
1290 register struct type *type;
1291{
1292 int i;
1293
1294 check_stub_type (type);
1295 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; i--)
1296 {
1297 char *t_field_name = TYPE_FN_FIELDLIST_NAME (type, i);
2e4964ad 1298 if (t_field_name && STREQ (t_field_name, name))
bd5635a1 1299 {
d3bab255 1300 int j = TYPE_FN_FIELDLIST_LENGTH (type, i) - 1;
bd5635a1
RP
1301 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i);
1302
d3bab255
JK
1303 if (j > 0 && args == 0)
1304 error ("cannot resolve overloaded method `%s'", name);
1305 while (j >= 0)
bd5635a1 1306 {
8e9a3f3b 1307 if (TYPE_FN_FIELD_STUB (f, j))
bd5635a1
RP
1308 check_stub_method (type, i, j);
1309 if (!typecmp (TYPE_FN_FIELD_STATIC_P (f, j),
1310 TYPE_FN_FIELD_ARGS (f, j), args))
1311 {
1312 if (TYPE_FN_FIELD_VIRTUAL_P (f, j))
bac89d6c 1313 return (value)value_virtual_fn_field (arg1p, f, j, type, offset);
bd5635a1
RP
1314 if (TYPE_FN_FIELD_STATIC_P (f, j) && static_memfuncp)
1315 *static_memfuncp = 1;
bac89d6c 1316 return (value)value_fn_field (arg1p, f, j, type, offset);
bd5635a1 1317 }
d3bab255 1318 j--;
bd5635a1
RP
1319 }
1320 }
1321 }
1322
1323 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
1324 {
bac89d6c 1325 value v;
01be6913 1326 int base_offset;
bd5635a1
RP
1327
1328 if (BASETYPE_VIA_VIRTUAL (type, i))
1329 {
9f739abd 1330 base_offset = baseclass_offset (type, i, *arg1p, offset);
bac89d6c 1331 if (base_offset == -1)
bd5635a1 1332 error ("virtual baseclass botch");
bd5635a1 1333 }
01be6913
PB
1334 else
1335 {
01be6913
PB
1336 base_offset = TYPE_BASECLASS_BITPOS (type, i) / 8;
1337 }
bac89d6c 1338 v = search_struct_method (name, arg1p, args, base_offset + offset,
bd5635a1 1339 static_memfuncp, TYPE_BASECLASS (type, i));
bac89d6c
FF
1340 if (v)
1341 {
1342/* FIXME-bothner: Why is this commented out? Why is it here? */
1343/* *arg1p = arg1_tmp;*/
1344 return v;
1345 }
bd5635a1
RP
1346 }
1347 return NULL;
1348}
1349
1350/* Given *ARGP, a value of type (pointer to a)* structure/union,
1351 extract the component named NAME from the ultimate target structure/union
1352 and return it as a value with its appropriate type.
1353 ERR is used in the error message if *ARGP's type is wrong.
1354
1355 C++: ARGS is a list of argument types to aid in the selection of
1356 an appropriate method. Also, handle derived types.
1357
1358 STATIC_MEMFUNCP, if non-NULL, points to a caller-supplied location
1359 where the truthvalue of whether the function that was resolved was
1360 a static member function or not is stored.
1361
1362 ERR is an error message to be printed in case the field is not found. */
1363
1364value
1365value_struct_elt (argp, args, name, static_memfuncp, err)
1366 register value *argp, *args;
1367 char *name;
1368 int *static_memfuncp;
1369 char *err;
1370{
1371 register struct type *t;
bd5635a1
RP
1372 value v;
1373
1374 COERCE_ARRAY (*argp);
1375
1376 t = VALUE_TYPE (*argp);
1377
1378 /* Follow pointers until we get to a non-pointer. */
1379
1380 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
1381 {
bd5635a1 1382 *argp = value_ind (*argp);
f2ebc25f
JK
1383 /* Don't coerce fn pointer to fn and then back again! */
1384 if (TYPE_CODE (VALUE_TYPE (*argp)) != TYPE_CODE_FUNC)
1385 COERCE_ARRAY (*argp);
bd5635a1
RP
1386 t = VALUE_TYPE (*argp);
1387 }
1388
1389 if (TYPE_CODE (t) == TYPE_CODE_MEMBER)
1390 error ("not implemented: member type in value_struct_elt");
1391
2a5ec41d 1392 if ( TYPE_CODE (t) != TYPE_CODE_STRUCT
bd5635a1
RP
1393 && TYPE_CODE (t) != TYPE_CODE_UNION)
1394 error ("Attempt to extract a component of a value that is not a %s.", err);
1395
1396 /* Assume it's not, unless we see that it is. */
1397 if (static_memfuncp)
1398 *static_memfuncp =0;
1399
1400 if (!args)
1401 {
1402 /* if there are no arguments ...do this... */
1403
d3bab255 1404 /* Try as a field first, because if we succeed, there
bd5635a1 1405 is less work to be done. */
d3bab255 1406 v = search_struct_field (name, *argp, 0, t, 0);
bd5635a1
RP
1407 if (v)
1408 return v;
1409
1410 /* C++: If it was not found as a data field, then try to
1411 return it as a pointer to a method. */
1412
1413 if (destructor_name_p (name, t))
1414 error ("Cannot get value of destructor");
1415
bac89d6c 1416 v = search_struct_method (name, argp, args, 0, static_memfuncp, t);
bd5635a1
RP
1417
1418 if (v == 0)
1419 {
1420 if (TYPE_NFN_FIELDS (t))
1421 error ("There is no member or method named %s.", name);
1422 else
1423 error ("There is no member named %s.", name);
1424 }
1425 return v;
1426 }
1427
1428 if (destructor_name_p (name, t))
1429 {
1430 if (!args[1])
1431 {
1432 /* destructors are a special case. */
bac89d6c
FF
1433 return (value)value_fn_field (NULL, TYPE_FN_FIELDLIST1 (t, 0),
1434 TYPE_FN_FIELDLIST_LENGTH (t, 0),
1435 0, 0);
bd5635a1
RP
1436 }
1437 else
1438 {
1439 error ("destructor should not have any argument");
1440 }
1441 }
1442 else
bac89d6c 1443 v = search_struct_method (name, argp, args, 0, static_memfuncp, t);
bd5635a1
RP
1444
1445 if (v == 0)
1446 {
1447 /* See if user tried to invoke data as function. If so,
1448 hand it back. If it's not callable (i.e., a pointer to function),
1449 gdb should give an error. */
d3bab255 1450 v = search_struct_field (name, *argp, 0, t, 0);
bd5635a1
RP
1451 }
1452
1453 if (!v)
1454 error ("Structure has no component named %s.", name);
1455 return v;
1456}
1457
1458/* C++: return 1 is NAME is a legitimate name for the destructor
1459 of type TYPE. If TYPE does not have a destructor, or
1460 if NAME is inappropriate for TYPE, an error is signaled. */
1461int
1462destructor_name_p (name, type)
7919c3ed
JG
1463 const char *name;
1464 const struct type *type;
bd5635a1
RP
1465{
1466 /* destructors are a special case. */
1467
1468 if (name[0] == '~')
1469 {
1470 char *dname = type_name_no_tag (type);
2e4964ad 1471 if (!STREQ (dname, name+1))
bd5635a1
RP
1472 error ("name of destructor must equal name of class");
1473 else
1474 return 1;
1475 }
1476 return 0;
1477}
1478
1479/* Helper function for check_field: Given TYPE, a structure/union,
1480 return 1 if the component named NAME from the ultimate
1481 target structure/union is defined, otherwise, return 0. */
1482
1483static int
1484check_field_in (type, name)
1485 register struct type *type;
01be6913 1486 const char *name;
bd5635a1
RP
1487{
1488 register int i;
1489
1490 for (i = TYPE_NFIELDS (type) - 1; i >= TYPE_N_BASECLASSES (type); i--)
1491 {
1492 char *t_field_name = TYPE_FIELD_NAME (type, i);
2e4964ad 1493 if (t_field_name && STREQ (t_field_name, name))
bd5635a1
RP
1494 return 1;
1495 }
1496
1497 /* C++: If it was not found as a data field, then try to
1498 return it as a pointer to a method. */
1499
1500 /* Destructors are a special case. */
1501 if (destructor_name_p (name, type))
1502 return 1;
1503
1504 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
1505 {
2e4964ad 1506 if (STREQ (TYPE_FN_FIELDLIST_NAME (type, i), name))
bd5635a1
RP
1507 return 1;
1508 }
1509
1510 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
1511 if (check_field_in (TYPE_BASECLASS (type, i), name))
1512 return 1;
1513
1514 return 0;
1515}
1516
1517
1518/* C++: Given ARG1, a value of type (pointer to a)* structure/union,
1519 return 1 if the component named NAME from the ultimate
1520 target structure/union is defined, otherwise, return 0. */
1521
1522int
1523check_field (arg1, name)
01be6913 1524 register value arg1;
7919c3ed 1525 const char *name;
bd5635a1
RP
1526{
1527 register struct type *t;
1528
1529 COERCE_ARRAY (arg1);
1530
1531 t = VALUE_TYPE (arg1);
1532
1533 /* Follow pointers until we get to a non-pointer. */
1534
1535 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
1536 t = TYPE_TARGET_TYPE (t);
1537
1538 if (TYPE_CODE (t) == TYPE_CODE_MEMBER)
1539 error ("not implemented: member type in check_field");
1540
2a5ec41d 1541 if ( TYPE_CODE (t) != TYPE_CODE_STRUCT
bd5635a1
RP
1542 && TYPE_CODE (t) != TYPE_CODE_UNION)
1543 error ("Internal error: `this' is not an aggregate");
1544
1545 return check_field_in (t, name);
1546}
1547
01be6913 1548/* C++: Given an aggregate type CURTYPE, and a member name NAME,
2a5ec41d 1549 return the address of this member as a "pointer to member"
bd5635a1
RP
1550 type. If INTYPE is non-null, then it will be the type
1551 of the member we are looking for. This will help us resolve
01be6913
PB
1552 "pointers to member functions". This function is used
1553 to resolve user expressions of the form "DOMAIN::NAME". */
bd5635a1
RP
1554
1555value
51b57ded 1556value_struct_elt_for_reference (domain, offset, curtype, name, intype)
01be6913 1557 struct type *domain, *curtype, *intype;
51b57ded 1558 int offset;
bd5635a1
RP
1559 char *name;
1560{
01be6913 1561 register struct type *t = curtype;
bd5635a1
RP
1562 register int i;
1563 value v;
1564
2a5ec41d 1565 if ( TYPE_CODE (t) != TYPE_CODE_STRUCT
bd5635a1 1566 && TYPE_CODE (t) != TYPE_CODE_UNION)
01be6913 1567 error ("Internal error: non-aggregate type to value_struct_elt_for_reference");
bd5635a1 1568
01be6913 1569 for (i = TYPE_NFIELDS (t) - 1; i >= TYPE_N_BASECLASSES (t); i--)
bd5635a1 1570 {
01be6913
PB
1571 char *t_field_name = TYPE_FIELD_NAME (t, i);
1572
2e4964ad 1573 if (t_field_name && STREQ (t_field_name, name))
bd5635a1 1574 {
01be6913 1575 if (TYPE_FIELD_STATIC (t, i))
bd5635a1 1576 {
01be6913
PB
1577 char *phys_name = TYPE_FIELD_STATIC_PHYSNAME (t, i);
1578 struct symbol *sym =
1579 lookup_symbol (phys_name, 0, VAR_NAMESPACE, 0, NULL);
2e4964ad
FF
1580 if (sym == NULL)
1581 error ("Internal error: could not find physical static variable named %s",
01be6913
PB
1582 phys_name);
1583 return value_at (SYMBOL_TYPE (sym),
1584 (CORE_ADDR)SYMBOL_BLOCK_VALUE (sym));
bd5635a1 1585 }
01be6913
PB
1586 if (TYPE_FIELD_PACKED (t, i))
1587 error ("pointers to bitfield members not allowed");
1588
1589 return value_from_longest
1590 (lookup_reference_type (lookup_member_type (TYPE_FIELD_TYPE (t, i),
1591 domain)),
51b57ded 1592 offset + (LONGEST) (TYPE_FIELD_BITPOS (t, i) >> 3));
bd5635a1 1593 }
bd5635a1
RP
1594 }
1595
1596 /* C++: If it was not found as a data field, then try to
1597 return it as a pointer to a method. */
bd5635a1
RP
1598
1599 /* Destructors are a special case. */
1600 if (destructor_name_p (name, t))
1601 {
2a5ec41d 1602 error ("member pointers to destructors not implemented yet");
bd5635a1
RP
1603 }
1604
1605 /* Perform all necessary dereferencing. */
1606 while (intype && TYPE_CODE (intype) == TYPE_CODE_PTR)
1607 intype = TYPE_TARGET_TYPE (intype);
1608
01be6913 1609 for (i = TYPE_NFN_FIELDS (t) - 1; i >= 0; --i)
bd5635a1 1610 {
2e4964ad 1611 if (STREQ (TYPE_FN_FIELDLIST_NAME (t, i), name))
bd5635a1 1612 {
01be6913
PB
1613 int j = TYPE_FN_FIELDLIST_LENGTH (t, i);
1614 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, i);
1615
1616 if (intype == 0 && j > 1)
1617 error ("non-unique member `%s' requires type instantiation", name);
1618 if (intype)
bd5635a1 1619 {
01be6913
PB
1620 while (j--)
1621 if (TYPE_FN_FIELD_TYPE (f, j) == intype)
1622 break;
1623 if (j < 0)
1624 error ("no member function matches that type instantiation");
1625 }
1626 else
1627 j = 0;
1628
1629 if (TYPE_FN_FIELD_STUB (f, j))
1630 check_stub_method (t, i, j);
1631 if (TYPE_FN_FIELD_VIRTUAL_P (f, j))
1632 {
1633 return value_from_longest
1634 (lookup_reference_type
1635 (lookup_member_type (TYPE_FN_FIELD_TYPE (f, j),
1636 domain)),
bac89d6c
FF
1637 (LONGEST) METHOD_PTR_FROM_VOFFSET
1638 (TYPE_FN_FIELD_VOFFSET (f, j)));
01be6913
PB
1639 }
1640 else
1641 {
1642 struct symbol *s = lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, j),
1643 0, VAR_NAMESPACE, 0, NULL);
35fcebce
PB
1644 if (s == NULL)
1645 {
1646 v = 0;
1647 }
1648 else
1649 {
1650 v = read_var_value (s, 0);
01be6913 1651#if 0
35fcebce
PB
1652 VALUE_TYPE (v) = lookup_reference_type
1653 (lookup_member_type (TYPE_FN_FIELD_TYPE (f, j),
1654 domain));
01be6913 1655#endif
bd5635a1 1656 }
35fcebce 1657 return v;
bd5635a1
RP
1658 }
1659 }
35fcebce 1660 }
01be6913
PB
1661 for (i = TYPE_N_BASECLASSES (t) - 1; i >= 0; i--)
1662 {
51b57ded
FF
1663 value v;
1664 int base_offset;
1665
1666 if (BASETYPE_VIA_VIRTUAL (t, i))
1667 base_offset = 0;
1668 else
1669 base_offset = TYPE_BASECLASS_BITPOS (t, i) / 8;
01be6913 1670 v = value_struct_elt_for_reference (domain,
51b57ded 1671 offset + base_offset,
01be6913
PB
1672 TYPE_BASECLASS (t, i),
1673 name,
1674 intype);
1675 if (v)
1676 return v;
bd5635a1
RP
1677 }
1678 return 0;
1679}
1680
bd5635a1
RP
1681/* C++: return the value of the class instance variable, if one exists.
1682 Flag COMPLAIN signals an error if the request is made in an
1683 inappropriate context. */
1684value
1685value_of_this (complain)
1686 int complain;
1687{
1688 extern FRAME selected_frame;
1689 struct symbol *func, *sym;
1690 struct block *b;
1691 int i;
1692 static const char funny_this[] = "this";
1693 value this;
bd5635a1
RP
1694
1695 if (selected_frame == 0)
1696 if (complain)
1697 error ("no frame selected");
1698 else return 0;
1699
1700 func = get_frame_function (selected_frame);
1701 if (!func)
1702 {
1703 if (complain)
1704 error ("no `this' in nameless context");
1705 else return 0;
1706 }
1707
1708 b = SYMBOL_BLOCK_VALUE (func);
1709 i = BLOCK_NSYMS (b);
1710 if (i <= 0)
1711 if (complain)
1712 error ("no args, no `this'");
1713 else return 0;
1714
1715 /* Calling lookup_block_symbol is necessary to get the LOC_REGISTER
1716 symbol instead of the LOC_ARG one (if both exist). */
1717 sym = lookup_block_symbol (b, funny_this, VAR_NAMESPACE);
1718 if (sym == NULL)
1719 {
1720 if (complain)
1721 error ("current stack frame not in method");
1722 else
1723 return NULL;
1724 }
1725
1726 this = read_var_value (sym, selected_frame);
1727 if (this == 0 && complain)
1728 error ("`this' argument at unknown address");
1729 return this;
1730}
This page took 0.278907 seconds and 4 git commands to generate.