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