Cleanup value_fetch_lazy's comment and return value
[deliverable/binutils-gdb.git] / gdb / valops.c
CommitLineData
c906108c 1/* Perform non-arithmetic operations on values, for GDB.
990a07ab 2
32d0add0 3 Copyright (C) 1986-2015 Free Software Foundation, Inc.
c906108c 4
c5aa993b 5 This file is part of GDB.
c906108c 6
c5aa993b
JM
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
a9762ec7 9 the Free Software Foundation; either version 3 of the License, or
c5aa993b 10 (at your option) any later version.
c906108c 11
c5aa993b
JM
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.
c906108c 16
c5aa993b 17 You should have received a copy of the GNU General Public License
a9762ec7 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
c906108c
SS
19
20#include "defs.h"
21#include "symtab.h"
22#include "gdbtypes.h"
23#include "value.h"
24#include "frame.h"
25#include "inferior.h"
26#include "gdbcore.h"
27#include "target.h"
28#include "demangle.h"
29#include "language.h"
30#include "gdbcmd.h"
4e052eda 31#include "regcache.h"
015a42b4 32#include "cp-abi.h"
fe898f56 33#include "block.h"
04714b91 34#include "infcall.h"
de4f826b 35#include "dictionary.h"
b6429628 36#include "cp-support.h"
4ef30785 37#include "dfp.h"
e6ca34fc 38#include "tracepoint.h"
f4c5303c 39#include "observer.h"
3e3b026f 40#include "objfiles.h"
233e8b28 41#include "extension.h"
c906108c 42
ccce17b0 43extern unsigned int overload_debug;
c906108c
SS
44/* Local functions. */
45
ad2f7632
DJ
46static int typecmp (int staticp, int varargs, int nargs,
47 struct field t1[], struct value *t2[]);
c906108c 48
714f19d5 49static struct value *search_struct_field (const char *, struct value *,
ac3eeb49 50 int, struct type *, int);
c906108c 51
714f19d5
TT
52static struct value *search_struct_method (const char *, struct value **,
53 struct value **,
54 int, int *, struct type *);
c906108c 55
da096638 56static int find_oload_champ_namespace (struct value **, int,
ac3eeb49
MS
57 const char *, const char *,
58 struct symbol ***,
7322dca9
SW
59 struct badness_vector **,
60 const int no_adl);
8d577d32
DC
61
62static
da096638 63int find_oload_champ_namespace_loop (struct value **, int,
ac3eeb49
MS
64 const char *, const char *,
65 int, struct symbol ***,
7322dca9
SW
66 struct badness_vector **, int *,
67 const int no_adl);
ac3eeb49 68
9cf95373 69static int find_oload_champ (struct value **, int, int,
233e8b28
SC
70 struct fn_field *, VEC (xmethod_worker_ptr) *,
71 struct symbol **, struct badness_vector **);
ac3eeb49 72
2bca57ba 73static int oload_method_static_p (struct fn_field *, int);
8d577d32
DC
74
75enum oload_classification { STANDARD, NON_STANDARD, INCOMPATIBLE };
76
77static enum
ac3eeb49
MS
78oload_classification classify_oload_match (struct badness_vector *,
79 int, int);
8d577d32 80
ac3eeb49
MS
81static struct value *value_struct_elt_for_reference (struct type *,
82 int, struct type *,
c848d642 83 const char *,
ac3eeb49
MS
84 struct type *,
85 int, enum noside);
79c2c32d 86
ac3eeb49 87static struct value *value_namespace_elt (const struct type *,
c848d642 88 const char *, int , enum noside);
79c2c32d 89
ac3eeb49 90static struct value *value_maybe_namespace_elt (const struct type *,
c848d642 91 const char *, int,
ac3eeb49 92 enum noside);
63d06c5c 93
a14ed312 94static CORE_ADDR allocate_space_in_inferior (int);
c906108c 95
f23631e4 96static struct value *cast_into_complex (struct type *, struct value *);
c906108c 97
233e8b28
SC
98static void find_method_list (struct value **, const char *,
99 int, struct type *, struct fn_field **, int *,
100 VEC (xmethod_worker_ptr) **,
101 struct type **, int *);
7a292a7a 102
a14ed312 103void _initialize_valops (void);
c906108c 104
c906108c 105#if 0
ac3eeb49
MS
106/* Flag for whether we want to abandon failed expression evals by
107 default. */
108
c906108c
SS
109static int auto_abandon = 0;
110#endif
111
112int overload_resolution = 0;
920d2a44
AC
113static void
114show_overload_resolution (struct ui_file *file, int from_tty,
ac3eeb49
MS
115 struct cmd_list_element *c,
116 const char *value)
920d2a44 117{
3e43a32a
MS
118 fprintf_filtered (file, _("Overload resolution in evaluating "
119 "C++ functions is %s.\n"),
920d2a44
AC
120 value);
121}
242bfc55 122
3e3b026f
UW
123/* Find the address of function name NAME in the inferior. If OBJF_P
124 is non-NULL, *OBJF_P will be set to the OBJFILE where the function
125 is defined. */
c906108c 126
f23631e4 127struct value *
3e3b026f 128find_function_in_inferior (const char *name, struct objfile **objf_p)
c906108c 129{
52f0bd74 130 struct symbol *sym;
a109c7c1 131
2570f2b7 132 sym = lookup_symbol (name, 0, VAR_DOMAIN, 0);
c906108c
SS
133 if (sym != NULL)
134 {
135 if (SYMBOL_CLASS (sym) != LOC_BLOCK)
136 {
8a3fe4f8 137 error (_("\"%s\" exists in this program but is not a function."),
c906108c
SS
138 name);
139 }
3e3b026f
UW
140
141 if (objf_p)
08be3fe3 142 *objf_p = symbol_objfile (sym);
3e3b026f 143
c906108c
SS
144 return value_of_variable (sym, NULL);
145 }
146 else
147 {
7c7b6655
TT
148 struct bound_minimal_symbol msymbol =
149 lookup_bound_minimal_symbol (name);
a109c7c1 150
7c7b6655 151 if (msymbol.minsym != NULL)
c906108c 152 {
7c7b6655 153 struct objfile *objfile = msymbol.objfile;
3e3b026f
UW
154 struct gdbarch *gdbarch = get_objfile_arch (objfile);
155
c906108c 156 struct type *type;
4478b372 157 CORE_ADDR maddr;
3e3b026f 158 type = lookup_pointer_type (builtin_type (gdbarch)->builtin_char);
c906108c
SS
159 type = lookup_function_type (type);
160 type = lookup_pointer_type (type);
77e371c0 161 maddr = BMSYMBOL_VALUE_ADDRESS (msymbol);
3e3b026f
UW
162
163 if (objf_p)
164 *objf_p = objfile;
165
4478b372 166 return value_from_pointer (type, maddr);
c906108c
SS
167 }
168 else
169 {
c5aa993b 170 if (!target_has_execution)
3e43a32a
MS
171 error (_("evaluation of this expression "
172 "requires the target program to be active"));
c5aa993b 173 else
3e43a32a
MS
174 error (_("evaluation of this expression requires the "
175 "program to have a function \"%s\"."),
176 name);
c906108c
SS
177 }
178 }
179}
180
ac3eeb49
MS
181/* Allocate NBYTES of space in the inferior using the inferior's
182 malloc and return a value that is a pointer to the allocated
183 space. */
c906108c 184
f23631e4 185struct value *
fba45db2 186value_allocate_space_in_inferior (int len)
c906108c 187{
3e3b026f
UW
188 struct objfile *objf;
189 struct value *val = find_function_in_inferior ("malloc", &objf);
190 struct gdbarch *gdbarch = get_objfile_arch (objf);
f23631e4 191 struct value *blocklen;
c906108c 192
3e3b026f 193 blocklen = value_from_longest (builtin_type (gdbarch)->builtin_int, len);
c906108c
SS
194 val = call_function_by_hand (val, 1, &blocklen);
195 if (value_logical_not (val))
196 {
197 if (!target_has_execution)
3e43a32a
MS
198 error (_("No memory available to program now: "
199 "you need to start the target first"));
c5aa993b 200 else
8a3fe4f8 201 error (_("No memory available to program: call to malloc failed"));
c906108c
SS
202 }
203 return val;
204}
205
206static CORE_ADDR
fba45db2 207allocate_space_in_inferior (int len)
c906108c
SS
208{
209 return value_as_long (value_allocate_space_in_inferior (len));
210}
211
6af87b03
AR
212/* Cast struct value VAL to type TYPE and return as a value.
213 Both type and val must be of TYPE_CODE_STRUCT or TYPE_CODE_UNION
694182d2
DJ
214 for this to work. Typedef to one of the codes is permitted.
215 Returns NULL if the cast is neither an upcast nor a downcast. */
6af87b03
AR
216
217static struct value *
218value_cast_structs (struct type *type, struct value *v2)
219{
220 struct type *t1;
221 struct type *t2;
222 struct value *v;
223
224 gdb_assert (type != NULL && v2 != NULL);
225
226 t1 = check_typedef (type);
227 t2 = check_typedef (value_type (v2));
228
229 /* Check preconditions. */
230 gdb_assert ((TYPE_CODE (t1) == TYPE_CODE_STRUCT
231 || TYPE_CODE (t1) == TYPE_CODE_UNION)
232 && !!"Precondition is that type is of STRUCT or UNION kind.");
233 gdb_assert ((TYPE_CODE (t2) == TYPE_CODE_STRUCT
234 || TYPE_CODE (t2) == TYPE_CODE_UNION)
235 && !!"Precondition is that value is of STRUCT or UNION kind");
236
191ca0a1
CM
237 if (TYPE_NAME (t1) != NULL
238 && TYPE_NAME (t2) != NULL
239 && !strcmp (TYPE_NAME (t1), TYPE_NAME (t2)))
240 return NULL;
241
6af87b03
AR
242 /* Upcasting: look in the type of the source to see if it contains the
243 type of the target as a superclass. If so, we'll need to
244 offset the pointer rather than just change its type. */
245 if (TYPE_NAME (t1) != NULL)
246 {
247 v = search_struct_field (type_name_no_tag (t1),
248 v2, 0, t2, 1);
249 if (v)
250 return v;
251 }
252
253 /* Downcasting: look in the type of the target to see if it contains the
254 type of the source as a superclass. If so, we'll need to
9c3c02fd 255 offset the pointer rather than just change its type. */
6af87b03
AR
256 if (TYPE_NAME (t2) != NULL)
257 {
9c3c02fd
TT
258 /* Try downcasting using the run-time type of the value. */
259 int full, top, using_enc;
260 struct type *real_type;
261
262 real_type = value_rtti_type (v2, &full, &top, &using_enc);
263 if (real_type)
264 {
265 v = value_full_object (v2, real_type, full, top, using_enc);
266 v = value_at_lazy (real_type, value_address (v));
9f1f738a 267 real_type = value_type (v);
9c3c02fd
TT
268
269 /* We might be trying to cast to the outermost enclosing
270 type, in which case search_struct_field won't work. */
271 if (TYPE_NAME (real_type) != NULL
272 && !strcmp (TYPE_NAME (real_type), TYPE_NAME (t1)))
273 return v;
274
275 v = search_struct_field (type_name_no_tag (t2), v, 0, real_type, 1);
276 if (v)
277 return v;
278 }
279
280 /* Try downcasting using information from the destination type
281 T2. This wouldn't work properly for classes with virtual
282 bases, but those were handled above. */
6af87b03
AR
283 v = search_struct_field (type_name_no_tag (t2),
284 value_zero (t1, not_lval), 0, t1, 1);
285 if (v)
286 {
287 /* Downcasting is possible (t1 is superclass of v2). */
42ae5230 288 CORE_ADDR addr2 = value_address (v2);
a109c7c1 289
42ae5230 290 addr2 -= value_address (v) + value_embedded_offset (v);
6af87b03
AR
291 return value_at (type, addr2);
292 }
293 }
694182d2
DJ
294
295 return NULL;
6af87b03
AR
296}
297
fb933624
DJ
298/* Cast one pointer or reference type to another. Both TYPE and
299 the type of ARG2 should be pointer types, or else both should be
b1af9e97
TT
300 reference types. If SUBCLASS_CHECK is non-zero, this will force a
301 check to see whether TYPE is a superclass of ARG2's type. If
302 SUBCLASS_CHECK is zero, then the subclass check is done only when
303 ARG2 is itself non-zero. Returns the new pointer or reference. */
fb933624
DJ
304
305struct value *
b1af9e97
TT
306value_cast_pointers (struct type *type, struct value *arg2,
307 int subclass_check)
fb933624 308{
d160942f 309 struct type *type1 = check_typedef (type);
fb933624 310 struct type *type2 = check_typedef (value_type (arg2));
d160942f 311 struct type *t1 = check_typedef (TYPE_TARGET_TYPE (type1));
fb933624
DJ
312 struct type *t2 = check_typedef (TYPE_TARGET_TYPE (type2));
313
314 if (TYPE_CODE (t1) == TYPE_CODE_STRUCT
315 && TYPE_CODE (t2) == TYPE_CODE_STRUCT
b1af9e97 316 && (subclass_check || !value_logical_not (arg2)))
fb933624 317 {
6af87b03 318 struct value *v2;
fb933624 319
6af87b03
AR
320 if (TYPE_CODE (type2) == TYPE_CODE_REF)
321 v2 = coerce_ref (arg2);
322 else
323 v2 = value_ind (arg2);
3e43a32a
MS
324 gdb_assert (TYPE_CODE (check_typedef (value_type (v2)))
325 == TYPE_CODE_STRUCT && !!"Why did coercion fail?");
6af87b03
AR
326 v2 = value_cast_structs (t1, v2);
327 /* At this point we have what we can have, un-dereference if needed. */
328 if (v2)
fb933624 329 {
6af87b03 330 struct value *v = value_addr (v2);
a109c7c1 331
6af87b03
AR
332 deprecated_set_value_type (v, type);
333 return v;
fb933624 334 }
8301c89e 335 }
fb933624
DJ
336
337 /* No superclass found, just change the pointer type. */
0d5de010 338 arg2 = value_copy (arg2);
fb933624 339 deprecated_set_value_type (arg2, type);
4dfea560 340 set_value_enclosing_type (arg2, type);
fb933624
DJ
341 set_value_pointed_to_offset (arg2, 0); /* pai: chk_val */
342 return arg2;
343}
344
c906108c
SS
345/* Cast value ARG2 to type TYPE and return as a value.
346 More general than a C cast: accepts any two types of the same length,
347 and if ARG2 is an lvalue it can be cast into anything at all. */
348/* In C++, casts may change pointer or object representations. */
349
f23631e4
AC
350struct value *
351value_cast (struct type *type, struct value *arg2)
c906108c 352{
52f0bd74
AC
353 enum type_code code1;
354 enum type_code code2;
355 int scalar;
c906108c
SS
356 struct type *type2;
357
358 int convert_to_boolean = 0;
c5aa993b 359
df407dfe 360 if (value_type (arg2) == type)
c906108c
SS
361 return arg2;
362
6af87b03
AR
363 code1 = TYPE_CODE (check_typedef (type));
364
365 /* Check if we are casting struct reference to struct reference. */
366 if (code1 == TYPE_CODE_REF)
367 {
368 /* We dereference type; then we recurse and finally
581e13c1 369 we generate value of the given reference. Nothing wrong with
6af87b03
AR
370 that. */
371 struct type *t1 = check_typedef (type);
372 struct type *dereftype = check_typedef (TYPE_TARGET_TYPE (t1));
373 struct value *val = value_cast (dereftype, arg2);
a109c7c1 374
6af87b03
AR
375 return value_ref (val);
376 }
377
378 code2 = TYPE_CODE (check_typedef (value_type (arg2)));
379
380 if (code2 == TYPE_CODE_REF)
381 /* We deref the value and then do the cast. */
382 return value_cast (type, coerce_ref (arg2));
383
c906108c
SS
384 CHECK_TYPEDEF (type);
385 code1 = TYPE_CODE (type);
994b9211 386 arg2 = coerce_ref (arg2);
df407dfe 387 type2 = check_typedef (value_type (arg2));
c906108c 388
fb933624
DJ
389 /* You can't cast to a reference type. See value_cast_pointers
390 instead. */
391 gdb_assert (code1 != TYPE_CODE_REF);
392
ac3eeb49
MS
393 /* A cast to an undetermined-length array_type, such as
394 (TYPE [])OBJECT, is treated like a cast to (TYPE [N])OBJECT,
395 where N is sizeof(OBJECT)/sizeof(TYPE). */
c906108c
SS
396 if (code1 == TYPE_CODE_ARRAY)
397 {
398 struct type *element_type = TYPE_TARGET_TYPE (type);
399 unsigned element_length = TYPE_LENGTH (check_typedef (element_type));
a109c7c1 400
d78df370 401 if (element_length > 0 && TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type))
c906108c
SS
402 {
403 struct type *range_type = TYPE_INDEX_TYPE (type);
404 int val_length = TYPE_LENGTH (type2);
405 LONGEST low_bound, high_bound, new_length;
a109c7c1 406
c906108c
SS
407 if (get_discrete_bounds (range_type, &low_bound, &high_bound) < 0)
408 low_bound = 0, high_bound = 0;
409 new_length = val_length / element_length;
410 if (val_length % element_length != 0)
3e43a32a
MS
411 warning (_("array element type size does not "
412 "divide object size in cast"));
ac3eeb49
MS
413 /* FIXME-type-allocation: need a way to free this type when
414 we are done with it. */
0c9c3474
SA
415 range_type = create_static_range_type ((struct type *) NULL,
416 TYPE_TARGET_TYPE (range_type),
417 low_bound,
418 new_length + low_bound - 1);
ac3eeb49
MS
419 deprecated_set_value_type (arg2,
420 create_array_type ((struct type *) NULL,
421 element_type,
422 range_type));
c906108c
SS
423 return arg2;
424 }
425 }
426
427 if (current_language->c_style_arrays
3bdf2bbd
KW
428 && TYPE_CODE (type2) == TYPE_CODE_ARRAY
429 && !TYPE_VECTOR (type2))
c906108c
SS
430 arg2 = value_coerce_array (arg2);
431
432 if (TYPE_CODE (type2) == TYPE_CODE_FUNC)
433 arg2 = value_coerce_function (arg2);
434
df407dfe 435 type2 = check_typedef (value_type (arg2));
c906108c
SS
436 code2 = TYPE_CODE (type2);
437
438 if (code1 == TYPE_CODE_COMPLEX)
439 return cast_into_complex (type, arg2);
440 if (code1 == TYPE_CODE_BOOL)
441 {
442 code1 = TYPE_CODE_INT;
443 convert_to_boolean = 1;
444 }
445 if (code1 == TYPE_CODE_CHAR)
446 code1 = TYPE_CODE_INT;
447 if (code2 == TYPE_CODE_BOOL || code2 == TYPE_CODE_CHAR)
448 code2 = TYPE_CODE_INT;
449
450 scalar = (code2 == TYPE_CODE_INT || code2 == TYPE_CODE_FLT
4ef30785
TJB
451 || code2 == TYPE_CODE_DECFLOAT || code2 == TYPE_CODE_ENUM
452 || code2 == TYPE_CODE_RANGE);
c906108c 453
6af87b03
AR
454 if ((code1 == TYPE_CODE_STRUCT || code1 == TYPE_CODE_UNION)
455 && (code2 == TYPE_CODE_STRUCT || code2 == TYPE_CODE_UNION)
c906108c 456 && TYPE_NAME (type) != 0)
694182d2
DJ
457 {
458 struct value *v = value_cast_structs (type, arg2);
a109c7c1 459
694182d2
DJ
460 if (v)
461 return v;
462 }
463
c906108c
SS
464 if (code1 == TYPE_CODE_FLT && scalar)
465 return value_from_double (type, value_as_double (arg2));
4ef30785
TJB
466 else if (code1 == TYPE_CODE_DECFLOAT && scalar)
467 {
e17a4113 468 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
4ef30785
TJB
469 int dec_len = TYPE_LENGTH (type);
470 gdb_byte dec[16];
471
472 if (code2 == TYPE_CODE_FLT)
e17a4113 473 decimal_from_floating (arg2, dec, dec_len, byte_order);
4ef30785
TJB
474 else if (code2 == TYPE_CODE_DECFLOAT)
475 decimal_convert (value_contents (arg2), TYPE_LENGTH (type2),
e17a4113 476 byte_order, dec, dec_len, byte_order);
4ef30785
TJB
477 else
478 /* The only option left is an integral type. */
e17a4113 479 decimal_from_integral (arg2, dec, dec_len, byte_order);
4ef30785
TJB
480
481 return value_from_decfloat (type, dec);
482 }
c906108c
SS
483 else if ((code1 == TYPE_CODE_INT || code1 == TYPE_CODE_ENUM
484 || code1 == TYPE_CODE_RANGE)
0d5de010
DJ
485 && (scalar || code2 == TYPE_CODE_PTR
486 || code2 == TYPE_CODE_MEMBERPTR))
c906108c
SS
487 {
488 LONGEST longest;
c5aa993b 489
2bf1f4a1 490 /* When we cast pointers to integers, we mustn't use
76e71323 491 gdbarch_pointer_to_address to find the address the pointer
2bf1f4a1
JB
492 represents, as value_as_long would. GDB should evaluate
493 expressions just as the compiler would --- and the compiler
494 sees a cast as a simple reinterpretation of the pointer's
495 bits. */
496 if (code2 == TYPE_CODE_PTR)
e17a4113
UW
497 longest = extract_unsigned_integer
498 (value_contents (arg2), TYPE_LENGTH (type2),
499 gdbarch_byte_order (get_type_arch (type2)));
2bf1f4a1
JB
500 else
501 longest = value_as_long (arg2);
802db21b 502 return value_from_longest (type, convert_to_boolean ?
716c501e 503 (LONGEST) (longest ? 1 : 0) : longest);
c906108c 504 }
ac3eeb49
MS
505 else if (code1 == TYPE_CODE_PTR && (code2 == TYPE_CODE_INT
506 || code2 == TYPE_CODE_ENUM
507 || code2 == TYPE_CODE_RANGE))
634acd5f 508 {
4603e466
DT
509 /* TYPE_LENGTH (type) is the length of a pointer, but we really
510 want the length of an address! -- we are really dealing with
511 addresses (i.e., gdb representations) not pointers (i.e.,
512 target representations) here.
513
514 This allows things like "print *(int *)0x01000234" to work
515 without printing a misleading message -- which would
516 otherwise occur when dealing with a target having two byte
517 pointers and four byte addresses. */
518
50810684 519 int addr_bit = gdbarch_addr_bit (get_type_arch (type2));
634acd5f 520 LONGEST longest = value_as_long (arg2);
a109c7c1 521
4603e466 522 if (addr_bit < sizeof (LONGEST) * HOST_CHAR_BIT)
634acd5f 523 {
4603e466
DT
524 if (longest >= ((LONGEST) 1 << addr_bit)
525 || longest <= -((LONGEST) 1 << addr_bit))
8a3fe4f8 526 warning (_("value truncated"));
634acd5f
AC
527 }
528 return value_from_longest (type, longest);
529 }
0d5de010
DJ
530 else if (code1 == TYPE_CODE_METHODPTR && code2 == TYPE_CODE_INT
531 && value_as_long (arg2) == 0)
532 {
533 struct value *result = allocate_value (type);
a109c7c1 534
ad4820ab 535 cplus_make_method_ptr (type, value_contents_writeable (result), 0, 0);
0d5de010
DJ
536 return result;
537 }
538 else if (code1 == TYPE_CODE_MEMBERPTR && code2 == TYPE_CODE_INT
539 && value_as_long (arg2) == 0)
540 {
541 /* The Itanium C++ ABI represents NULL pointers to members as
542 minus one, instead of biasing the normal case. */
543 return value_from_longest (type, -1);
544 }
8954db33
AB
545 else if (code1 == TYPE_CODE_ARRAY && TYPE_VECTOR (type)
546 && code2 == TYPE_CODE_ARRAY && TYPE_VECTOR (type2)
547 && TYPE_LENGTH (type) != TYPE_LENGTH (type2))
548 error (_("Cannot convert between vector values of different sizes"));
549 else if (code1 == TYPE_CODE_ARRAY && TYPE_VECTOR (type) && scalar
550 && TYPE_LENGTH (type) != TYPE_LENGTH (type2))
551 error (_("can only cast scalar to vector of same size"));
0ba2eb0f
TT
552 else if (code1 == TYPE_CODE_VOID)
553 {
554 return value_zero (type, not_lval);
555 }
c906108c
SS
556 else if (TYPE_LENGTH (type) == TYPE_LENGTH (type2))
557 {
558 if (code1 == TYPE_CODE_PTR && code2 == TYPE_CODE_PTR)
b1af9e97 559 return value_cast_pointers (type, arg2, 0);
fb933624 560
0d5de010 561 arg2 = value_copy (arg2);
04624583 562 deprecated_set_value_type (arg2, type);
4dfea560 563 set_value_enclosing_type (arg2, type);
b44d461b 564 set_value_pointed_to_offset (arg2, 0); /* pai: chk_val */
c906108c
SS
565 return arg2;
566 }
c906108c 567 else if (VALUE_LVAL (arg2) == lval_memory)
42ae5230 568 return value_at_lazy (type, value_address (arg2));
c906108c
SS
569 else
570 {
8a3fe4f8 571 error (_("Invalid cast."));
c906108c
SS
572 return 0;
573 }
574}
575
4e8f195d
TT
576/* The C++ reinterpret_cast operator. */
577
578struct value *
579value_reinterpret_cast (struct type *type, struct value *arg)
580{
581 struct value *result;
582 struct type *real_type = check_typedef (type);
583 struct type *arg_type, *dest_type;
584 int is_ref = 0;
585 enum type_code dest_code, arg_code;
586
587 /* Do reference, function, and array conversion. */
588 arg = coerce_array (arg);
589
590 /* Attempt to preserve the type the user asked for. */
591 dest_type = type;
592
593 /* If we are casting to a reference type, transform
594 reinterpret_cast<T&>(V) to *reinterpret_cast<T*>(&V). */
595 if (TYPE_CODE (real_type) == TYPE_CODE_REF)
596 {
597 is_ref = 1;
598 arg = value_addr (arg);
599 dest_type = lookup_pointer_type (TYPE_TARGET_TYPE (dest_type));
600 real_type = lookup_pointer_type (real_type);
601 }
602
603 arg_type = value_type (arg);
604
605 dest_code = TYPE_CODE (real_type);
606 arg_code = TYPE_CODE (arg_type);
607
608 /* We can convert pointer types, or any pointer type to int, or int
609 type to pointer. */
610 if ((dest_code == TYPE_CODE_PTR && arg_code == TYPE_CODE_INT)
611 || (dest_code == TYPE_CODE_INT && arg_code == TYPE_CODE_PTR)
612 || (dest_code == TYPE_CODE_METHODPTR && arg_code == TYPE_CODE_INT)
613 || (dest_code == TYPE_CODE_INT && arg_code == TYPE_CODE_METHODPTR)
614 || (dest_code == TYPE_CODE_MEMBERPTR && arg_code == TYPE_CODE_INT)
615 || (dest_code == TYPE_CODE_INT && arg_code == TYPE_CODE_MEMBERPTR)
616 || (dest_code == arg_code
617 && (dest_code == TYPE_CODE_PTR
618 || dest_code == TYPE_CODE_METHODPTR
619 || dest_code == TYPE_CODE_MEMBERPTR)))
620 result = value_cast (dest_type, arg);
621 else
622 error (_("Invalid reinterpret_cast"));
623
624 if (is_ref)
625 result = value_cast (type, value_ref (value_ind (result)));
626
627 return result;
628}
629
630/* A helper for value_dynamic_cast. This implements the first of two
631 runtime checks: we iterate over all the base classes of the value's
632 class which are equal to the desired class; if only one of these
633 holds the value, then it is the answer. */
634
635static int
636dynamic_cast_check_1 (struct type *desired_type,
8af8e3bc
PA
637 const gdb_byte *valaddr,
638 int embedded_offset,
4e8f195d 639 CORE_ADDR address,
8af8e3bc 640 struct value *val,
4e8f195d
TT
641 struct type *search_type,
642 CORE_ADDR arg_addr,
643 struct type *arg_type,
644 struct value **result)
645{
646 int i, result_count = 0;
647
648 for (i = 0; i < TYPE_N_BASECLASSES (search_type) && result_count < 2; ++i)
649 {
8af8e3bc
PA
650 int offset = baseclass_offset (search_type, i, valaddr, embedded_offset,
651 address, val);
a109c7c1 652
4e8f195d
TT
653 if (class_types_same_p (desired_type, TYPE_BASECLASS (search_type, i)))
654 {
8af8e3bc
PA
655 if (address + embedded_offset + offset >= arg_addr
656 && address + embedded_offset + offset < arg_addr + TYPE_LENGTH (arg_type))
4e8f195d
TT
657 {
658 ++result_count;
659 if (!*result)
660 *result = value_at_lazy (TYPE_BASECLASS (search_type, i),
8af8e3bc 661 address + embedded_offset + offset);
4e8f195d
TT
662 }
663 }
664 else
665 result_count += dynamic_cast_check_1 (desired_type,
8af8e3bc
PA
666 valaddr,
667 embedded_offset + offset,
668 address, val,
4e8f195d
TT
669 TYPE_BASECLASS (search_type, i),
670 arg_addr,
671 arg_type,
672 result);
673 }
674
675 return result_count;
676}
677
678/* A helper for value_dynamic_cast. This implements the second of two
679 runtime checks: we look for a unique public sibling class of the
680 argument's declared class. */
681
682static int
683dynamic_cast_check_2 (struct type *desired_type,
8af8e3bc
PA
684 const gdb_byte *valaddr,
685 int embedded_offset,
4e8f195d 686 CORE_ADDR address,
8af8e3bc 687 struct value *val,
4e8f195d
TT
688 struct type *search_type,
689 struct value **result)
690{
691 int i, result_count = 0;
692
693 for (i = 0; i < TYPE_N_BASECLASSES (search_type) && result_count < 2; ++i)
694 {
695 int offset;
696
697 if (! BASETYPE_VIA_PUBLIC (search_type, i))
698 continue;
699
8af8e3bc
PA
700 offset = baseclass_offset (search_type, i, valaddr, embedded_offset,
701 address, val);
4e8f195d
TT
702 if (class_types_same_p (desired_type, TYPE_BASECLASS (search_type, i)))
703 {
704 ++result_count;
705 if (*result == NULL)
706 *result = value_at_lazy (TYPE_BASECLASS (search_type, i),
8af8e3bc 707 address + embedded_offset + offset);
4e8f195d
TT
708 }
709 else
710 result_count += dynamic_cast_check_2 (desired_type,
8af8e3bc
PA
711 valaddr,
712 embedded_offset + offset,
713 address, val,
4e8f195d
TT
714 TYPE_BASECLASS (search_type, i),
715 result);
716 }
717
718 return result_count;
719}
720
721/* The C++ dynamic_cast operator. */
722
723struct value *
724value_dynamic_cast (struct type *type, struct value *arg)
725{
8f78b329 726 int full, top, using_enc;
4e8f195d
TT
727 struct type *resolved_type = check_typedef (type);
728 struct type *arg_type = check_typedef (value_type (arg));
729 struct type *class_type, *rtti_type;
730 struct value *result, *tem, *original_arg = arg;
731 CORE_ADDR addr;
732 int is_ref = TYPE_CODE (resolved_type) == TYPE_CODE_REF;
733
734 if (TYPE_CODE (resolved_type) != TYPE_CODE_PTR
735 && TYPE_CODE (resolved_type) != TYPE_CODE_REF)
736 error (_("Argument to dynamic_cast must be a pointer or reference type"));
737 if (TYPE_CODE (TYPE_TARGET_TYPE (resolved_type)) != TYPE_CODE_VOID
4753d33b 738 && TYPE_CODE (TYPE_TARGET_TYPE (resolved_type)) != TYPE_CODE_STRUCT)
4e8f195d
TT
739 error (_("Argument to dynamic_cast must be pointer to class or `void *'"));
740
741 class_type = check_typedef (TYPE_TARGET_TYPE (resolved_type));
742 if (TYPE_CODE (resolved_type) == TYPE_CODE_PTR)
743 {
744 if (TYPE_CODE (arg_type) != TYPE_CODE_PTR
745 && ! (TYPE_CODE (arg_type) == TYPE_CODE_INT
746 && value_as_long (arg) == 0))
747 error (_("Argument to dynamic_cast does not have pointer type"));
748 if (TYPE_CODE (arg_type) == TYPE_CODE_PTR)
749 {
750 arg_type = check_typedef (TYPE_TARGET_TYPE (arg_type));
4753d33b 751 if (TYPE_CODE (arg_type) != TYPE_CODE_STRUCT)
3e43a32a
MS
752 error (_("Argument to dynamic_cast does "
753 "not have pointer to class type"));
4e8f195d
TT
754 }
755
756 /* Handle NULL pointers. */
757 if (value_as_long (arg) == 0)
758 return value_zero (type, not_lval);
759
760 arg = value_ind (arg);
761 }
762 else
763 {
4753d33b 764 if (TYPE_CODE (arg_type) != TYPE_CODE_STRUCT)
4e8f195d
TT
765 error (_("Argument to dynamic_cast does not have class type"));
766 }
767
768 /* If the classes are the same, just return the argument. */
769 if (class_types_same_p (class_type, arg_type))
770 return value_cast (type, arg);
771
772 /* If the target type is a unique base class of the argument's
773 declared type, just cast it. */
774 if (is_ancestor (class_type, arg_type))
775 {
776 if (is_unique_ancestor (class_type, arg))
777 return value_cast (type, original_arg);
778 error (_("Ambiguous dynamic_cast"));
779 }
780
781 rtti_type = value_rtti_type (arg, &full, &top, &using_enc);
782 if (! rtti_type)
783 error (_("Couldn't determine value's most derived type for dynamic_cast"));
784
785 /* Compute the most derived object's address. */
786 addr = value_address (arg);
787 if (full)
788 {
789 /* Done. */
790 }
791 else if (using_enc)
792 addr += top;
793 else
794 addr += top + value_embedded_offset (arg);
795
796 /* dynamic_cast<void *> means to return a pointer to the
797 most-derived object. */
798 if (TYPE_CODE (resolved_type) == TYPE_CODE_PTR
799 && TYPE_CODE (TYPE_TARGET_TYPE (resolved_type)) == TYPE_CODE_VOID)
800 return value_at_lazy (type, addr);
801
802 tem = value_at (type, addr);
9f1f738a 803 type = value_type (tem);
4e8f195d
TT
804
805 /* The first dynamic check specified in 5.2.7. */
806 if (is_public_ancestor (arg_type, TYPE_TARGET_TYPE (resolved_type)))
807 {
808 if (class_types_same_p (rtti_type, TYPE_TARGET_TYPE (resolved_type)))
809 return tem;
810 result = NULL;
811 if (dynamic_cast_check_1 (TYPE_TARGET_TYPE (resolved_type),
8af8e3bc
PA
812 value_contents_for_printing (tem),
813 value_embedded_offset (tem),
814 value_address (tem), tem,
4e8f195d
TT
815 rtti_type, addr,
816 arg_type,
817 &result) == 1)
818 return value_cast (type,
819 is_ref ? value_ref (result) : value_addr (result));
820 }
821
822 /* The second dynamic check specified in 5.2.7. */
823 result = NULL;
824 if (is_public_ancestor (arg_type, rtti_type)
825 && dynamic_cast_check_2 (TYPE_TARGET_TYPE (resolved_type),
8af8e3bc
PA
826 value_contents_for_printing (tem),
827 value_embedded_offset (tem),
828 value_address (tem), tem,
4e8f195d
TT
829 rtti_type, &result) == 1)
830 return value_cast (type,
831 is_ref ? value_ref (result) : value_addr (result));
832
833 if (TYPE_CODE (resolved_type) == TYPE_CODE_PTR)
834 return value_zero (type, not_lval);
835
836 error (_("dynamic_cast failed"));
837}
838
c906108c
SS
839/* Create a value of type TYPE that is zero, and return it. */
840
f23631e4 841struct value *
fba45db2 842value_zero (struct type *type, enum lval_type lv)
c906108c 843{
f23631e4 844 struct value *val = allocate_value (type);
c906108c 845
bb7da2bf 846 VALUE_LVAL (val) = (lv == lval_computed ? not_lval : lv);
c906108c
SS
847 return val;
848}
849
18a46dbe 850/* Create a not_lval value of numeric type TYPE that is one, and return it. */
301f0ecf
DE
851
852struct value *
18a46dbe 853value_one (struct type *type)
301f0ecf
DE
854{
855 struct type *type1 = check_typedef (type);
4e608b4f 856 struct value *val;
301f0ecf
DE
857
858 if (TYPE_CODE (type1) == TYPE_CODE_DECFLOAT)
859 {
e17a4113 860 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
301f0ecf 861 gdb_byte v[16];
a109c7c1 862
e17a4113 863 decimal_from_string (v, TYPE_LENGTH (type), byte_order, "1");
301f0ecf
DE
864 val = value_from_decfloat (type, v);
865 }
866 else if (TYPE_CODE (type1) == TYPE_CODE_FLT)
867 {
868 val = value_from_double (type, (DOUBLEST) 1);
869 }
870 else if (is_integral_type (type1))
871 {
872 val = value_from_longest (type, (LONGEST) 1);
873 }
120bd360
KW
874 else if (TYPE_CODE (type1) == TYPE_CODE_ARRAY && TYPE_VECTOR (type1))
875 {
876 struct type *eltype = check_typedef (TYPE_TARGET_TYPE (type1));
cfa6f054
KW
877 int i;
878 LONGEST low_bound, high_bound;
120bd360
KW
879 struct value *tmp;
880
cfa6f054
KW
881 if (!get_array_bounds (type1, &low_bound, &high_bound))
882 error (_("Could not determine the vector bounds"));
883
120bd360 884 val = allocate_value (type);
cfa6f054 885 for (i = 0; i < high_bound - low_bound + 1; i++)
120bd360 886 {
18a46dbe 887 tmp = value_one (eltype);
120bd360
KW
888 memcpy (value_contents_writeable (val) + i * TYPE_LENGTH (eltype),
889 value_contents_all (tmp), TYPE_LENGTH (eltype));
890 }
891 }
301f0ecf
DE
892 else
893 {
894 error (_("Not a numeric type."));
895 }
896
18a46dbe
JK
897 /* value_one result is never used for assignments to. */
898 gdb_assert (VALUE_LVAL (val) == not_lval);
899
301f0ecf
DE
900 return val;
901}
902
80180f79
SA
903/* Helper function for value_at, value_at_lazy, and value_at_lazy_stack.
904 The type of the created value may differ from the passed type TYPE.
905 Make sure to retrieve the returned values's new type after this call
906 e.g. in case the type is a variable length array. */
4e5d721f
DE
907
908static struct value *
909get_value_at (struct type *type, CORE_ADDR addr, int lazy)
910{
911 struct value *val;
912
913 if (TYPE_CODE (check_typedef (type)) == TYPE_CODE_VOID)
914 error (_("Attempt to dereference a generic pointer."));
915
a3d34bf4 916 val = value_from_contents_and_address (type, NULL, addr);
4e5d721f 917
a3d34bf4
PA
918 if (!lazy)
919 value_fetch_lazy (val);
4e5d721f
DE
920
921 return val;
922}
923
070ad9f0 924/* Return a value with type TYPE located at ADDR.
c906108c
SS
925
926 Call value_at only if the data needs to be fetched immediately;
927 if we can be 'lazy' and defer the fetch, perhaps indefinately, call
928 value_at_lazy instead. value_at_lazy simply records the address of
070ad9f0 929 the data and sets the lazy-evaluation-required flag. The lazy flag
0fd88904 930 is tested in the value_contents macro, which is used if and when
80180f79
SA
931 the contents are actually required. The type of the created value
932 may differ from the passed type TYPE. Make sure to retrieve the
933 returned values's new type after this call e.g. in case the type
934 is a variable length array.
c906108c
SS
935
936 Note: value_at does *NOT* handle embedded offsets; perform such
ac3eeb49 937 adjustments before or after calling it. */
c906108c 938
f23631e4 939struct value *
00a4c844 940value_at (struct type *type, CORE_ADDR addr)
c906108c 941{
4e5d721f 942 return get_value_at (type, addr, 0);
c906108c
SS
943}
944
80180f79
SA
945/* Return a lazy value with type TYPE located at ADDR (cf. value_at).
946 The type of the created value may differ from the passed type TYPE.
947 Make sure to retrieve the returned values's new type after this call
948 e.g. in case the type is a variable length array. */
c906108c 949
f23631e4 950struct value *
00a4c844 951value_at_lazy (struct type *type, CORE_ADDR addr)
c906108c 952{
4e5d721f 953 return get_value_at (type, addr, 1);
c906108c
SS
954}
955
e6ca34fc
PA
956void
957read_value_memory (struct value *val, int embedded_offset,
958 int stack, CORE_ADDR memaddr,
959 gdb_byte *buffer, size_t length)
960{
5a2eb0ef
YQ
961 ULONGEST xfered = 0;
962
963 while (xfered < length)
964 {
965 enum target_xfer_status status;
966 ULONGEST xfered_len;
967
968 status = target_xfer_partial (current_target.beneath,
969 TARGET_OBJECT_MEMORY, NULL,
970 buffer + xfered, NULL,
971 memaddr + xfered, length - xfered,
972 &xfered_len);
973
974 if (status == TARGET_XFER_OK)
975 /* nothing */;
bc113b4e 976 else if (status == TARGET_XFER_UNAVAILABLE)
5a2eb0ef
YQ
977 mark_value_bytes_unavailable (val, embedded_offset + xfered,
978 xfered_len);
979 else if (status == TARGET_XFER_EOF)
980 memory_error (TARGET_XFER_E_IO, memaddr + xfered);
e6ca34fc 981 else
5a2eb0ef 982 memory_error (status, memaddr + xfered);
e6ca34fc 983
5a2eb0ef
YQ
984 xfered += xfered_len;
985 QUIT;
e6ca34fc
PA
986 }
987}
c906108c
SS
988
989/* Store the contents of FROMVAL into the location of TOVAL.
990 Return a new value with the location of TOVAL and contents of FROMVAL. */
991
f23631e4
AC
992struct value *
993value_assign (struct value *toval, struct value *fromval)
c906108c 994{
52f0bd74 995 struct type *type;
f23631e4 996 struct value *val;
cb741690 997 struct frame_id old_frame;
c906108c 998
88e3b34b 999 if (!deprecated_value_modifiable (toval))
8a3fe4f8 1000 error (_("Left operand of assignment is not a modifiable lvalue."));
c906108c 1001
994b9211 1002 toval = coerce_ref (toval);
c906108c 1003
df407dfe 1004 type = value_type (toval);
c906108c 1005 if (VALUE_LVAL (toval) != lval_internalvar)
3cbaedff 1006 fromval = value_cast (type, fromval);
c906108c 1007 else
63092375
DJ
1008 {
1009 /* Coerce arrays and functions to pointers, except for arrays
1010 which only live in GDB's storage. */
1011 if (!value_must_coerce_to_target (fromval))
1012 fromval = coerce_array (fromval);
1013 }
1014
c906108c
SS
1015 CHECK_TYPEDEF (type);
1016
ac3eeb49
MS
1017 /* Since modifying a register can trash the frame chain, and
1018 modifying memory can trash the frame cache, we save the old frame
1019 and then restore the new frame afterwards. */
206415a3 1020 old_frame = get_frame_id (deprecated_safe_get_selected_frame ());
cb741690 1021
c906108c
SS
1022 switch (VALUE_LVAL (toval))
1023 {
1024 case lval_internalvar:
1025 set_internalvar (VALUE_INTERNALVAR (toval), fromval);
4aac0db7
UW
1026 return value_of_internalvar (get_type_arch (type),
1027 VALUE_INTERNALVAR (toval));
c906108c
SS
1028
1029 case lval_internalvar_component:
d9e98382
SDJ
1030 {
1031 int offset = value_offset (toval);
1032
1033 /* Are we dealing with a bitfield?
1034
1035 It is important to mention that `value_parent (toval)' is
1036 non-NULL iff `value_bitsize (toval)' is non-zero. */
1037 if (value_bitsize (toval))
1038 {
1039 /* VALUE_INTERNALVAR below refers to the parent value, while
1040 the offset is relative to this parent value. */
1041 gdb_assert (value_parent (value_parent (toval)) == NULL);
1042 offset += value_offset (value_parent (toval));
1043 }
1044
1045 set_internalvar_component (VALUE_INTERNALVAR (toval),
1046 offset,
1047 value_bitpos (toval),
1048 value_bitsize (toval),
1049 fromval);
1050 }
c906108c
SS
1051 break;
1052
1053 case lval_memory:
1054 {
fc1a4b47 1055 const gdb_byte *dest_buffer;
c5aa993b
JM
1056 CORE_ADDR changed_addr;
1057 int changed_len;
10c42a71 1058 gdb_byte buffer[sizeof (LONGEST)];
c906108c 1059
df407dfe 1060 if (value_bitsize (toval))
c5aa993b 1061 {
2d88202a 1062 struct value *parent = value_parent (toval);
2d88202a 1063
a109c7c1 1064 changed_addr = value_address (parent) + value_offset (toval);
df407dfe
AC
1065 changed_len = (value_bitpos (toval)
1066 + value_bitsize (toval)
c5aa993b
JM
1067 + HOST_CHAR_BIT - 1)
1068 / HOST_CHAR_BIT;
c906108c 1069
4ea48cc1
DJ
1070 /* If we can read-modify-write exactly the size of the
1071 containing type (e.g. short or int) then do so. This
1072 is safer for volatile bitfields mapped to hardware
1073 registers. */
1074 if (changed_len < TYPE_LENGTH (type)
1075 && TYPE_LENGTH (type) <= (int) sizeof (LONGEST)
2d88202a 1076 && ((LONGEST) changed_addr % TYPE_LENGTH (type)) == 0)
4ea48cc1
DJ
1077 changed_len = TYPE_LENGTH (type);
1078
c906108c 1079 if (changed_len > (int) sizeof (LONGEST))
3e43a32a
MS
1080 error (_("Can't handle bitfields which "
1081 "don't fit in a %d bit word."),
baa6f10b 1082 (int) sizeof (LONGEST) * HOST_CHAR_BIT);
c906108c 1083
2d88202a 1084 read_memory (changed_addr, buffer, changed_len);
50810684 1085 modify_field (type, buffer, value_as_long (fromval),
df407dfe 1086 value_bitpos (toval), value_bitsize (toval));
c906108c
SS
1087 dest_buffer = buffer;
1088 }
c906108c
SS
1089 else
1090 {
42ae5230 1091 changed_addr = value_address (toval);
c906108c 1092 changed_len = TYPE_LENGTH (type);
0fd88904 1093 dest_buffer = value_contents (fromval);
c906108c
SS
1094 }
1095
972daa01 1096 write_memory_with_notification (changed_addr, dest_buffer, changed_len);
c906108c
SS
1097 }
1098 break;
1099
492254e9 1100 case lval_register:
c906108c 1101 {
c906108c 1102 struct frame_info *frame;
d80b854b 1103 struct gdbarch *gdbarch;
ff2e87ac 1104 int value_reg;
c906108c
SS
1105
1106 /* Figure out which frame this is in currently. */
0c16dd26
AC
1107 frame = frame_find_by_id (VALUE_FRAME_ID (toval));
1108 value_reg = VALUE_REGNUM (toval);
c906108c
SS
1109
1110 if (!frame)
8a3fe4f8 1111 error (_("Value being assigned to is no longer active."));
d80b854b
UW
1112
1113 gdbarch = get_frame_arch (frame);
3e871532
LM
1114
1115 if (value_bitsize (toval))
492254e9 1116 {
3e871532
LM
1117 struct value *parent = value_parent (toval);
1118 int offset = value_offset (parent) + value_offset (toval);
1119 int changed_len;
1120 gdb_byte buffer[sizeof (LONGEST)];
1121 int optim, unavail;
1122
1123 changed_len = (value_bitpos (toval)
1124 + value_bitsize (toval)
1125 + HOST_CHAR_BIT - 1)
1126 / HOST_CHAR_BIT;
1127
1128 if (changed_len > (int) sizeof (LONGEST))
1129 error (_("Can't handle bitfields which "
1130 "don't fit in a %d bit word."),
1131 (int) sizeof (LONGEST) * HOST_CHAR_BIT);
1132
1133 if (!get_frame_register_bytes (frame, value_reg, offset,
1134 changed_len, buffer,
1135 &optim, &unavail))
1136 {
1137 if (optim)
1138 throw_error (OPTIMIZED_OUT_ERROR,
1139 _("value has been optimized out"));
1140 if (unavail)
1141 throw_error (NOT_AVAILABLE_ERROR,
1142 _("value is not available"));
1143 }
1144
1145 modify_field (type, buffer, value_as_long (fromval),
1146 value_bitpos (toval), value_bitsize (toval));
1147
1148 put_frame_register_bytes (frame, value_reg, offset,
1149 changed_len, buffer);
492254e9 1150 }
c906108c 1151 else
492254e9 1152 {
3e871532
LM
1153 if (gdbarch_convert_register_p (gdbarch, VALUE_REGNUM (toval),
1154 type))
00fa51f6 1155 {
3e871532
LM
1156 /* If TOVAL is a special machine register requiring
1157 conversion of program values to a special raw
1158 format. */
1159 gdbarch_value_to_register (gdbarch, frame,
1160 VALUE_REGNUM (toval), type,
1161 value_contents (fromval));
00fa51f6 1162 }
c906108c 1163 else
00fa51f6
UW
1164 {
1165 put_frame_register_bytes (frame, value_reg,
1166 value_offset (toval),
1167 TYPE_LENGTH (type),
1168 value_contents (fromval));
1169 }
ff2e87ac 1170 }
00fa51f6 1171
162078c8 1172 observer_notify_register_changed (frame, value_reg);
9a4105ab
AC
1173 if (deprecated_register_changed_hook)
1174 deprecated_register_changed_hook (-1);
ff2e87ac 1175 break;
c906108c 1176 }
5f5233d4
PA
1177
1178 case lval_computed:
1179 {
c8f2448a 1180 const struct lval_funcs *funcs = value_computed_funcs (toval);
5f5233d4 1181
ac71a68c
JK
1182 if (funcs->write != NULL)
1183 {
1184 funcs->write (toval, fromval);
1185 break;
1186 }
5f5233d4 1187 }
ac71a68c 1188 /* Fall through. */
5f5233d4 1189
c906108c 1190 default:
8a3fe4f8 1191 error (_("Left operand of assignment is not an lvalue."));
c906108c
SS
1192 }
1193
cb741690
DJ
1194 /* Assigning to the stack pointer, frame pointer, and other
1195 (architecture and calling convention specific) registers may
d649a38e 1196 cause the frame cache and regcache to be out of date. Assigning to memory
cb741690
DJ
1197 also can. We just do this on all assignments to registers or
1198 memory, for simplicity's sake; I doubt the slowdown matters. */
1199 switch (VALUE_LVAL (toval))
1200 {
1201 case lval_memory:
1202 case lval_register:
0e03807e 1203 case lval_computed:
cb741690 1204
d649a38e 1205 observer_notify_target_changed (&current_target);
cb741690 1206
ac3eeb49
MS
1207 /* Having destroyed the frame cache, restore the selected
1208 frame. */
cb741690
DJ
1209
1210 /* FIXME: cagney/2002-11-02: There has to be a better way of
1211 doing this. Instead of constantly saving/restoring the
1212 frame. Why not create a get_selected_frame() function that,
1213 having saved the selected frame's ID can automatically
1214 re-find the previously selected frame automatically. */
1215
1216 {
1217 struct frame_info *fi = frame_find_by_id (old_frame);
a109c7c1 1218
cb741690
DJ
1219 if (fi != NULL)
1220 select_frame (fi);
1221 }
1222
1223 break;
1224 default:
1225 break;
1226 }
1227
ac3eeb49
MS
1228 /* If the field does not entirely fill a LONGEST, then zero the sign
1229 bits. If the field is signed, and is negative, then sign
1230 extend. */
df407dfe
AC
1231 if ((value_bitsize (toval) > 0)
1232 && (value_bitsize (toval) < 8 * (int) sizeof (LONGEST)))
c906108c
SS
1233 {
1234 LONGEST fieldval = value_as_long (fromval);
df407dfe 1235 LONGEST valmask = (((ULONGEST) 1) << value_bitsize (toval)) - 1;
c906108c
SS
1236
1237 fieldval &= valmask;
ac3eeb49
MS
1238 if (!TYPE_UNSIGNED (type)
1239 && (fieldval & (valmask ^ (valmask >> 1))))
c906108c
SS
1240 fieldval |= ~valmask;
1241
1242 fromval = value_from_longest (type, fieldval);
1243 }
1244
4aac0db7
UW
1245 /* The return value is a copy of TOVAL so it shares its location
1246 information, but its contents are updated from FROMVAL. This
1247 implies the returned value is not lazy, even if TOVAL was. */
c906108c 1248 val = value_copy (toval);
4aac0db7 1249 set_value_lazy (val, 0);
0fd88904 1250 memcpy (value_contents_raw (val), value_contents (fromval),
c906108c 1251 TYPE_LENGTH (type));
4aac0db7
UW
1252
1253 /* We copy over the enclosing type and pointed-to offset from FROMVAL
1254 in the case of pointer types. For object types, the enclosing type
1255 and embedded offset must *not* be copied: the target object refered
1256 to by TOVAL retains its original dynamic type after assignment. */
1257 if (TYPE_CODE (type) == TYPE_CODE_PTR)
1258 {
1259 set_value_enclosing_type (val, value_enclosing_type (fromval));
1260 set_value_pointed_to_offset (val, value_pointed_to_offset (fromval));
1261 }
c5aa993b 1262
c906108c
SS
1263 return val;
1264}
1265
1266/* Extend a value VAL to COUNT repetitions of its type. */
1267
f23631e4
AC
1268struct value *
1269value_repeat (struct value *arg1, int count)
c906108c 1270{
f23631e4 1271 struct value *val;
c906108c
SS
1272
1273 if (VALUE_LVAL (arg1) != lval_memory)
8a3fe4f8 1274 error (_("Only values in memory can be extended with '@'."));
c906108c 1275 if (count < 1)
8a3fe4f8 1276 error (_("Invalid number %d of repetitions."), count);
c906108c 1277
4754a64e 1278 val = allocate_repeat_value (value_enclosing_type (arg1), count);
c906108c 1279
c906108c 1280 VALUE_LVAL (val) = lval_memory;
42ae5230 1281 set_value_address (val, value_address (arg1));
c906108c 1282
24e6bcee
PA
1283 read_value_memory (val, 0, value_stack (val), value_address (val),
1284 value_contents_all_raw (val),
1285 TYPE_LENGTH (value_enclosing_type (val)));
1286
c906108c
SS
1287 return val;
1288}
1289
f23631e4 1290struct value *
9df2fbc4 1291value_of_variable (struct symbol *var, const struct block *b)
c906108c 1292{
61212c0f 1293 struct frame_info *frame;
c906108c 1294
61212c0f
UW
1295 if (!symbol_read_needs_frame (var))
1296 frame = NULL;
1297 else if (!b)
1298 frame = get_selected_frame (_("No frame selected."));
1299 else
c906108c
SS
1300 {
1301 frame = block_innermost_frame (b);
1302 if (!frame)
c5aa993b 1303 {
edb3359d 1304 if (BLOCK_FUNCTION (b) && !block_inlined_p (b)
de5ad195 1305 && SYMBOL_PRINT_NAME (BLOCK_FUNCTION (b)))
8a3fe4f8 1306 error (_("No frame is currently executing in block %s."),
de5ad195 1307 SYMBOL_PRINT_NAME (BLOCK_FUNCTION (b)));
c906108c 1308 else
8a3fe4f8 1309 error (_("No frame is currently executing in specified block"));
c5aa993b 1310 }
c906108c
SS
1311 }
1312
8afd712c 1313 return read_var_value (var, frame);
c906108c
SS
1314}
1315
61212c0f 1316struct value *
270140bd 1317address_of_variable (struct symbol *var, const struct block *b)
61212c0f
UW
1318{
1319 struct type *type = SYMBOL_TYPE (var);
1320 struct value *val;
1321
1322 /* Evaluate it first; if the result is a memory address, we're fine.
581e13c1 1323 Lazy evaluation pays off here. */
61212c0f
UW
1324
1325 val = value_of_variable (var, b);
9f1f738a 1326 type = value_type (val);
61212c0f
UW
1327
1328 if ((VALUE_LVAL (val) == lval_memory && value_lazy (val))
1329 || TYPE_CODE (type) == TYPE_CODE_FUNC)
1330 {
42ae5230 1331 CORE_ADDR addr = value_address (val);
a109c7c1 1332
61212c0f
UW
1333 return value_from_pointer (lookup_pointer_type (type), addr);
1334 }
1335
1336 /* Not a memory address; check what the problem was. */
1337 switch (VALUE_LVAL (val))
1338 {
1339 case lval_register:
1340 {
1341 struct frame_info *frame;
1342 const char *regname;
1343
1344 frame = frame_find_by_id (VALUE_FRAME_ID (val));
1345 gdb_assert (frame);
1346
1347 regname = gdbarch_register_name (get_frame_arch (frame),
1348 VALUE_REGNUM (val));
1349 gdb_assert (regname && *regname);
1350
1351 error (_("Address requested for identifier "
1352 "\"%s\" which is in register $%s"),
1353 SYMBOL_PRINT_NAME (var), regname);
1354 break;
1355 }
1356
1357 default:
1358 error (_("Can't take address of \"%s\" which isn't an lvalue."),
1359 SYMBOL_PRINT_NAME (var));
1360 break;
1361 }
1362
1363 return val;
1364}
1365
63092375
DJ
1366/* Return one if VAL does not live in target memory, but should in order
1367 to operate on it. Otherwise return zero. */
1368
1369int
1370value_must_coerce_to_target (struct value *val)
1371{
1372 struct type *valtype;
1373
1374 /* The only lval kinds which do not live in target memory. */
1375 if (VALUE_LVAL (val) != not_lval
e81e7f5e
SC
1376 && VALUE_LVAL (val) != lval_internalvar
1377 && VALUE_LVAL (val) != lval_xcallable)
63092375
DJ
1378 return 0;
1379
1380 valtype = check_typedef (value_type (val));
1381
1382 switch (TYPE_CODE (valtype))
1383 {
1384 case TYPE_CODE_ARRAY:
3cbaedff 1385 return TYPE_VECTOR (valtype) ? 0 : 1;
63092375
DJ
1386 case TYPE_CODE_STRING:
1387 return 1;
1388 default:
1389 return 0;
1390 }
1391}
1392
3e43a32a
MS
1393/* Make sure that VAL lives in target memory if it's supposed to. For
1394 instance, strings are constructed as character arrays in GDB's
1395 storage, and this function copies them to the target. */
63092375
DJ
1396
1397struct value *
1398value_coerce_to_target (struct value *val)
1399{
1400 LONGEST length;
1401 CORE_ADDR addr;
1402
1403 if (!value_must_coerce_to_target (val))
1404 return val;
1405
1406 length = TYPE_LENGTH (check_typedef (value_type (val)));
1407 addr = allocate_space_in_inferior (length);
1408 write_memory (addr, value_contents (val), length);
1409 return value_at_lazy (value_type (val), addr);
1410}
1411
ac3eeb49
MS
1412/* Given a value which is an array, return a value which is a pointer
1413 to its first element, regardless of whether or not the array has a
1414 nonzero lower bound.
c906108c 1415
ac3eeb49
MS
1416 FIXME: A previous comment here indicated that this routine should
1417 be substracting the array's lower bound. It's not clear to me that
1418 this is correct. Given an array subscripting operation, it would
1419 certainly work to do the adjustment here, essentially computing:
c906108c
SS
1420
1421 (&array[0] - (lowerbound * sizeof array[0])) + (index * sizeof array[0])
1422
ac3eeb49
MS
1423 However I believe a more appropriate and logical place to account
1424 for the lower bound is to do so in value_subscript, essentially
1425 computing:
c906108c
SS
1426
1427 (&array[0] + ((index - lowerbound) * sizeof array[0]))
1428
ac3eeb49
MS
1429 As further evidence consider what would happen with operations
1430 other than array subscripting, where the caller would get back a
1431 value that had an address somewhere before the actual first element
1432 of the array, and the information about the lower bound would be
581e13c1 1433 lost because of the coercion to pointer type. */
c906108c 1434
f23631e4
AC
1435struct value *
1436value_coerce_array (struct value *arg1)
c906108c 1437{
df407dfe 1438 struct type *type = check_typedef (value_type (arg1));
c906108c 1439
63092375
DJ
1440 /* If the user tries to do something requiring a pointer with an
1441 array that has not yet been pushed to the target, then this would
1442 be a good time to do so. */
1443 arg1 = value_coerce_to_target (arg1);
1444
c906108c 1445 if (VALUE_LVAL (arg1) != lval_memory)
8a3fe4f8 1446 error (_("Attempt to take address of value not located in memory."));
c906108c 1447
4478b372 1448 return value_from_pointer (lookup_pointer_type (TYPE_TARGET_TYPE (type)),
42ae5230 1449 value_address (arg1));
c906108c
SS
1450}
1451
1452/* Given a value which is a function, return a value which is a pointer
1453 to it. */
1454
f23631e4
AC
1455struct value *
1456value_coerce_function (struct value *arg1)
c906108c 1457{
f23631e4 1458 struct value *retval;
c906108c
SS
1459
1460 if (VALUE_LVAL (arg1) != lval_memory)
8a3fe4f8 1461 error (_("Attempt to take address of value not located in memory."));
c906108c 1462
df407dfe 1463 retval = value_from_pointer (lookup_pointer_type (value_type (arg1)),
42ae5230 1464 value_address (arg1));
c906108c 1465 return retval;
c5aa993b 1466}
c906108c 1467
ac3eeb49
MS
1468/* Return a pointer value for the object for which ARG1 is the
1469 contents. */
c906108c 1470
f23631e4
AC
1471struct value *
1472value_addr (struct value *arg1)
c906108c 1473{
f23631e4 1474 struct value *arg2;
df407dfe 1475 struct type *type = check_typedef (value_type (arg1));
a109c7c1 1476
c906108c
SS
1477 if (TYPE_CODE (type) == TYPE_CODE_REF)
1478 {
ac3eeb49
MS
1479 /* Copy the value, but change the type from (T&) to (T*). We
1480 keep the same location information, which is efficient, and
1481 allows &(&X) to get the location containing the reference. */
c906108c 1482 arg2 = value_copy (arg1);
ac3eeb49
MS
1483 deprecated_set_value_type (arg2,
1484 lookup_pointer_type (TYPE_TARGET_TYPE (type)));
c906108c
SS
1485 return arg2;
1486 }
1487 if (TYPE_CODE (type) == TYPE_CODE_FUNC)
1488 return value_coerce_function (arg1);
1489
63092375
DJ
1490 /* If this is an array that has not yet been pushed to the target,
1491 then this would be a good time to force it to memory. */
1492 arg1 = value_coerce_to_target (arg1);
1493
c906108c 1494 if (VALUE_LVAL (arg1) != lval_memory)
8a3fe4f8 1495 error (_("Attempt to take address of value not located in memory."));
c906108c 1496
581e13c1 1497 /* Get target memory address. */
df407dfe 1498 arg2 = value_from_pointer (lookup_pointer_type (value_type (arg1)),
42ae5230 1499 (value_address (arg1)
13c3b5f5 1500 + value_embedded_offset (arg1)));
c906108c
SS
1501
1502 /* This may be a pointer to a base subobject; so remember the
ac3eeb49 1503 full derived object's type ... */
4dfea560
DE
1504 set_value_enclosing_type (arg2,
1505 lookup_pointer_type (value_enclosing_type (arg1)));
ac3eeb49
MS
1506 /* ... and also the relative position of the subobject in the full
1507 object. */
b44d461b 1508 set_value_pointed_to_offset (arg2, value_embedded_offset (arg1));
c906108c
SS
1509 return arg2;
1510}
1511
ac3eeb49
MS
1512/* Return a reference value for the object for which ARG1 is the
1513 contents. */
fb933624
DJ
1514
1515struct value *
1516value_ref (struct value *arg1)
1517{
1518 struct value *arg2;
fb933624 1519 struct type *type = check_typedef (value_type (arg1));
a109c7c1 1520
fb933624
DJ
1521 if (TYPE_CODE (type) == TYPE_CODE_REF)
1522 return arg1;
1523
1524 arg2 = value_addr (arg1);
1525 deprecated_set_value_type (arg2, lookup_reference_type (type));
1526 return arg2;
1527}
1528
ac3eeb49
MS
1529/* Given a value of a pointer type, apply the C unary * operator to
1530 it. */
c906108c 1531
f23631e4
AC
1532struct value *
1533value_ind (struct value *arg1)
c906108c
SS
1534{
1535 struct type *base_type;
f23631e4 1536 struct value *arg2;
c906108c 1537
994b9211 1538 arg1 = coerce_array (arg1);
c906108c 1539
df407dfe 1540 base_type = check_typedef (value_type (arg1));
c906108c 1541
8cf6f0b1
TT
1542 if (VALUE_LVAL (arg1) == lval_computed)
1543 {
c8f2448a 1544 const struct lval_funcs *funcs = value_computed_funcs (arg1);
8cf6f0b1
TT
1545
1546 if (funcs->indirect)
1547 {
1548 struct value *result = funcs->indirect (arg1);
1549
1550 if (result)
1551 return result;
1552 }
1553 }
1554
22fe0fbb 1555 if (TYPE_CODE (base_type) == TYPE_CODE_PTR)
c906108c
SS
1556 {
1557 struct type *enc_type;
a109c7c1 1558
ac3eeb49
MS
1559 /* We may be pointing to something embedded in a larger object.
1560 Get the real type of the enclosing object. */
4754a64e 1561 enc_type = check_typedef (value_enclosing_type (arg1));
c906108c 1562 enc_type = TYPE_TARGET_TYPE (enc_type);
0d5de010
DJ
1563
1564 if (TYPE_CODE (check_typedef (enc_type)) == TYPE_CODE_FUNC
1565 || TYPE_CODE (check_typedef (enc_type)) == TYPE_CODE_METHOD)
1566 /* For functions, go through find_function_addr, which knows
1567 how to handle function descriptors. */
ac3eeb49
MS
1568 arg2 = value_at_lazy (enc_type,
1569 find_function_addr (arg1, NULL));
0d5de010 1570 else
581e13c1 1571 /* Retrieve the enclosing object pointed to. */
ac3eeb49
MS
1572 arg2 = value_at_lazy (enc_type,
1573 (value_as_address (arg1)
1574 - value_pointed_to_offset (arg1)));
0d5de010 1575
9f1f738a 1576 enc_type = value_type (arg2);
dfcee124 1577 return readjust_indirect_value_type (arg2, enc_type, base_type, arg1);
c906108c
SS
1578 }
1579
8a3fe4f8 1580 error (_("Attempt to take contents of a non-pointer value."));
ac3eeb49 1581 return 0; /* For lint -- never reached. */
c906108c
SS
1582}
1583\f
39d37385
PA
1584/* Create a value for an array by allocating space in GDB, copying the
1585 data into that space, and then setting up an array value.
c906108c 1586
ac3eeb49
MS
1587 The array bounds are set from LOWBOUND and HIGHBOUND, and the array
1588 is populated from the values passed in ELEMVEC.
c906108c
SS
1589
1590 The element type of the array is inherited from the type of the
1591 first element, and all elements must have the same size (though we
ac3eeb49 1592 don't currently enforce any restriction on their types). */
c906108c 1593
f23631e4
AC
1594struct value *
1595value_array (int lowbound, int highbound, struct value **elemvec)
c906108c
SS
1596{
1597 int nelem;
1598 int idx;
1599 unsigned int typelength;
f23631e4 1600 struct value *val;
c906108c 1601 struct type *arraytype;
c906108c 1602
ac3eeb49
MS
1603 /* Validate that the bounds are reasonable and that each of the
1604 elements have the same size. */
c906108c
SS
1605
1606 nelem = highbound - lowbound + 1;
1607 if (nelem <= 0)
1608 {
8a3fe4f8 1609 error (_("bad array bounds (%d, %d)"), lowbound, highbound);
c906108c 1610 }
4754a64e 1611 typelength = TYPE_LENGTH (value_enclosing_type (elemvec[0]));
c906108c
SS
1612 for (idx = 1; idx < nelem; idx++)
1613 {
4754a64e 1614 if (TYPE_LENGTH (value_enclosing_type (elemvec[idx])) != typelength)
c906108c 1615 {
8a3fe4f8 1616 error (_("array elements must all be the same size"));
c906108c
SS
1617 }
1618 }
1619
e3506a9f
UW
1620 arraytype = lookup_array_range_type (value_enclosing_type (elemvec[0]),
1621 lowbound, highbound);
c906108c
SS
1622
1623 if (!current_language->c_style_arrays)
1624 {
1625 val = allocate_value (arraytype);
1626 for (idx = 0; idx < nelem; idx++)
39d37385
PA
1627 value_contents_copy (val, idx * typelength, elemvec[idx], 0,
1628 typelength);
c906108c
SS
1629 return val;
1630 }
1631
63092375
DJ
1632 /* Allocate space to store the array, and then initialize it by
1633 copying in each element. */
c906108c 1634
63092375 1635 val = allocate_value (arraytype);
c906108c 1636 for (idx = 0; idx < nelem; idx++)
39d37385 1637 value_contents_copy (val, idx * typelength, elemvec[idx], 0, typelength);
63092375 1638 return val;
c906108c
SS
1639}
1640
6c7a06a3 1641struct value *
63375b74 1642value_cstring (char *ptr, ssize_t len, struct type *char_type)
6c7a06a3
TT
1643{
1644 struct value *val;
1645 int lowbound = current_language->string_lower_bound;
63375b74 1646 ssize_t highbound = len / TYPE_LENGTH (char_type);
6c7a06a3 1647 struct type *stringtype
e3506a9f 1648 = lookup_array_range_type (char_type, lowbound, highbound + lowbound - 1);
6c7a06a3
TT
1649
1650 val = allocate_value (stringtype);
1651 memcpy (value_contents_raw (val), ptr, len);
1652 return val;
1653}
1654
ac3eeb49
MS
1655/* Create a value for a string constant by allocating space in the
1656 inferior, copying the data into that space, and returning the
1657 address with type TYPE_CODE_STRING. PTR points to the string
1658 constant data; LEN is number of characters.
1659
1660 Note that string types are like array of char types with a lower
1661 bound of zero and an upper bound of LEN - 1. Also note that the
1662 string may contain embedded null bytes. */
c906108c 1663
f23631e4 1664struct value *
63375b74 1665value_string (char *ptr, ssize_t len, struct type *char_type)
c906108c 1666{
f23631e4 1667 struct value *val;
c906108c 1668 int lowbound = current_language->string_lower_bound;
63375b74 1669 ssize_t highbound = len / TYPE_LENGTH (char_type);
c906108c 1670 struct type *stringtype
e3506a9f 1671 = lookup_string_range_type (char_type, lowbound, highbound + lowbound - 1);
c906108c 1672
3b7538c0
UW
1673 val = allocate_value (stringtype);
1674 memcpy (value_contents_raw (val), ptr, len);
1675 return val;
c906108c
SS
1676}
1677
c906108c 1678\f
ac3eeb49
MS
1679/* See if we can pass arguments in T2 to a function which takes
1680 arguments of types T1. T1 is a list of NARGS arguments, and T2 is
1681 a NULL-terminated vector. If some arguments need coercion of some
1682 sort, then the coerced values are written into T2. Return value is
1683 0 if the arguments could be matched, or the position at which they
1684 differ if not.
c906108c 1685
ac3eeb49
MS
1686 STATICP is nonzero if the T1 argument list came from a static
1687 member function. T2 will still include the ``this'' pointer, but
1688 it will be skipped.
c906108c
SS
1689
1690 For non-static member functions, we ignore the first argument,
ac3eeb49
MS
1691 which is the type of the instance variable. This is because we
1692 want to handle calls with objects from derived classes. This is
1693 not entirely correct: we should actually check to make sure that a
c906108c
SS
1694 requested operation is type secure, shouldn't we? FIXME. */
1695
1696static int
ad2f7632
DJ
1697typecmp (int staticp, int varargs, int nargs,
1698 struct field t1[], struct value *t2[])
c906108c
SS
1699{
1700 int i;
1701
1702 if (t2 == 0)
ac3eeb49
MS
1703 internal_error (__FILE__, __LINE__,
1704 _("typecmp: no argument list"));
ad2f7632 1705
ac3eeb49
MS
1706 /* Skip ``this'' argument if applicable. T2 will always include
1707 THIS. */
4a1970e4 1708 if (staticp)
ad2f7632
DJ
1709 t2 ++;
1710
1711 for (i = 0;
1712 (i < nargs) && TYPE_CODE (t1[i].type) != TYPE_CODE_VOID;
1713 i++)
c906108c 1714 {
c5aa993b 1715 struct type *tt1, *tt2;
ad2f7632 1716
c5aa993b
JM
1717 if (!t2[i])
1718 return i + 1;
ad2f7632
DJ
1719
1720 tt1 = check_typedef (t1[i].type);
df407dfe 1721 tt2 = check_typedef (value_type (t2[i]));
ad2f7632 1722
c906108c 1723 if (TYPE_CODE (tt1) == TYPE_CODE_REF
8301c89e 1724 /* We should be doing hairy argument matching, as below. */
3e43a32a
MS
1725 && (TYPE_CODE (check_typedef (TYPE_TARGET_TYPE (tt1)))
1726 == TYPE_CODE (tt2)))
c906108c
SS
1727 {
1728 if (TYPE_CODE (tt2) == TYPE_CODE_ARRAY)
1729 t2[i] = value_coerce_array (t2[i]);
1730 else
fb933624 1731 t2[i] = value_ref (t2[i]);
c906108c
SS
1732 continue;
1733 }
1734
802db21b
DB
1735 /* djb - 20000715 - Until the new type structure is in the
1736 place, and we can attempt things like implicit conversions,
1737 we need to do this so you can take something like a map<const
1738 char *>, and properly access map["hello"], because the
1739 argument to [] will be a reference to a pointer to a char,
ac3eeb49
MS
1740 and the argument will be a pointer to a char. */
1741 while (TYPE_CODE(tt1) == TYPE_CODE_REF
1742 || TYPE_CODE (tt1) == TYPE_CODE_PTR)
802db21b
DB
1743 {
1744 tt1 = check_typedef( TYPE_TARGET_TYPE(tt1) );
1745 }
ac3eeb49
MS
1746 while (TYPE_CODE(tt2) == TYPE_CODE_ARRAY
1747 || TYPE_CODE(tt2) == TYPE_CODE_PTR
1748 || TYPE_CODE(tt2) == TYPE_CODE_REF)
c906108c 1749 {
ac3eeb49 1750 tt2 = check_typedef (TYPE_TARGET_TYPE(tt2));
c906108c 1751 }
c5aa993b
JM
1752 if (TYPE_CODE (tt1) == TYPE_CODE (tt2))
1753 continue;
ac3eeb49
MS
1754 /* Array to pointer is a `trivial conversion' according to the
1755 ARM. */
c906108c 1756
ac3eeb49
MS
1757 /* We should be doing much hairier argument matching (see
1758 section 13.2 of the ARM), but as a quick kludge, just check
1759 for the same type code. */
df407dfe 1760 if (TYPE_CODE (t1[i].type) != TYPE_CODE (value_type (t2[i])))
c5aa993b 1761 return i + 1;
c906108c 1762 }
ad2f7632 1763 if (varargs || t2[i] == NULL)
c5aa993b 1764 return 0;
ad2f7632 1765 return i + 1;
c906108c
SS
1766}
1767
b1af9e97
TT
1768/* Helper class for do_search_struct_field that updates *RESULT_PTR
1769 and *LAST_BOFFSET, and possibly throws an exception if the field
1770 search has yielded ambiguous results. */
c906108c 1771
b1af9e97
TT
1772static void
1773update_search_result (struct value **result_ptr, struct value *v,
1774 int *last_boffset, int boffset,
1775 const char *name, struct type *type)
1776{
1777 if (v != NULL)
1778 {
1779 if (*result_ptr != NULL
1780 /* The result is not ambiguous if all the classes that are
1781 found occupy the same space. */
1782 && *last_boffset != boffset)
1783 error (_("base class '%s' is ambiguous in type '%s'"),
1784 name, TYPE_SAFE_NAME (type));
1785 *result_ptr = v;
1786 *last_boffset = boffset;
1787 }
1788}
c906108c 1789
b1af9e97
TT
1790/* A helper for search_struct_field. This does all the work; most
1791 arguments are as passed to search_struct_field. The result is
1792 stored in *RESULT_PTR, which must be initialized to NULL.
1793 OUTERMOST_TYPE is the type of the initial type passed to
1794 search_struct_field; this is used for error reporting when the
1795 lookup is ambiguous. */
1796
1797static void
1798do_search_struct_field (const char *name, struct value *arg1, int offset,
1799 struct type *type, int looking_for_baseclass,
1800 struct value **result_ptr,
1801 int *last_boffset,
1802 struct type *outermost_type)
c906108c
SS
1803{
1804 int i;
edf3d5f3 1805 int nbases;
c906108c
SS
1806
1807 CHECK_TYPEDEF (type);
edf3d5f3 1808 nbases = TYPE_N_BASECLASSES (type);
c906108c 1809
c5aa993b 1810 if (!looking_for_baseclass)
c906108c
SS
1811 for (i = TYPE_NFIELDS (type) - 1; i >= nbases; i--)
1812 {
0d5cff50 1813 const char *t_field_name = TYPE_FIELD_NAME (type, i);
c906108c 1814
db577aea 1815 if (t_field_name && (strcmp_iw (t_field_name, name) == 0))
c906108c 1816 {
f23631e4 1817 struct value *v;
a109c7c1 1818
d6a843b5 1819 if (field_is_static (&TYPE_FIELD (type, i)))
686d4def 1820 v = value_static_field (type, i);
c906108c 1821 else
b1af9e97
TT
1822 v = value_primitive_field (arg1, offset, i, type);
1823 *result_ptr = v;
1824 return;
c906108c
SS
1825 }
1826
1827 if (t_field_name
47c6ee49 1828 && t_field_name[0] == '\0')
c906108c
SS
1829 {
1830 struct type *field_type = TYPE_FIELD_TYPE (type, i);
a109c7c1 1831
c906108c
SS
1832 if (TYPE_CODE (field_type) == TYPE_CODE_UNION
1833 || TYPE_CODE (field_type) == TYPE_CODE_STRUCT)
1834 {
ac3eeb49
MS
1835 /* Look for a match through the fields of an anonymous
1836 union, or anonymous struct. C++ provides anonymous
1837 unions.
c906108c 1838
1b831c93
AC
1839 In the GNU Chill (now deleted from GDB)
1840 implementation of variant record types, each
1841 <alternative field> has an (anonymous) union type,
1842 each member of the union represents a <variant
1843 alternative>. Each <variant alternative> is
1844 represented as a struct, with a member for each
1845 <variant field>. */
c5aa993b 1846
b1af9e97 1847 struct value *v = NULL;
c906108c
SS
1848 int new_offset = offset;
1849
db034ac5
AC
1850 /* This is pretty gross. In G++, the offset in an
1851 anonymous union is relative to the beginning of the
1b831c93
AC
1852 enclosing struct. In the GNU Chill (now deleted
1853 from GDB) implementation of variant records, the
1854 bitpos is zero in an anonymous union field, so we
ac3eeb49 1855 have to add the offset of the union here. */
c906108c
SS
1856 if (TYPE_CODE (field_type) == TYPE_CODE_STRUCT
1857 || (TYPE_NFIELDS (field_type) > 0
1858 && TYPE_FIELD_BITPOS (field_type, 0) == 0))
1859 new_offset += TYPE_FIELD_BITPOS (type, i) / 8;
1860
b1af9e97
TT
1861 do_search_struct_field (name, arg1, new_offset,
1862 field_type,
1863 looking_for_baseclass, &v,
1864 last_boffset,
1865 outermost_type);
c906108c 1866 if (v)
b1af9e97
TT
1867 {
1868 *result_ptr = v;
1869 return;
1870 }
c906108c
SS
1871 }
1872 }
1873 }
1874
c5aa993b 1875 for (i = 0; i < nbases; i++)
c906108c 1876 {
b1af9e97 1877 struct value *v = NULL;
c906108c 1878 struct type *basetype = check_typedef (TYPE_BASECLASS (type, i));
ac3eeb49
MS
1879 /* If we are looking for baseclasses, this is what we get when
1880 we hit them. But it could happen that the base part's member
1881 name is not yet filled in. */
c906108c
SS
1882 int found_baseclass = (looking_for_baseclass
1883 && TYPE_BASECLASS_NAME (type, i) != NULL
ac3eeb49
MS
1884 && (strcmp_iw (name,
1885 TYPE_BASECLASS_NAME (type,
1886 i)) == 0));
b1af9e97 1887 int boffset = value_embedded_offset (arg1) + offset;
c906108c
SS
1888
1889 if (BASETYPE_VIA_VIRTUAL (type, i))
1890 {
3e3d7139 1891 struct value *v2;
c906108c
SS
1892
1893 boffset = baseclass_offset (type, i,
8af8e3bc
PA
1894 value_contents_for_printing (arg1),
1895 value_embedded_offset (arg1) + offset,
1896 value_address (arg1),
1897 arg1);
c906108c 1898
ac3eeb49 1899 /* The virtual base class pointer might have been clobbered
581e13c1 1900 by the user program. Make sure that it still points to a
ac3eeb49 1901 valid memory location. */
c906108c 1902
1a334831
TT
1903 boffset += value_embedded_offset (arg1) + offset;
1904 if (boffset < 0
1905 || boffset >= TYPE_LENGTH (value_enclosing_type (arg1)))
c906108c
SS
1906 {
1907 CORE_ADDR base_addr;
c5aa993b 1908
42ae5230 1909 base_addr = value_address (arg1) + boffset;
08039c9e 1910 v2 = value_at_lazy (basetype, base_addr);
ac3eeb49
MS
1911 if (target_read_memory (base_addr,
1912 value_contents_raw (v2),
acc900c2 1913 TYPE_LENGTH (value_type (v2))) != 0)
8a3fe4f8 1914 error (_("virtual baseclass botch"));
c906108c
SS
1915 }
1916 else
1917 {
1a334831
TT
1918 v2 = value_copy (arg1);
1919 deprecated_set_value_type (v2, basetype);
1920 set_value_embedded_offset (v2, boffset);
c906108c
SS
1921 }
1922
1923 if (found_baseclass)
b1af9e97
TT
1924 v = v2;
1925 else
1926 {
1927 do_search_struct_field (name, v2, 0,
1928 TYPE_BASECLASS (type, i),
1929 looking_for_baseclass,
1930 result_ptr, last_boffset,
1931 outermost_type);
1932 }
c906108c
SS
1933 }
1934 else if (found_baseclass)
1935 v = value_primitive_field (arg1, offset, i, type);
1936 else
b1af9e97
TT
1937 {
1938 do_search_struct_field (name, arg1,
1939 offset + TYPE_BASECLASS_BITPOS (type,
1940 i) / 8,
1941 basetype, looking_for_baseclass,
1942 result_ptr, last_boffset,
1943 outermost_type);
1944 }
1945
1946 update_search_result (result_ptr, v, last_boffset,
1947 boffset, name, outermost_type);
c906108c 1948 }
b1af9e97
TT
1949}
1950
1951/* Helper function used by value_struct_elt to recurse through
1952 baseclasses. Look for a field NAME in ARG1. Adjust the address of
1953 ARG1 by OFFSET bytes, and search in it assuming it has (class) type
1954 TYPE. If found, return value, else return NULL.
1955
1956 If LOOKING_FOR_BASECLASS, then instead of looking for struct
1957 fields, look for a baseclass named NAME. */
1958
1959static struct value *
1960search_struct_field (const char *name, struct value *arg1, int offset,
1961 struct type *type, int looking_for_baseclass)
1962{
1963 struct value *result = NULL;
1964 int boffset = 0;
1965
1966 do_search_struct_field (name, arg1, offset, type, looking_for_baseclass,
1967 &result, &boffset, type);
1968 return result;
c906108c
SS
1969}
1970
ac3eeb49 1971/* Helper function used by value_struct_elt to recurse through
581e13c1 1972 baseclasses. Look for a field NAME in ARG1. Adjust the address of
ac3eeb49
MS
1973 ARG1 by OFFSET bytes, and search in it assuming it has (class) type
1974 TYPE.
1975
1976 If found, return value, else if name matched and args not return
1977 (value) -1, else return NULL. */
c906108c 1978
f23631e4 1979static struct value *
714f19d5 1980search_struct_method (const char *name, struct value **arg1p,
f23631e4 1981 struct value **args, int offset,
aa1ee363 1982 int *static_memfuncp, struct type *type)
c906108c
SS
1983{
1984 int i;
f23631e4 1985 struct value *v;
c906108c
SS
1986 int name_matched = 0;
1987 char dem_opname[64];
1988
1989 CHECK_TYPEDEF (type);
1990 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; i--)
1991 {
0d5cff50 1992 const char *t_field_name = TYPE_FN_FIELDLIST_NAME (type, i);
a109c7c1 1993
581e13c1 1994 /* FIXME! May need to check for ARM demangling here. */
61012eef
GB
1995 if (startswith (t_field_name, "__") ||
1996 startswith (t_field_name, "op") ||
1997 startswith (t_field_name, "type"))
c906108c 1998 {
c5aa993b
JM
1999 if (cplus_demangle_opname (t_field_name, dem_opname, DMGL_ANSI))
2000 t_field_name = dem_opname;
2001 else if (cplus_demangle_opname (t_field_name, dem_opname, 0))
c906108c 2002 t_field_name = dem_opname;
c906108c 2003 }
db577aea 2004 if (t_field_name && (strcmp_iw (t_field_name, name) == 0))
c906108c
SS
2005 {
2006 int j = TYPE_FN_FIELDLIST_LENGTH (type, i) - 1;
2007 struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i);
c906108c 2008
a109c7c1 2009 name_matched = 1;
de17c821 2010 check_stub_method_group (type, i);
c906108c 2011 if (j > 0 && args == 0)
3e43a32a
MS
2012 error (_("cannot resolve overloaded method "
2013 "`%s': no arguments supplied"), name);
acf5ed49 2014 else if (j == 0 && args == 0)
c906108c 2015 {
acf5ed49
DJ
2016 v = value_fn_field (arg1p, f, j, type, offset);
2017 if (v != NULL)
2018 return v;
c906108c 2019 }
acf5ed49
DJ
2020 else
2021 while (j >= 0)
2022 {
acf5ed49 2023 if (!typecmp (TYPE_FN_FIELD_STATIC_P (f, j),
ad2f7632
DJ
2024 TYPE_VARARGS (TYPE_FN_FIELD_TYPE (f, j)),
2025 TYPE_NFIELDS (TYPE_FN_FIELD_TYPE (f, j)),
acf5ed49
DJ
2026 TYPE_FN_FIELD_ARGS (f, j), args))
2027 {
2028 if (TYPE_FN_FIELD_VIRTUAL_P (f, j))
ac3eeb49
MS
2029 return value_virtual_fn_field (arg1p, f, j,
2030 type, offset);
2031 if (TYPE_FN_FIELD_STATIC_P (f, j)
2032 && static_memfuncp)
acf5ed49
DJ
2033 *static_memfuncp = 1;
2034 v = value_fn_field (arg1p, f, j, type, offset);
2035 if (v != NULL)
2036 return v;
2037 }
2038 j--;
2039 }
c906108c
SS
2040 }
2041 }
2042
2043 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
2044 {
2045 int base_offset;
8af8e3bc 2046 int this_offset;
c906108c
SS
2047
2048 if (BASETYPE_VIA_VIRTUAL (type, i))
2049 {
086280be 2050 struct type *baseclass = check_typedef (TYPE_BASECLASS (type, i));
8af8e3bc 2051 struct value *base_val;
086280be
UW
2052 const gdb_byte *base_valaddr;
2053
2054 /* The virtual base class pointer might have been
581e13c1 2055 clobbered by the user program. Make sure that it
8301c89e 2056 still points to a valid memory location. */
086280be
UW
2057
2058 if (offset < 0 || offset >= TYPE_LENGTH (type))
c5aa993b 2059 {
6c18f3e0
SP
2060 gdb_byte *tmp;
2061 struct cleanup *back_to;
2062 CORE_ADDR address;
2063
2064 tmp = xmalloc (TYPE_LENGTH (baseclass));
2065 back_to = make_cleanup (xfree, tmp);
2066 address = value_address (*arg1p);
a109c7c1 2067
8af8e3bc 2068 if (target_read_memory (address + offset,
086280be
UW
2069 tmp, TYPE_LENGTH (baseclass)) != 0)
2070 error (_("virtual baseclass botch"));
8af8e3bc
PA
2071
2072 base_val = value_from_contents_and_address (baseclass,
2073 tmp,
2074 address + offset);
2075 base_valaddr = value_contents_for_printing (base_val);
2076 this_offset = 0;
6c18f3e0 2077 do_cleanups (back_to);
c5aa993b
JM
2078 }
2079 else
8af8e3bc
PA
2080 {
2081 base_val = *arg1p;
2082 base_valaddr = value_contents_for_printing (*arg1p);
2083 this_offset = offset;
2084 }
c5aa993b 2085
086280be 2086 base_offset = baseclass_offset (type, i, base_valaddr,
8af8e3bc
PA
2087 this_offset, value_address (base_val),
2088 base_val);
c5aa993b 2089 }
c906108c
SS
2090 else
2091 {
2092 base_offset = TYPE_BASECLASS_BITPOS (type, i) / 8;
c5aa993b 2093 }
c906108c
SS
2094 v = search_struct_method (name, arg1p, args, base_offset + offset,
2095 static_memfuncp, TYPE_BASECLASS (type, i));
f23631e4 2096 if (v == (struct value *) - 1)
c906108c
SS
2097 {
2098 name_matched = 1;
2099 }
2100 else if (v)
2101 {
ac3eeb49
MS
2102 /* FIXME-bothner: Why is this commented out? Why is it here? */
2103 /* *arg1p = arg1_tmp; */
c906108c 2104 return v;
c5aa993b 2105 }
c906108c 2106 }
c5aa993b 2107 if (name_matched)
f23631e4 2108 return (struct value *) - 1;
c5aa993b
JM
2109 else
2110 return NULL;
c906108c
SS
2111}
2112
2113/* Given *ARGP, a value of type (pointer to a)* structure/union,
ac3eeb49
MS
2114 extract the component named NAME from the ultimate target
2115 structure/union and return it as a value with its appropriate type.
c906108c
SS
2116 ERR is used in the error message if *ARGP's type is wrong.
2117
2118 C++: ARGS is a list of argument types to aid in the selection of
581e13c1 2119 an appropriate method. Also, handle derived types.
c906108c
SS
2120
2121 STATIC_MEMFUNCP, if non-NULL, points to a caller-supplied location
2122 where the truthvalue of whether the function that was resolved was
2123 a static member function or not is stored.
2124
ac3eeb49
MS
2125 ERR is an error message to be printed in case the field is not
2126 found. */
c906108c 2127
f23631e4
AC
2128struct value *
2129value_struct_elt (struct value **argp, struct value **args,
714f19d5 2130 const char *name, int *static_memfuncp, const char *err)
c906108c 2131{
52f0bd74 2132 struct type *t;
f23631e4 2133 struct value *v;
c906108c 2134
994b9211 2135 *argp = coerce_array (*argp);
c906108c 2136
df407dfe 2137 t = check_typedef (value_type (*argp));
c906108c
SS
2138
2139 /* Follow pointers until we get to a non-pointer. */
2140
2141 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
2142 {
2143 *argp = value_ind (*argp);
2144 /* Don't coerce fn pointer to fn and then back again! */
b846d303 2145 if (TYPE_CODE (check_typedef (value_type (*argp))) != TYPE_CODE_FUNC)
994b9211 2146 *argp = coerce_array (*argp);
df407dfe 2147 t = check_typedef (value_type (*argp));
c906108c
SS
2148 }
2149
c5aa993b 2150 if (TYPE_CODE (t) != TYPE_CODE_STRUCT
c906108c 2151 && TYPE_CODE (t) != TYPE_CODE_UNION)
3e43a32a
MS
2152 error (_("Attempt to extract a component of a value that is not a %s."),
2153 err);
c906108c
SS
2154
2155 /* Assume it's not, unless we see that it is. */
2156 if (static_memfuncp)
c5aa993b 2157 *static_memfuncp = 0;
c906108c
SS
2158
2159 if (!args)
2160 {
2161 /* if there are no arguments ...do this... */
2162
ac3eeb49
MS
2163 /* Try as a field first, because if we succeed, there is less
2164 work to be done. */
c906108c
SS
2165 v = search_struct_field (name, *argp, 0, t, 0);
2166 if (v)
2167 return v;
2168
2169 /* C++: If it was not found as a data field, then try to
7b83ea04 2170 return it as a pointer to a method. */
ac3eeb49
MS
2171 v = search_struct_method (name, argp, args, 0,
2172 static_memfuncp, t);
c906108c 2173
f23631e4 2174 if (v == (struct value *) - 1)
55b39184 2175 error (_("Cannot take address of method %s."), name);
c906108c
SS
2176 else if (v == 0)
2177 {
2178 if (TYPE_NFN_FIELDS (t))
8a3fe4f8 2179 error (_("There is no member or method named %s."), name);
c906108c 2180 else
8a3fe4f8 2181 error (_("There is no member named %s."), name);
c906108c
SS
2182 }
2183 return v;
2184 }
2185
8301c89e
DE
2186 v = search_struct_method (name, argp, args, 0,
2187 static_memfuncp, t);
7168a814 2188
f23631e4 2189 if (v == (struct value *) - 1)
c906108c 2190 {
3e43a32a
MS
2191 error (_("One of the arguments you tried to pass to %s could not "
2192 "be converted to what the function wants."), name);
c906108c
SS
2193 }
2194 else if (v == 0)
2195 {
ac3eeb49
MS
2196 /* See if user tried to invoke data as function. If so, hand it
2197 back. If it's not callable (i.e., a pointer to function),
7b83ea04 2198 gdb should give an error. */
c906108c 2199 v = search_struct_field (name, *argp, 0, t, 0);
fa8de41e
TT
2200 /* If we found an ordinary field, then it is not a method call.
2201 So, treat it as if it were a static member function. */
2202 if (v && static_memfuncp)
2203 *static_memfuncp = 1;
c906108c
SS
2204 }
2205
2206 if (!v)
79afc5ef
SW
2207 throw_error (NOT_FOUND_ERROR,
2208 _("Structure has no component named %s."), name);
c906108c
SS
2209 return v;
2210}
2211
b5b08fb4
SC
2212/* Given *ARGP, a value of type structure or union, or a pointer/reference
2213 to a structure or union, extract and return its component (field) of
2214 type FTYPE at the specified BITPOS.
2215 Throw an exception on error. */
2216
2217struct value *
2218value_struct_elt_bitpos (struct value **argp, int bitpos, struct type *ftype,
2219 const char *err)
2220{
2221 struct type *t;
2222 struct value *v;
2223 int i;
2224 int nbases;
2225
2226 *argp = coerce_array (*argp);
2227
2228 t = check_typedef (value_type (*argp));
2229
2230 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
2231 {
2232 *argp = value_ind (*argp);
2233 if (TYPE_CODE (check_typedef (value_type (*argp))) != TYPE_CODE_FUNC)
2234 *argp = coerce_array (*argp);
2235 t = check_typedef (value_type (*argp));
2236 }
2237
2238 if (TYPE_CODE (t) != TYPE_CODE_STRUCT
2239 && TYPE_CODE (t) != TYPE_CODE_UNION)
2240 error (_("Attempt to extract a component of a value that is not a %s."),
2241 err);
2242
2243 for (i = TYPE_N_BASECLASSES (t); i < TYPE_NFIELDS (t); i++)
2244 {
2245 if (!field_is_static (&TYPE_FIELD (t, i))
2246 && bitpos == TYPE_FIELD_BITPOS (t, i)
2247 && types_equal (ftype, TYPE_FIELD_TYPE (t, i)))
2248 return value_primitive_field (*argp, 0, i, t);
2249 }
2250
2251 error (_("No field with matching bitpos and type."));
2252
2253 /* Never hit. */
2254 return NULL;
2255}
2256
ac3eeb49 2257/* Search through the methods of an object (and its bases) to find a
233e8b28
SC
2258 specified method. Return the pointer to the fn_field list FN_LIST of
2259 overloaded instances defined in the source language. If available
2260 and matching, a vector of matching xmethods defined in extension
2261 languages are also returned in XM_WORKER_VEC
ac3eeb49
MS
2262
2263 Helper function for value_find_oload_list.
2264 ARGP is a pointer to a pointer to a value (the object).
2265 METHOD is a string containing the method name.
2266 OFFSET is the offset within the value.
2267 TYPE is the assumed type of the object.
233e8b28
SC
2268 FN_LIST is the pointer to matching overloaded instances defined in
2269 source language. Since this is a recursive function, *FN_LIST
2270 should be set to NULL when calling this function.
2271 NUM_FNS is the number of overloaded instances. *NUM_FNS should be set to
2272 0 when calling this function.
2273 XM_WORKER_VEC is the vector of matching xmethod workers. *XM_WORKER_VEC
2274 should also be set to NULL when calling this function.
ac3eeb49
MS
2275 BASETYPE is set to the actual type of the subobject where the
2276 method is found.
581e13c1 2277 BOFFSET is the offset of the base subobject where the method is found. */
c906108c 2278
233e8b28 2279static void
714f19d5 2280find_method_list (struct value **argp, const char *method,
233e8b28
SC
2281 int offset, struct type *type,
2282 struct fn_field **fn_list, int *num_fns,
2283 VEC (xmethod_worker_ptr) **xm_worker_vec,
fba45db2 2284 struct type **basetype, int *boffset)
c906108c
SS
2285{
2286 int i;
233e8b28
SC
2287 struct fn_field *f = NULL;
2288 VEC (xmethod_worker_ptr) *worker_vec = NULL, *new_vec = NULL;
c906108c 2289
233e8b28
SC
2290 gdb_assert (fn_list != NULL && xm_worker_vec != NULL);
2291 CHECK_TYPEDEF (type);
c906108c 2292
233e8b28
SC
2293 /* First check in object itself.
2294 This function is called recursively to search through base classes.
2295 If there is a source method match found at some stage, then we need not
2296 look for source methods in consequent recursive calls. */
2297 if ((*fn_list) == NULL)
c906108c 2298 {
233e8b28 2299 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; i--)
c5aa993b 2300 {
233e8b28
SC
2301 /* pai: FIXME What about operators and type conversions? */
2302 const char *fn_field_name = TYPE_FN_FIELDLIST_NAME (type, i);
2303
2304 if (fn_field_name && (strcmp_iw (fn_field_name, method) == 0))
2305 {
2306 int len = TYPE_FN_FIELDLIST_LENGTH (type, i);
2307 f = TYPE_FN_FIELDLIST1 (type, i);
2308 *fn_list = f;
4a1970e4 2309
233e8b28
SC
2310 *num_fns = len;
2311 *basetype = type;
2312 *boffset = offset;
4a1970e4 2313
233e8b28
SC
2314 /* Resolve any stub methods. */
2315 check_stub_method_group (type, i);
4a1970e4 2316
233e8b28
SC
2317 break;
2318 }
c5aa993b
JM
2319 }
2320 }
2321
233e8b28
SC
2322 /* Unlike source methods, xmethods can be accumulated over successive
2323 recursive calls. In other words, an xmethod named 'm' in a class
2324 will not hide an xmethod named 'm' in its base class(es). We want
2325 it to be this way because xmethods are after all convenience functions
2326 and hence there is no point restricting them with something like method
2327 hiding. Moreover, if hiding is done for xmethods as well, then we will
2328 have to provide a mechanism to un-hide (like the 'using' construct). */
2329 worker_vec = get_matching_xmethod_workers (type, method);
2330 new_vec = VEC_merge (xmethod_worker_ptr, *xm_worker_vec, worker_vec);
2331
2332 VEC_free (xmethod_worker_ptr, *xm_worker_vec);
2333 VEC_free (xmethod_worker_ptr, worker_vec);
2334 *xm_worker_vec = new_vec;
2335
2336 /* If source methods are not found in current class, look for them in the
2337 base classes. We also have to go through the base classes to gather
2338 extension methods. */
c906108c
SS
2339 for (i = TYPE_N_BASECLASSES (type) - 1; i >= 0; i--)
2340 {
2341 int base_offset;
a109c7c1 2342
c906108c
SS
2343 if (BASETYPE_VIA_VIRTUAL (type, i))
2344 {
086280be 2345 base_offset = baseclass_offset (type, i,
8af8e3bc
PA
2346 value_contents_for_printing (*argp),
2347 value_offset (*argp) + offset,
2348 value_address (*argp), *argp);
c5aa993b 2349 }
ac3eeb49
MS
2350 else /* Non-virtual base, simply use bit position from debug
2351 info. */
c906108c
SS
2352 {
2353 base_offset = TYPE_BASECLASS_BITPOS (type, i) / 8;
c5aa993b 2354 }
233e8b28
SC
2355
2356 find_method_list (argp, method, base_offset + offset,
2357 TYPE_BASECLASS (type, i), fn_list, num_fns,
2358 xm_worker_vec, basetype, boffset);
c906108c 2359 }
c906108c
SS
2360}
2361
233e8b28
SC
2362/* Return the list of overloaded methods of a specified name. The methods
2363 could be those GDB finds in the binary, or xmethod. Methods found in
2364 the binary are returned in FN_LIST, and xmethods are returned in
2365 XM_WORKER_VEC.
ac3eeb49
MS
2366
2367 ARGP is a pointer to a pointer to a value (the object).
2368 METHOD is the method name.
2369 OFFSET is the offset within the value contents.
233e8b28
SC
2370 FN_LIST is the pointer to matching overloaded instances defined in
2371 source language.
ac3eeb49 2372 NUM_FNS is the number of overloaded instances.
233e8b28
SC
2373 XM_WORKER_VEC is the vector of matching xmethod workers defined in
2374 extension languages.
ac3eeb49
MS
2375 BASETYPE is set to the type of the base subobject that defines the
2376 method.
581e13c1 2377 BOFFSET is the offset of the base subobject which defines the method. */
c906108c 2378
233e8b28 2379static void
714f19d5 2380value_find_oload_method_list (struct value **argp, const char *method,
233e8b28
SC
2381 int offset, struct fn_field **fn_list,
2382 int *num_fns,
2383 VEC (xmethod_worker_ptr) **xm_worker_vec,
ac3eeb49 2384 struct type **basetype, int *boffset)
c906108c 2385{
c5aa993b 2386 struct type *t;
c906108c 2387
df407dfe 2388 t = check_typedef (value_type (*argp));
c906108c 2389
ac3eeb49 2390 /* Code snarfed from value_struct_elt. */
c906108c
SS
2391 while (TYPE_CODE (t) == TYPE_CODE_PTR || TYPE_CODE (t) == TYPE_CODE_REF)
2392 {
2393 *argp = value_ind (*argp);
2394 /* Don't coerce fn pointer to fn and then back again! */
b846d303 2395 if (TYPE_CODE (check_typedef (value_type (*argp))) != TYPE_CODE_FUNC)
994b9211 2396 *argp = coerce_array (*argp);
df407dfe 2397 t = check_typedef (value_type (*argp));
c906108c 2398 }
c5aa993b 2399
c5aa993b
JM
2400 if (TYPE_CODE (t) != TYPE_CODE_STRUCT
2401 && TYPE_CODE (t) != TYPE_CODE_UNION)
3e43a32a
MS
2402 error (_("Attempt to extract a component of a "
2403 "value that is not a struct or union"));
c5aa993b 2404
233e8b28
SC
2405 gdb_assert (fn_list != NULL && xm_worker_vec != NULL);
2406
2407 /* Clear the lists. */
2408 *fn_list = NULL;
2409 *num_fns = 0;
2410 *xm_worker_vec = NULL;
2411
2412 find_method_list (argp, method, 0, t, fn_list, num_fns, xm_worker_vec,
2413 basetype, boffset);
c906108c
SS
2414}
2415
da096638 2416/* Given an array of arguments (ARGS) (which includes an
c906108c 2417 entry for "this" in the case of C++ methods), the number of
28c64fc2
SCR
2418 arguments NARGS, the NAME of a function, and whether it's a method or
2419 not (METHOD), find the best function that matches on the argument types
2420 according to the overload resolution rules.
c906108c 2421
4c3376c8
SW
2422 METHOD can be one of three values:
2423 NON_METHOD for non-member functions.
2424 METHOD: for member functions.
2425 BOTH: used for overload resolution of operators where the
2426 candidates are expected to be either member or non member
581e13c1 2427 functions. In this case the first argument ARGTYPES
4c3376c8
SW
2428 (representing 'this') is expected to be a reference to the
2429 target object, and will be dereferenced when attempting the
2430 non-member search.
2431
c906108c
SS
2432 In the case of class methods, the parameter OBJ is an object value
2433 in which to search for overloaded methods.
2434
2435 In the case of non-method functions, the parameter FSYM is a symbol
2436 corresponding to one of the overloaded functions.
2437
2438 Return value is an integer: 0 -> good match, 10 -> debugger applied
2439 non-standard coercions, 100 -> incompatible.
2440
2441 If a method is being searched for, VALP will hold the value.
ac3eeb49
MS
2442 If a non-method is being searched for, SYMP will hold the symbol
2443 for it.
c906108c
SS
2444
2445 If a method is being searched for, and it is a static method,
2446 then STATICP will point to a non-zero value.
2447
7322dca9
SW
2448 If NO_ADL argument dependent lookup is disabled. This is used to prevent
2449 ADL overload candidates when performing overload resolution for a fully
2450 qualified name.
2451
e66d4446
SC
2452 If NOSIDE is EVAL_AVOID_SIDE_EFFECTS, then OBJP's memory cannot be
2453 read while picking the best overload match (it may be all zeroes and thus
2454 not have a vtable pointer), in which case skip virtual function lookup.
2455 This is ok as typically EVAL_AVOID_SIDE_EFFECTS is only used to determine
2456 the result type.
2457
c906108c
SS
2458 Note: This function does *not* check the value of
2459 overload_resolution. Caller must check it to see whether overload
581e13c1 2460 resolution is permitted. */
c906108c
SS
2461
2462int
da096638 2463find_overload_match (struct value **args, int nargs,
4c3376c8 2464 const char *name, enum oload_search_type method,
28c64fc2 2465 struct value **objp, struct symbol *fsym,
ac3eeb49 2466 struct value **valp, struct symbol **symp,
e66d4446
SC
2467 int *staticp, const int no_adl,
2468 const enum noside noside)
c906108c 2469{
7f8c9282 2470 struct value *obj = (objp ? *objp : NULL);
da096638 2471 struct type *obj_type = obj ? value_type (obj) : NULL;
ac3eeb49 2472 /* Index of best overloaded function. */
4c3376c8
SW
2473 int func_oload_champ = -1;
2474 int method_oload_champ = -1;
233e8b28
SC
2475 int src_method_oload_champ = -1;
2476 int ext_method_oload_champ = -1;
2477 int src_and_ext_equal = 0;
4c3376c8 2478
ac3eeb49 2479 /* The measure for the current best match. */
4c3376c8
SW
2480 struct badness_vector *method_badness = NULL;
2481 struct badness_vector *func_badness = NULL;
233e8b28
SC
2482 struct badness_vector *ext_method_badness = NULL;
2483 struct badness_vector *src_method_badness = NULL;
4c3376c8 2484
f23631e4 2485 struct value *temp = obj;
ac3eeb49
MS
2486 /* For methods, the list of overloaded methods. */
2487 struct fn_field *fns_ptr = NULL;
2488 /* For non-methods, the list of overloaded function symbols. */
2489 struct symbol **oload_syms = NULL;
233e8b28
SC
2490 /* For xmethods, the VEC of xmethod workers. */
2491 VEC (xmethod_worker_ptr) *xm_worker_vec = NULL;
ac3eeb49
MS
2492 /* Number of overloaded instances being considered. */
2493 int num_fns = 0;
c5aa993b 2494 struct type *basetype = NULL;
c906108c 2495 int boffset;
7322dca9
SW
2496
2497 struct cleanup *all_cleanups = make_cleanup (null_cleanup, NULL);
c906108c 2498
8d577d32 2499 const char *obj_type_name = NULL;
7322dca9 2500 const char *func_name = NULL;
8d577d32 2501 enum oload_classification match_quality;
4c3376c8 2502 enum oload_classification method_match_quality = INCOMPATIBLE;
233e8b28
SC
2503 enum oload_classification src_method_match_quality = INCOMPATIBLE;
2504 enum oload_classification ext_method_match_quality = INCOMPATIBLE;
4c3376c8 2505 enum oload_classification func_match_quality = INCOMPATIBLE;
c906108c 2506
ac3eeb49 2507 /* Get the list of overloaded methods or functions. */
4c3376c8 2508 if (method == METHOD || method == BOTH)
c906108c 2509 {
a2ca50ae 2510 gdb_assert (obj);
94af9270
KS
2511
2512 /* OBJ may be a pointer value rather than the object itself. */
2513 obj = coerce_ref (obj);
2514 while (TYPE_CODE (check_typedef (value_type (obj))) == TYPE_CODE_PTR)
2515 obj = coerce_ref (value_ind (obj));
df407dfe 2516 obj_type_name = TYPE_NAME (value_type (obj));
94af9270
KS
2517
2518 /* First check whether this is a data member, e.g. a pointer to
2519 a function. */
2520 if (TYPE_CODE (check_typedef (value_type (obj))) == TYPE_CODE_STRUCT)
2521 {
2522 *valp = search_struct_field (name, obj, 0,
2523 check_typedef (value_type (obj)), 0);
2524 if (*valp)
2525 {
2526 *staticp = 1;
f748fb40 2527 do_cleanups (all_cleanups);
94af9270
KS
2528 return 0;
2529 }
2530 }
c906108c 2531
4c3376c8 2532 /* Retrieve the list of methods with the name NAME. */
233e8b28
SC
2533 value_find_oload_method_list (&temp, name, 0, &fns_ptr, &num_fns,
2534 &xm_worker_vec, &basetype, &boffset);
4c3376c8
SW
2535 /* If this is a method only search, and no methods were found
2536 the search has faild. */
233e8b28 2537 if (method == METHOD && (!fns_ptr || !num_fns) && !xm_worker_vec)
8a3fe4f8 2538 error (_("Couldn't find method %s%s%s"),
c5aa993b
JM
2539 obj_type_name,
2540 (obj_type_name && *obj_type_name) ? "::" : "",
2541 name);
4a1970e4 2542 /* If we are dealing with stub method types, they should have
ac3eeb49
MS
2543 been resolved by find_method_list via
2544 value_find_oload_method_list above. */
4c3376c8
SW
2545 if (fns_ptr)
2546 {
4bfb94b8 2547 gdb_assert (TYPE_SELF_TYPE (fns_ptr[0].type) != NULL);
4c3376c8 2548
233e8b28
SC
2549 src_method_oload_champ = find_oload_champ (args, nargs,
2550 num_fns, fns_ptr, NULL,
2551 NULL, &src_method_badness);
2552
2553 src_method_match_quality = classify_oload_match
2554 (src_method_badness, nargs,
2555 oload_method_static_p (fns_ptr, src_method_oload_champ));
2556
2557 make_cleanup (xfree, src_method_badness);
2558 }
4c3376c8 2559
233e8b28
SC
2560 if (VEC_length (xmethod_worker_ptr, xm_worker_vec) > 0)
2561 {
2562 ext_method_oload_champ = find_oload_champ (args, nargs,
2563 0, NULL, xm_worker_vec,
2564 NULL, &ext_method_badness);
2565 ext_method_match_quality = classify_oload_match (ext_method_badness,
2566 nargs, 0);
2567 make_cleanup (xfree, ext_method_badness);
2568 make_cleanup (free_xmethod_worker_vec, xm_worker_vec);
4c3376c8
SW
2569 }
2570
233e8b28
SC
2571 if (src_method_oload_champ >= 0 && ext_method_oload_champ >= 0)
2572 {
2573 switch (compare_badness (ext_method_badness, src_method_badness))
2574 {
2575 case 0: /* Src method and xmethod are equally good. */
2576 src_and_ext_equal = 1;
2577 /* If src method and xmethod are equally good, then
2578 xmethod should be the winner. Hence, fall through to the
2579 case where a xmethod is better than the source
2580 method, except when the xmethod match quality is
2581 non-standard. */
2582 /* FALLTHROUGH */
2583 case 1: /* Src method and ext method are incompatible. */
2584 /* If ext method match is not standard, then let source method
2585 win. Otherwise, fallthrough to let xmethod win. */
2586 if (ext_method_match_quality != STANDARD)
2587 {
2588 method_oload_champ = src_method_oload_champ;
2589 method_badness = src_method_badness;
2590 ext_method_oload_champ = -1;
2591 method_match_quality = src_method_match_quality;
2592 break;
2593 }
2594 /* FALLTHROUGH */
2595 case 2: /* Ext method is champion. */
2596 method_oload_champ = ext_method_oload_champ;
2597 method_badness = ext_method_badness;
2598 src_method_oload_champ = -1;
2599 method_match_quality = ext_method_match_quality;
2600 break;
2601 case 3: /* Src method is champion. */
2602 method_oload_champ = src_method_oload_champ;
2603 method_badness = src_method_badness;
2604 ext_method_oload_champ = -1;
2605 method_match_quality = src_method_match_quality;
2606 break;
2607 default:
2608 gdb_assert_not_reached ("Unexpected overload comparison "
2609 "result");
2610 break;
2611 }
2612 }
2613 else if (src_method_oload_champ >= 0)
2614 {
2615 method_oload_champ = src_method_oload_champ;
2616 method_badness = src_method_badness;
2617 method_match_quality = src_method_match_quality;
2618 }
2619 else if (ext_method_oload_champ >= 0)
2620 {
2621 method_oload_champ = ext_method_oload_champ;
2622 method_badness = ext_method_badness;
2623 method_match_quality = ext_method_match_quality;
2624 }
c906108c 2625 }
4c3376c8
SW
2626
2627 if (method == NON_METHOD || method == BOTH)
c906108c 2628 {
7322dca9 2629 const char *qualified_name = NULL;
c906108c 2630
b021a221
MS
2631 /* If the overload match is being search for both as a method
2632 and non member function, the first argument must now be
2633 dereferenced. */
4c3376c8 2634 if (method == BOTH)
2b214ea6 2635 args[0] = value_ind (args[0]);
4c3376c8 2636
7322dca9
SW
2637 if (fsym)
2638 {
2639 qualified_name = SYMBOL_NATURAL_NAME (fsym);
2640
2641 /* If we have a function with a C++ name, try to extract just
2642 the function part. Do not try this for non-functions (e.g.
2643 function pointers). */
2644 if (qualified_name
3e43a32a
MS
2645 && TYPE_CODE (check_typedef (SYMBOL_TYPE (fsym)))
2646 == TYPE_CODE_FUNC)
7322dca9
SW
2647 {
2648 char *temp;
2649
2650 temp = cp_func_name (qualified_name);
2651
2652 /* If cp_func_name did not remove anything, the name of the
2653 symbol did not include scope or argument types - it was
2654 probably a C-style function. */
2655 if (temp)
2656 {
2657 make_cleanup (xfree, temp);
2658 if (strcmp (temp, qualified_name) == 0)
2659 func_name = NULL;
2660 else
2661 func_name = temp;
2662 }
2663 }
2664 }
2665 else
94af9270 2666 {
7322dca9
SW
2667 func_name = name;
2668 qualified_name = name;
94af9270 2669 }
d9639e13 2670
94af9270
KS
2671 /* If there was no C++ name, this must be a C-style function or
2672 not a function at all. Just return the same symbol. Do the
2673 same if cp_func_name fails for some reason. */
8d577d32 2674 if (func_name == NULL)
7b83ea04 2675 {
917317f4 2676 *symp = fsym;
5fe41fbf 2677 do_cleanups (all_cleanups);
7b83ea04
AC
2678 return 0;
2679 }
917317f4 2680
da096638 2681 func_oload_champ = find_oload_champ_namespace (args, nargs,
4c3376c8
SW
2682 func_name,
2683 qualified_name,
2684 &oload_syms,
2685 &func_badness,
2686 no_adl);
8d577d32 2687
4c3376c8
SW
2688 if (func_oload_champ >= 0)
2689 func_match_quality = classify_oload_match (func_badness, nargs, 0);
2690
2691 make_cleanup (xfree, oload_syms);
2692 make_cleanup (xfree, func_badness);
8d577d32
DC
2693 }
2694
7322dca9 2695 /* Did we find a match ? */
4c3376c8 2696 if (method_oload_champ == -1 && func_oload_champ == -1)
79afc5ef
SW
2697 throw_error (NOT_FOUND_ERROR,
2698 _("No symbol \"%s\" in current context."),
2699 name);
8d577d32 2700
4c3376c8
SW
2701 /* If we have found both a method match and a function
2702 match, find out which one is better, and calculate match
2703 quality. */
2704 if (method_oload_champ >= 0 && func_oload_champ >= 0)
2705 {
2706 switch (compare_badness (func_badness, method_badness))
2707 {
2708 case 0: /* Top two contenders are equally good. */
b021a221
MS
2709 /* FIXME: GDB does not support the general ambiguous case.
2710 All candidates should be collected and presented the
2711 user. */
4c3376c8
SW
2712 error (_("Ambiguous overload resolution"));
2713 break;
2714 case 1: /* Incomparable top contenders. */
2715 /* This is an error incompatible candidates
2716 should not have been proposed. */
3e43a32a
MS
2717 error (_("Internal error: incompatible "
2718 "overload candidates proposed"));
4c3376c8
SW
2719 break;
2720 case 2: /* Function champion. */
2721 method_oload_champ = -1;
2722 match_quality = func_match_quality;
2723 break;
2724 case 3: /* Method champion. */
2725 func_oload_champ = -1;
2726 match_quality = method_match_quality;
2727 break;
2728 default:
2729 error (_("Internal error: unexpected overload comparison result"));
2730 break;
2731 }
2732 }
2733 else
2734 {
2735 /* We have either a method match or a function match. */
2736 if (method_oload_champ >= 0)
2737 match_quality = method_match_quality;
2738 else
2739 match_quality = func_match_quality;
2740 }
8d577d32
DC
2741
2742 if (match_quality == INCOMPATIBLE)
2743 {
4c3376c8 2744 if (method == METHOD)
8a3fe4f8 2745 error (_("Cannot resolve method %s%s%s to any overloaded instance"),
8d577d32
DC
2746 obj_type_name,
2747 (obj_type_name && *obj_type_name) ? "::" : "",
2748 name);
2749 else
8a3fe4f8 2750 error (_("Cannot resolve function %s to any overloaded instance"),
8d577d32
DC
2751 func_name);
2752 }
2753 else if (match_quality == NON_STANDARD)
2754 {
4c3376c8 2755 if (method == METHOD)
3e43a32a
MS
2756 warning (_("Using non-standard conversion to match "
2757 "method %s%s%s to supplied arguments"),
8d577d32
DC
2758 obj_type_name,
2759 (obj_type_name && *obj_type_name) ? "::" : "",
2760 name);
2761 else
3e43a32a
MS
2762 warning (_("Using non-standard conversion to match "
2763 "function %s to supplied arguments"),
8d577d32
DC
2764 func_name);
2765 }
2766
4c3376c8 2767 if (staticp != NULL)
2bca57ba 2768 *staticp = oload_method_static_p (fns_ptr, method_oload_champ);
4c3376c8
SW
2769
2770 if (method_oload_champ >= 0)
8d577d32 2771 {
233e8b28
SC
2772 if (src_method_oload_champ >= 0)
2773 {
e66d4446
SC
2774 if (TYPE_FN_FIELD_VIRTUAL_P (fns_ptr, method_oload_champ)
2775 && noside != EVAL_AVOID_SIDE_EFFECTS)
2776 {
2777 *valp = value_virtual_fn_field (&temp, fns_ptr,
2778 method_oload_champ, basetype,
2779 boffset);
2780 }
233e8b28
SC
2781 else
2782 *valp = value_fn_field (&temp, fns_ptr, method_oload_champ,
2783 basetype, boffset);
2784 }
8d577d32 2785 else
233e8b28
SC
2786 {
2787 *valp = value_of_xmethod (clone_xmethod_worker
2788 (VEC_index (xmethod_worker_ptr, xm_worker_vec,
2789 ext_method_oload_champ)));
2790 }
8d577d32
DC
2791 }
2792 else
4c3376c8 2793 *symp = oload_syms[func_oload_champ];
8d577d32
DC
2794
2795 if (objp)
2796 {
a4295225 2797 struct type *temp_type = check_typedef (value_type (temp));
da096638 2798 struct type *objtype = check_typedef (obj_type);
a109c7c1 2799
a4295225 2800 if (TYPE_CODE (temp_type) != TYPE_CODE_PTR
da096638
KS
2801 && (TYPE_CODE (objtype) == TYPE_CODE_PTR
2802 || TYPE_CODE (objtype) == TYPE_CODE_REF))
8d577d32
DC
2803 {
2804 temp = value_addr (temp);
2805 }
2806 *objp = temp;
2807 }
7322dca9
SW
2808
2809 do_cleanups (all_cleanups);
8d577d32
DC
2810
2811 switch (match_quality)
2812 {
2813 case INCOMPATIBLE:
2814 return 100;
2815 case NON_STANDARD:
2816 return 10;
2817 default: /* STANDARD */
2818 return 0;
2819 }
2820}
2821
2822/* Find the best overload match, searching for FUNC_NAME in namespaces
2823 contained in QUALIFIED_NAME until it either finds a good match or
2824 runs out of namespaces. It stores the overloaded functions in
2825 *OLOAD_SYMS, and the badness vector in *OLOAD_CHAMP_BV. The
2826 calling function is responsible for freeing *OLOAD_SYMS and
7322dca9
SW
2827 *OLOAD_CHAMP_BV. If NO_ADL, argument dependent lookup is not
2828 performned. */
8d577d32
DC
2829
2830static int
da096638 2831find_oload_champ_namespace (struct value **args, int nargs,
8d577d32
DC
2832 const char *func_name,
2833 const char *qualified_name,
2834 struct symbol ***oload_syms,
7322dca9
SW
2835 struct badness_vector **oload_champ_bv,
2836 const int no_adl)
8d577d32
DC
2837{
2838 int oload_champ;
2839
da096638 2840 find_oload_champ_namespace_loop (args, nargs,
8d577d32
DC
2841 func_name,
2842 qualified_name, 0,
2843 oload_syms, oload_champ_bv,
7322dca9
SW
2844 &oload_champ,
2845 no_adl);
8d577d32
DC
2846
2847 return oload_champ;
2848}
2849
2850/* Helper function for find_oload_champ_namespace; NAMESPACE_LEN is
2851 how deep we've looked for namespaces, and the champ is stored in
2852 OLOAD_CHAMP. The return value is 1 if the champ is a good one, 0
7322dca9
SW
2853 if it isn't. Other arguments are the same as in
2854 find_oload_champ_namespace
8d577d32
DC
2855
2856 It is the caller's responsibility to free *OLOAD_SYMS and
2857 *OLOAD_CHAMP_BV. */
2858
2859static int
da096638 2860find_oload_champ_namespace_loop (struct value **args, int nargs,
8d577d32
DC
2861 const char *func_name,
2862 const char *qualified_name,
2863 int namespace_len,
2864 struct symbol ***oload_syms,
2865 struct badness_vector **oload_champ_bv,
7322dca9
SW
2866 int *oload_champ,
2867 const int no_adl)
8d577d32
DC
2868{
2869 int next_namespace_len = namespace_len;
2870 int searched_deeper = 0;
2871 int num_fns = 0;
2872 struct cleanup *old_cleanups;
2873 int new_oload_champ;
2874 struct symbol **new_oload_syms;
2875 struct badness_vector *new_oload_champ_bv;
2876 char *new_namespace;
2877
2878 if (next_namespace_len != 0)
2879 {
2880 gdb_assert (qualified_name[next_namespace_len] == ':');
2881 next_namespace_len += 2;
c906108c 2882 }
ac3eeb49
MS
2883 next_namespace_len +=
2884 cp_find_first_component (qualified_name + next_namespace_len);
8d577d32
DC
2885
2886 /* Initialize these to values that can safely be xfree'd. */
2887 *oload_syms = NULL;
2888 *oload_champ_bv = NULL;
c5aa993b 2889
581e13c1 2890 /* First, see if we have a deeper namespace we can search in.
ac3eeb49 2891 If we get a good match there, use it. */
8d577d32
DC
2892
2893 if (qualified_name[next_namespace_len] == ':')
2894 {
2895 searched_deeper = 1;
2896
da096638 2897 if (find_oload_champ_namespace_loop (args, nargs,
8d577d32
DC
2898 func_name, qualified_name,
2899 next_namespace_len,
2900 oload_syms, oload_champ_bv,
7322dca9 2901 oload_champ, no_adl))
8d577d32
DC
2902 {
2903 return 1;
2904 }
2905 };
2906
2907 /* If we reach here, either we're in the deepest namespace or we
2908 didn't find a good match in a deeper namespace. But, in the
2909 latter case, we still have a bad match in a deeper namespace;
2910 note that we might not find any match at all in the current
2911 namespace. (There's always a match in the deepest namespace,
2912 because this overload mechanism only gets called if there's a
2913 function symbol to start off with.) */
2914
2915 old_cleanups = make_cleanup (xfree, *oload_syms);
ec322823 2916 make_cleanup (xfree, *oload_champ_bv);
8d577d32
DC
2917 new_namespace = alloca (namespace_len + 1);
2918 strncpy (new_namespace, qualified_name, namespace_len);
2919 new_namespace[namespace_len] = '\0';
2920 new_oload_syms = make_symbol_overload_list (func_name,
2921 new_namespace);
7322dca9
SW
2922
2923 /* If we have reached the deepest level perform argument
2924 determined lookup. */
2925 if (!searched_deeper && !no_adl)
da096638
KS
2926 {
2927 int ix;
2928 struct type **arg_types;
2929
2930 /* Prepare list of argument types for overload resolution. */
2931 arg_types = (struct type **)
2932 alloca (nargs * (sizeof (struct type *)));
2933 for (ix = 0; ix < nargs; ix++)
2934 arg_types[ix] = value_type (args[ix]);
2935 make_symbol_overload_list_adl (arg_types, nargs, func_name);
2936 }
7322dca9 2937
8d577d32
DC
2938 while (new_oload_syms[num_fns])
2939 ++num_fns;
2940
9cf95373 2941 new_oload_champ = find_oload_champ (args, nargs, num_fns,
233e8b28 2942 NULL, NULL, new_oload_syms,
8d577d32
DC
2943 &new_oload_champ_bv);
2944
2945 /* Case 1: We found a good match. Free earlier matches (if any),
2946 and return it. Case 2: We didn't find a good match, but we're
2947 not the deepest function. Then go with the bad match that the
2948 deeper function found. Case 3: We found a bad match, and we're
2949 the deepest function. Then return what we found, even though
2950 it's a bad match. */
2951
2952 if (new_oload_champ != -1
2953 && classify_oload_match (new_oload_champ_bv, nargs, 0) == STANDARD)
2954 {
2955 *oload_syms = new_oload_syms;
2956 *oload_champ = new_oload_champ;
2957 *oload_champ_bv = new_oload_champ_bv;
2958 do_cleanups (old_cleanups);
2959 return 1;
2960 }
2961 else if (searched_deeper)
2962 {
2963 xfree (new_oload_syms);
2964 xfree (new_oload_champ_bv);
2965 discard_cleanups (old_cleanups);
2966 return 0;
2967 }
2968 else
2969 {
8d577d32
DC
2970 *oload_syms = new_oload_syms;
2971 *oload_champ = new_oload_champ;
2972 *oload_champ_bv = new_oload_champ_bv;
2a7d6a25 2973 do_cleanups (old_cleanups);
8d577d32
DC
2974 return 0;
2975 }
2976}
2977
da096638 2978/* Look for a function to take NARGS args of ARGS. Find
8d577d32 2979 the best match from among the overloaded methods or functions
233e8b28
SC
2980 given by FNS_PTR or OLOAD_SYMS or XM_WORKER_VEC, respectively.
2981 One, and only one of FNS_PTR, OLOAD_SYMS and XM_WORKER_VEC can be
2982 non-NULL.
2983
2984 If XM_WORKER_VEC is NULL, then the length of the arrays FNS_PTR
2985 or OLOAD_SYMS (whichever is non-NULL) is specified in NUM_FNS.
2986
8d577d32
DC
2987 Return the index of the best match; store an indication of the
2988 quality of the match in OLOAD_CHAMP_BV.
2989
2990 It is the caller's responsibility to free *OLOAD_CHAMP_BV. */
2991
2992static int
9cf95373 2993find_oload_champ (struct value **args, int nargs,
8d577d32 2994 int num_fns, struct fn_field *fns_ptr,
233e8b28 2995 VEC (xmethod_worker_ptr) *xm_worker_vec,
8d577d32
DC
2996 struct symbol **oload_syms,
2997 struct badness_vector **oload_champ_bv)
2998{
2999 int ix;
233e8b28
SC
3000 int fn_count;
3001 int xm_worker_vec_n = VEC_length (xmethod_worker_ptr, xm_worker_vec);
ac3eeb49
MS
3002 /* A measure of how good an overloaded instance is. */
3003 struct badness_vector *bv;
3004 /* Index of best overloaded function. */
3005 int oload_champ = -1;
3006 /* Current ambiguity state for overload resolution. */
3007 int oload_ambiguous = 0;
3008 /* 0 => no ambiguity, 1 => two good funcs, 2 => incomparable funcs. */
8d577d32 3009
9cf95373 3010 /* A champion can be found among methods alone, or among functions
233e8b28
SC
3011 alone, or in xmethods alone, but not in more than one of these
3012 groups. */
3013 gdb_assert ((fns_ptr != NULL) + (oload_syms != NULL) + (xm_worker_vec != NULL)
3014 == 1);
9cf95373 3015
8d577d32 3016 *oload_champ_bv = NULL;
c906108c 3017
233e8b28
SC
3018 fn_count = (xm_worker_vec != NULL
3019 ? VEC_length (xmethod_worker_ptr, xm_worker_vec)
3020 : num_fns);
ac3eeb49 3021 /* Consider each candidate in turn. */
233e8b28 3022 for (ix = 0; ix < fn_count; ix++)
c906108c 3023 {
8d577d32 3024 int jj;
233e8b28 3025 int static_offset = 0;
8d577d32
DC
3026 int nparms;
3027 struct type **parm_types;
233e8b28 3028 struct xmethod_worker *worker = NULL;
8d577d32 3029
233e8b28 3030 if (xm_worker_vec != NULL)
db577aea 3031 {
233e8b28
SC
3032 worker = VEC_index (xmethod_worker_ptr, xm_worker_vec, ix);
3033 parm_types = get_xmethod_arg_types (worker, &nparms);
db577aea
AC
3034 }
3035 else
3036 {
233e8b28
SC
3037 if (fns_ptr != NULL)
3038 {
3039 nparms = TYPE_NFIELDS (TYPE_FN_FIELD_TYPE (fns_ptr, ix));
3040 static_offset = oload_method_static_p (fns_ptr, ix);
3041 }
3042 else
3043 nparms = TYPE_NFIELDS (SYMBOL_TYPE (oload_syms[ix]));
3044
3045 parm_types = (struct type **)
3046 xmalloc (nparms * (sizeof (struct type *)));
3047 for (jj = 0; jj < nparms; jj++)
3048 parm_types[jj] = (fns_ptr != NULL
3049 ? (TYPE_FN_FIELD_ARGS (fns_ptr, ix)[jj].type)
3050 : TYPE_FIELD_TYPE (SYMBOL_TYPE (oload_syms[ix]),
8301c89e 3051 jj));
db577aea 3052 }
c906108c 3053
ac3eeb49
MS
3054 /* Compare parameter types to supplied argument types. Skip
3055 THIS for static methods. */
3056 bv = rank_function (parm_types, nparms,
da096638 3057 args + static_offset,
4a1970e4 3058 nargs - static_offset);
c5aa993b 3059
8d577d32 3060 if (!*oload_champ_bv)
c5aa993b 3061 {
8d577d32 3062 *oload_champ_bv = bv;
c5aa993b 3063 oload_champ = 0;
c5aa993b 3064 }
ac3eeb49
MS
3065 else /* See whether current candidate is better or worse than
3066 previous best. */
8d577d32 3067 switch (compare_badness (bv, *oload_champ_bv))
c5aa993b 3068 {
ac3eeb49
MS
3069 case 0: /* Top two contenders are equally good. */
3070 oload_ambiguous = 1;
c5aa993b 3071 break;
ac3eeb49
MS
3072 case 1: /* Incomparable top contenders. */
3073 oload_ambiguous = 2;
c5aa993b 3074 break;
ac3eeb49
MS
3075 case 2: /* New champion, record details. */
3076 *oload_champ_bv = bv;
c5aa993b
JM
3077 oload_ambiguous = 0;
3078 oload_champ = ix;
c5aa993b
JM
3079 break;
3080 case 3:
3081 default:
3082 break;
3083 }
b8c9b27d 3084 xfree (parm_types);
6b1ba9a0
ND
3085 if (overload_debug)
3086 {
233e8b28 3087 if (fns_ptr != NULL)
ac3eeb49 3088 fprintf_filtered (gdb_stderr,
3e43a32a 3089 "Overloaded method instance %s, # of parms %d\n",
ac3eeb49 3090 fns_ptr[ix].physname, nparms);
233e8b28
SC
3091 else if (xm_worker_vec != NULL)
3092 fprintf_filtered (gdb_stderr,
3093 "Xmethod worker, # of parms %d\n",
3094 nparms);
6b1ba9a0 3095 else
ac3eeb49 3096 fprintf_filtered (gdb_stderr,
3e43a32a
MS
3097 "Overloaded function instance "
3098 "%s # of parms %d\n",
ac3eeb49
MS
3099 SYMBOL_DEMANGLED_NAME (oload_syms[ix]),
3100 nparms);
4a1970e4 3101 for (jj = 0; jj < nargs - static_offset; jj++)
ac3eeb49
MS
3102 fprintf_filtered (gdb_stderr,
3103 "...Badness @ %d : %d\n",
6403aeea 3104 jj, bv->rank[jj].rank);
3e43a32a
MS
3105 fprintf_filtered (gdb_stderr, "Overload resolution "
3106 "champion is %d, ambiguous? %d\n",
ac3eeb49 3107 oload_champ, oload_ambiguous);
6b1ba9a0 3108 }
c906108c
SS
3109 }
3110
8d577d32
DC
3111 return oload_champ;
3112}
6b1ba9a0 3113
8d577d32
DC
3114/* Return 1 if we're looking at a static method, 0 if we're looking at
3115 a non-static method or a function that isn't a method. */
c906108c 3116
8d577d32 3117static int
2bca57ba 3118oload_method_static_p (struct fn_field *fns_ptr, int index)
8d577d32 3119{
2bca57ba 3120 if (fns_ptr && index >= 0 && TYPE_FN_FIELD_STATIC_P (fns_ptr, index))
8d577d32 3121 return 1;
c906108c 3122 else
8d577d32
DC
3123 return 0;
3124}
c906108c 3125
8d577d32
DC
3126/* Check how good an overload match OLOAD_CHAMP_BV represents. */
3127
3128static enum oload_classification
3129classify_oload_match (struct badness_vector *oload_champ_bv,
3130 int nargs,
3131 int static_offset)
3132{
3133 int ix;
da096638 3134 enum oload_classification worst = STANDARD;
8d577d32
DC
3135
3136 for (ix = 1; ix <= nargs - static_offset; ix++)
7f8c9282 3137 {
6403aeea
SW
3138 /* If this conversion is as bad as INCOMPATIBLE_TYPE_BADNESS
3139 or worse return INCOMPATIBLE. */
3140 if (compare_ranks (oload_champ_bv->rank[ix],
3141 INCOMPATIBLE_TYPE_BADNESS) <= 0)
ac3eeb49 3142 return INCOMPATIBLE; /* Truly mismatched types. */
6403aeea
SW
3143 /* Otherwise If this conversion is as bad as
3144 NS_POINTER_CONVERSION_BADNESS or worse return NON_STANDARD. */
3145 else if (compare_ranks (oload_champ_bv->rank[ix],
3146 NS_POINTER_CONVERSION_BADNESS) <= 0)
da096638 3147 worst = NON_STANDARD; /* Non-standard type conversions
ac3eeb49 3148 needed. */
7f8c9282 3149 }
02f0d45d 3150
da096638
KS
3151 /* If no INCOMPATIBLE classification was found, return the worst one
3152 that was found (if any). */
3153 return worst;
c906108c
SS
3154}
3155
ac3eeb49
MS
3156/* C++: return 1 is NAME is a legitimate name for the destructor of
3157 type TYPE. If TYPE does not have a destructor, or if NAME is
d8228535
JK
3158 inappropriate for TYPE, an error is signaled. Parameter TYPE should not yet
3159 have CHECK_TYPEDEF applied, this function will apply it itself. */
3160
c906108c 3161int
d8228535 3162destructor_name_p (const char *name, struct type *type)
c906108c 3163{
c906108c
SS
3164 if (name[0] == '~')
3165 {
d8228535
JK
3166 const char *dname = type_name_no_tag_or_error (type);
3167 const char *cp = strchr (dname, '<');
c906108c
SS
3168 unsigned int len;
3169
3170 /* Do not compare the template part for template classes. */
3171 if (cp == NULL)
3172 len = strlen (dname);
3173 else
3174 len = cp - dname;
bf896cb0 3175 if (strlen (name + 1) != len || strncmp (dname, name + 1, len) != 0)
8a3fe4f8 3176 error (_("name of destructor must equal name of class"));
c906108c
SS
3177 else
3178 return 1;
3179 }
3180 return 0;
3181}
3182
3d567982
TT
3183/* Find an enum constant named NAME in TYPE. TYPE must be an "enum
3184 class". If the name is found, return a value representing it;
3185 otherwise throw an exception. */
3186
3187static struct value *
3188enum_constant_from_type (struct type *type, const char *name)
3189{
3190 int i;
3191 int name_len = strlen (name);
3192
3193 gdb_assert (TYPE_CODE (type) == TYPE_CODE_ENUM
3194 && TYPE_DECLARED_CLASS (type));
3195
3196 for (i = TYPE_N_BASECLASSES (type); i < TYPE_NFIELDS (type); ++i)
3197 {
3198 const char *fname = TYPE_FIELD_NAME (type, i);
3199 int len;
3200
3201 if (TYPE_FIELD_LOC_KIND (type, i) != FIELD_LOC_KIND_ENUMVAL
3202 || fname == NULL)
3203 continue;
3204
3205 /* Look for the trailing "::NAME", since enum class constant
3206 names are qualified here. */
3207 len = strlen (fname);
3208 if (len + 2 >= name_len
3209 && fname[len - name_len - 2] == ':'
3210 && fname[len - name_len - 1] == ':'
3211 && strcmp (&fname[len - name_len], name) == 0)
3212 return value_from_longest (type, TYPE_FIELD_ENUMVAL (type, i));
3213 }
3214
3215 error (_("no constant named \"%s\" in enum \"%s\""),
3216 name, TYPE_TAG_NAME (type));
3217}
3218
79c2c32d 3219/* C++: Given an aggregate type CURTYPE, and a member name NAME,
0d5de010
DJ
3220 return the appropriate member (or the address of the member, if
3221 WANT_ADDRESS). This function is used to resolve user expressions
3222 of the form "DOMAIN::NAME". For more details on what happens, see
3223 the comment before value_struct_elt_for_reference. */
79c2c32d
DC
3224
3225struct value *
c848d642 3226value_aggregate_elt (struct type *curtype, const char *name,
072bba3b 3227 struct type *expect_type, int want_address,
79c2c32d
DC
3228 enum noside noside)
3229{
3230 switch (TYPE_CODE (curtype))
3231 {
3232 case TYPE_CODE_STRUCT:
3233 case TYPE_CODE_UNION:
ac3eeb49 3234 return value_struct_elt_for_reference (curtype, 0, curtype,
072bba3b 3235 name, expect_type,
0d5de010 3236 want_address, noside);
79c2c32d 3237 case TYPE_CODE_NAMESPACE:
ac3eeb49
MS
3238 return value_namespace_elt (curtype, name,
3239 want_address, noside);
3d567982
TT
3240
3241 case TYPE_CODE_ENUM:
3242 return enum_constant_from_type (curtype, name);
3243
79c2c32d
DC
3244 default:
3245 internal_error (__FILE__, __LINE__,
e2e0b3e5 3246 _("non-aggregate type in value_aggregate_elt"));
79c2c32d
DC
3247 }
3248}
3249
072bba3b 3250/* Compares the two method/function types T1 and T2 for "equality"
b021a221 3251 with respect to the methods' parameters. If the types of the
072bba3b
KS
3252 two parameter lists are the same, returns 1; 0 otherwise. This
3253 comparison may ignore any artificial parameters in T1 if
3254 SKIP_ARTIFICIAL is non-zero. This function will ALWAYS skip
3255 the first artificial parameter in T1, assumed to be a 'this' pointer.
3256
3257 The type T2 is expected to have come from make_params (in eval.c). */
3258
3259static int
3260compare_parameters (struct type *t1, struct type *t2, int skip_artificial)
3261{
3262 int start = 0;
3263
80b23b6a 3264 if (TYPE_NFIELDS (t1) > 0 && TYPE_FIELD_ARTIFICIAL (t1, 0))
072bba3b
KS
3265 ++start;
3266
3267 /* If skipping artificial fields, find the first real field
581e13c1 3268 in T1. */
072bba3b
KS
3269 if (skip_artificial)
3270 {
3271 while (start < TYPE_NFIELDS (t1)
3272 && TYPE_FIELD_ARTIFICIAL (t1, start))
3273 ++start;
3274 }
3275
581e13c1 3276 /* Now compare parameters. */
072bba3b
KS
3277
3278 /* Special case: a method taking void. T1 will contain no
3279 non-artificial fields, and T2 will contain TYPE_CODE_VOID. */
3280 if ((TYPE_NFIELDS (t1) - start) == 0 && TYPE_NFIELDS (t2) == 1
3281 && TYPE_CODE (TYPE_FIELD_TYPE (t2, 0)) == TYPE_CODE_VOID)
3282 return 1;
3283
3284 if ((TYPE_NFIELDS (t1) - start) == TYPE_NFIELDS (t2))
3285 {
3286 int i;
a109c7c1 3287
072bba3b
KS
3288 for (i = 0; i < TYPE_NFIELDS (t2); ++i)
3289 {
6403aeea 3290 if (compare_ranks (rank_one_type (TYPE_FIELD_TYPE (t1, start + i),
da096638 3291 TYPE_FIELD_TYPE (t2, i), NULL),
6403aeea 3292 EXACT_MATCH_BADNESS) != 0)
072bba3b
KS
3293 return 0;
3294 }
3295
3296 return 1;
3297 }
3298
3299 return 0;
3300}
3301
c906108c 3302/* C++: Given an aggregate type CURTYPE, and a member name NAME,
ac3eeb49
MS
3303 return the address of this member as a "pointer to member" type.
3304 If INTYPE is non-null, then it will be the type of the member we
3305 are looking for. This will help us resolve "pointers to member
3306 functions". This function is used to resolve user expressions of
3307 the form "DOMAIN::NAME". */
c906108c 3308
63d06c5c 3309static struct value *
fba45db2 3310value_struct_elt_for_reference (struct type *domain, int offset,
c848d642 3311 struct type *curtype, const char *name,
ac3eeb49
MS
3312 struct type *intype,
3313 int want_address,
63d06c5c 3314 enum noside noside)
c906108c 3315{
52f0bd74
AC
3316 struct type *t = curtype;
3317 int i;
0d5de010 3318 struct value *v, *result;
c906108c 3319
c5aa993b 3320 if (TYPE_CODE (t) != TYPE_CODE_STRUCT
c906108c 3321 && TYPE_CODE (t) != TYPE_CODE_UNION)
3e43a32a
MS
3322 error (_("Internal error: non-aggregate type "
3323 "to value_struct_elt_for_reference"));
c906108c
SS
3324
3325 for (i = TYPE_NFIELDS (t) - 1; i >= TYPE_N_BASECLASSES (t); i--)
3326 {
0d5cff50 3327 const char *t_field_name = TYPE_FIELD_NAME (t, i);
c5aa993b 3328
6314a349 3329 if (t_field_name && strcmp (t_field_name, name) == 0)
c906108c 3330 {
d6a843b5 3331 if (field_is_static (&TYPE_FIELD (t, i)))
c906108c
SS
3332 {
3333 v = value_static_field (t, i);
0d5de010
DJ
3334 if (want_address)
3335 v = value_addr (v);
c906108c
SS
3336 return v;
3337 }
3338 if (TYPE_FIELD_PACKED (t, i))
8a3fe4f8 3339 error (_("pointers to bitfield members not allowed"));
c5aa993b 3340
0d5de010
DJ
3341 if (want_address)
3342 return value_from_longest
3343 (lookup_memberptr_type (TYPE_FIELD_TYPE (t, i), domain),
3344 offset + (LONGEST) (TYPE_FIELD_BITPOS (t, i) >> 3));
f7e3ecae 3345 else if (noside != EVAL_NORMAL)
0d5de010
DJ
3346 return allocate_value (TYPE_FIELD_TYPE (t, i));
3347 else
f7e3ecae
KS
3348 {
3349 /* Try to evaluate NAME as a qualified name with implicit
3350 this pointer. In this case, attempt to return the
3351 equivalent to `this->*(&TYPE::NAME)'. */
3352 v = value_of_this_silent (current_language);
3353 if (v != NULL)
3354 {
3355 struct value *ptr;
3356 long mem_offset;
3357 struct type *type, *tmp;
3358
3359 ptr = value_aggregate_elt (domain, name, NULL, 1, noside);
3360 type = check_typedef (value_type (ptr));
3361 gdb_assert (type != NULL
3362 && TYPE_CODE (type) == TYPE_CODE_MEMBERPTR);
4bfb94b8 3363 tmp = lookup_pointer_type (TYPE_SELF_TYPE (type));
f7e3ecae
KS
3364 v = value_cast_pointers (tmp, v, 1);
3365 mem_offset = value_as_long (ptr);
3366 tmp = lookup_pointer_type (TYPE_TARGET_TYPE (type));
3367 result = value_from_pointer (tmp,
3368 value_as_long (v) + mem_offset);
3369 return value_ind (result);
3370 }
3371
3372 error (_("Cannot reference non-static field \"%s\""), name);
3373 }
c906108c
SS
3374 }
3375 }
3376
ac3eeb49
MS
3377 /* C++: If it was not found as a data field, then try to return it
3378 as a pointer to a method. */
c906108c 3379
c906108c
SS
3380 /* Perform all necessary dereferencing. */
3381 while (intype && TYPE_CODE (intype) == TYPE_CODE_PTR)
3382 intype = TYPE_TARGET_TYPE (intype);
3383
3384 for (i = TYPE_NFN_FIELDS (t) - 1; i >= 0; --i)
3385 {
0d5cff50 3386 const char *t_field_name = TYPE_FN_FIELDLIST_NAME (t, i);
c906108c
SS
3387 char dem_opname[64];
3388
61012eef
GB
3389 if (startswith (t_field_name, "__")
3390 || startswith (t_field_name, "op")
3391 || startswith (t_field_name, "type"))
c906108c 3392 {
ac3eeb49
MS
3393 if (cplus_demangle_opname (t_field_name,
3394 dem_opname, DMGL_ANSI))
c5aa993b 3395 t_field_name = dem_opname;
ac3eeb49
MS
3396 else if (cplus_demangle_opname (t_field_name,
3397 dem_opname, 0))
c906108c 3398 t_field_name = dem_opname;
c906108c 3399 }
6314a349 3400 if (t_field_name && strcmp (t_field_name, name) == 0)
c906108c 3401 {
072bba3b
KS
3402 int j;
3403 int len = TYPE_FN_FIELDLIST_LENGTH (t, i);
c906108c 3404 struct fn_field *f = TYPE_FN_FIELDLIST1 (t, i);
c5aa993b 3405
de17c821
DJ
3406 check_stub_method_group (t, i);
3407
c906108c
SS
3408 if (intype)
3409 {
072bba3b
KS
3410 for (j = 0; j < len; ++j)
3411 {
3412 if (compare_parameters (TYPE_FN_FIELD_TYPE (f, j), intype, 0)
3e43a32a
MS
3413 || compare_parameters (TYPE_FN_FIELD_TYPE (f, j),
3414 intype, 1))
072bba3b
KS
3415 break;
3416 }
3417
3418 if (j == len)
3e43a32a
MS
3419 error (_("no member function matches "
3420 "that type instantiation"));
7f79b1c5 3421 }
c906108c 3422 else
072bba3b
KS
3423 {
3424 int ii;
7f79b1c5
DJ
3425
3426 j = -1;
53832f31 3427 for (ii = 0; ii < len; ++ii)
072bba3b 3428 {
7f79b1c5
DJ
3429 /* Skip artificial methods. This is necessary if,
3430 for example, the user wants to "print
3431 subclass::subclass" with only one user-defined
53832f31
TT
3432 constructor. There is no ambiguity in this case.
3433 We are careful here to allow artificial methods
3434 if they are the unique result. */
072bba3b 3435 if (TYPE_FN_FIELD_ARTIFICIAL (f, ii))
53832f31
TT
3436 {
3437 if (j == -1)
3438 j = ii;
3439 continue;
3440 }
072bba3b 3441
7f79b1c5
DJ
3442 /* Desired method is ambiguous if more than one
3443 method is defined. */
53832f31 3444 if (j != -1 && !TYPE_FN_FIELD_ARTIFICIAL (f, j))
3e43a32a
MS
3445 error (_("non-unique member `%s' requires "
3446 "type instantiation"), name);
072bba3b 3447
7f79b1c5
DJ
3448 j = ii;
3449 }
53832f31
TT
3450
3451 if (j == -1)
3452 error (_("no matching member function"));
072bba3b 3453 }
c5aa993b 3454
0d5de010
DJ
3455 if (TYPE_FN_FIELD_STATIC_P (f, j))
3456 {
ac3eeb49
MS
3457 struct symbol *s =
3458 lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, j),
2570f2b7 3459 0, VAR_DOMAIN, 0);
a109c7c1 3460
0d5de010
DJ
3461 if (s == NULL)
3462 return NULL;
3463
3464 if (want_address)
3465 return value_addr (read_var_value (s, 0));
3466 else
3467 return read_var_value (s, 0);
3468 }
3469
c906108c
SS
3470 if (TYPE_FN_FIELD_VIRTUAL_P (f, j))
3471 {
0d5de010
DJ
3472 if (want_address)
3473 {
3474 result = allocate_value
3475 (lookup_methodptr_type (TYPE_FN_FIELD_TYPE (f, j)));
ad4820ab
UW
3476 cplus_make_method_ptr (value_type (result),
3477 value_contents_writeable (result),
0d5de010
DJ
3478 TYPE_FN_FIELD_VOFFSET (f, j), 1);
3479 }
3480 else if (noside == EVAL_AVOID_SIDE_EFFECTS)
3481 return allocate_value (TYPE_FN_FIELD_TYPE (f, j));
3482 else
3483 error (_("Cannot reference virtual member function \"%s\""),
3484 name);
c906108c
SS
3485 }
3486 else
3487 {
ac3eeb49
MS
3488 struct symbol *s =
3489 lookup_symbol (TYPE_FN_FIELD_PHYSNAME (f, j),
2570f2b7 3490 0, VAR_DOMAIN, 0);
a109c7c1 3491
c906108c 3492 if (s == NULL)
0d5de010
DJ
3493 return NULL;
3494
3495 v = read_var_value (s, 0);
3496 if (!want_address)
3497 result = v;
c906108c
SS
3498 else
3499 {
0d5de010 3500 result = allocate_value (lookup_methodptr_type (TYPE_FN_FIELD_TYPE (f, j)));
ad4820ab
UW
3501 cplus_make_method_ptr (value_type (result),
3502 value_contents_writeable (result),
42ae5230 3503 value_address (v), 0);
c906108c 3504 }
c906108c 3505 }
0d5de010 3506 return result;
c906108c
SS
3507 }
3508 }
3509 for (i = TYPE_N_BASECLASSES (t) - 1; i >= 0; i--)
3510 {
f23631e4 3511 struct value *v;
c906108c
SS
3512 int base_offset;
3513
3514 if (BASETYPE_VIA_VIRTUAL (t, i))
3515 base_offset = 0;
3516 else
3517 base_offset = TYPE_BASECLASS_BITPOS (t, i) / 8;
3518 v = value_struct_elt_for_reference (domain,
3519 offset + base_offset,
3520 TYPE_BASECLASS (t, i),
ac3eeb49
MS
3521 name, intype,
3522 want_address, noside);
c906108c
SS
3523 if (v)
3524 return v;
3525 }
63d06c5c
DC
3526
3527 /* As a last chance, pretend that CURTYPE is a namespace, and look
3528 it up that way; this (frequently) works for types nested inside
3529 classes. */
3530
ac3eeb49
MS
3531 return value_maybe_namespace_elt (curtype, name,
3532 want_address, noside);
c906108c
SS
3533}
3534
79c2c32d
DC
3535/* C++: Return the member NAME of the namespace given by the type
3536 CURTYPE. */
3537
3538static struct value *
3539value_namespace_elt (const struct type *curtype,
c848d642 3540 const char *name, int want_address,
79c2c32d 3541 enum noside noside)
63d06c5c
DC
3542{
3543 struct value *retval = value_maybe_namespace_elt (curtype, name,
ac3eeb49
MS
3544 want_address,
3545 noside);
63d06c5c
DC
3546
3547 if (retval == NULL)
ac3eeb49
MS
3548 error (_("No symbol \"%s\" in namespace \"%s\"."),
3549 name, TYPE_TAG_NAME (curtype));
63d06c5c
DC
3550
3551 return retval;
3552}
3553
3554/* A helper function used by value_namespace_elt and
3555 value_struct_elt_for_reference. It looks up NAME inside the
3556 context CURTYPE; this works if CURTYPE is a namespace or if CURTYPE
3557 is a class and NAME refers to a type in CURTYPE itself (as opposed
3558 to, say, some base class of CURTYPE). */
3559
3560static struct value *
3561value_maybe_namespace_elt (const struct type *curtype,
c848d642 3562 const char *name, int want_address,
63d06c5c 3563 enum noside noside)
79c2c32d
DC
3564{
3565 const char *namespace_name = TYPE_TAG_NAME (curtype);
3566 struct symbol *sym;
0d5de010 3567 struct value *result;
79c2c32d 3568
13387711 3569 sym = cp_lookup_symbol_namespace (namespace_name, name,
41f62f39
JK
3570 get_selected_block (0), VAR_DOMAIN);
3571
79c2c32d 3572 if (sym == NULL)
63d06c5c 3573 return NULL;
79c2c32d
DC
3574 else if ((noside == EVAL_AVOID_SIDE_EFFECTS)
3575 && (SYMBOL_CLASS (sym) == LOC_TYPEDEF))
0d5de010 3576 result = allocate_value (SYMBOL_TYPE (sym));
79c2c32d 3577 else
0d5de010
DJ
3578 result = value_of_variable (sym, get_selected_block (0));
3579
ae6a105d 3580 if (want_address)
0d5de010
DJ
3581 result = value_addr (result);
3582
3583 return result;
79c2c32d
DC
3584}
3585
dfcee124 3586/* Given a pointer or a reference value V, find its real (RTTI) type.
ac3eeb49 3587
c906108c 3588 Other parameters FULL, TOP, USING_ENC as with value_rtti_type()
ac3eeb49 3589 and refer to the values computed for the object pointed to. */
c906108c
SS
3590
3591struct type *
dfcee124
AG
3592value_rtti_indirect_type (struct value *v, int *full,
3593 int *top, int *using_enc)
c906108c 3594{
f7e5394d 3595 struct value *target = NULL;
dfcee124
AG
3596 struct type *type, *real_type, *target_type;
3597
3598 type = value_type (v);
3599 type = check_typedef (type);
3600 if (TYPE_CODE (type) == TYPE_CODE_REF)
3601 target = coerce_ref (v);
3602 else if (TYPE_CODE (type) == TYPE_CODE_PTR)
f7e5394d 3603 {
f7e5394d 3604
492d29ea 3605 TRY
f7e5394d
SM
3606 {
3607 target = value_ind (v);
3608 }
492d29ea 3609 CATCH (except, RETURN_MASK_ERROR)
f7e5394d
SM
3610 {
3611 if (except.error == MEMORY_ERROR)
3612 {
3613 /* value_ind threw a memory error. The pointer is NULL or
3614 contains an uninitialized value: we can't determine any
3615 type. */
3616 return NULL;
3617 }
3618 throw_exception (except);
3619 }
492d29ea 3620 END_CATCH
f7e5394d 3621 }
dfcee124
AG
3622 else
3623 return NULL;
c906108c 3624
dfcee124
AG
3625 real_type = value_rtti_type (target, full, top, using_enc);
3626
3627 if (real_type)
3628 {
3629 /* Copy qualifiers to the referenced object. */
3630 target_type = value_type (target);
3631 real_type = make_cv_type (TYPE_CONST (target_type),
3632 TYPE_VOLATILE (target_type), real_type, NULL);
3633 if (TYPE_CODE (type) == TYPE_CODE_REF)
3634 real_type = lookup_reference_type (real_type);
3635 else if (TYPE_CODE (type) == TYPE_CODE_PTR)
3636 real_type = lookup_pointer_type (real_type);
3637 else
3638 internal_error (__FILE__, __LINE__, _("Unexpected value type."));
3639
3640 /* Copy qualifiers to the pointer/reference. */
3641 real_type = make_cv_type (TYPE_CONST (type), TYPE_VOLATILE (type),
3642 real_type, NULL);
3643 }
c906108c 3644
dfcee124 3645 return real_type;
c906108c
SS
3646}
3647
3648/* Given a value pointed to by ARGP, check its real run-time type, and
3649 if that is different from the enclosing type, create a new value
3650 using the real run-time type as the enclosing type (and of the same
3651 type as ARGP) and return it, with the embedded offset adjusted to
ac3eeb49
MS
3652 be the correct offset to the enclosed object. RTYPE is the type,
3653 and XFULL, XTOP, and XUSING_ENC are the other parameters, computed
3654 by value_rtti_type(). If these are available, they can be supplied
3655 and a second call to value_rtti_type() is avoided. (Pass RTYPE ==
3656 NULL if they're not available. */
c906108c 3657
f23631e4 3658struct value *
ac3eeb49
MS
3659value_full_object (struct value *argp,
3660 struct type *rtype,
3661 int xfull, int xtop,
fba45db2 3662 int xusing_enc)
c906108c 3663{
c5aa993b 3664 struct type *real_type;
c906108c
SS
3665 int full = 0;
3666 int top = -1;
3667 int using_enc = 0;
f23631e4 3668 struct value *new_val;
c906108c
SS
3669
3670 if (rtype)
3671 {
3672 real_type = rtype;
3673 full = xfull;
3674 top = xtop;
3675 using_enc = xusing_enc;
3676 }
3677 else
3678 real_type = value_rtti_type (argp, &full, &top, &using_enc);
3679
ac3eeb49 3680 /* If no RTTI data, or if object is already complete, do nothing. */
4754a64e 3681 if (!real_type || real_type == value_enclosing_type (argp))
c906108c
SS
3682 return argp;
3683
a7860e76
TT
3684 /* In a destructor we might see a real type that is a superclass of
3685 the object's type. In this case it is better to leave the object
3686 as-is. */
3687 if (full
3688 && TYPE_LENGTH (real_type) < TYPE_LENGTH (value_enclosing_type (argp)))
3689 return argp;
3690
c906108c 3691 /* If we have the full object, but for some reason the enclosing
ac3eeb49
MS
3692 type is wrong, set it. */
3693 /* pai: FIXME -- sounds iffy */
c906108c
SS
3694 if (full)
3695 {
4dfea560
DE
3696 argp = value_copy (argp);
3697 set_value_enclosing_type (argp, real_type);
c906108c
SS
3698 return argp;
3699 }
3700
581e13c1 3701 /* Check if object is in memory. */
c906108c
SS
3702 if (VALUE_LVAL (argp) != lval_memory)
3703 {
3e43a32a
MS
3704 warning (_("Couldn't retrieve complete object of RTTI "
3705 "type %s; object may be in register(s)."),
ac3eeb49 3706 TYPE_NAME (real_type));
c5aa993b 3707
c906108c
SS
3708 return argp;
3709 }
c5aa993b 3710
ac3eeb49
MS
3711 /* All other cases -- retrieve the complete object. */
3712 /* Go back by the computed top_offset from the beginning of the
3713 object, adjusting for the embedded offset of argp if that's what
3714 value_rtti_type used for its computation. */
42ae5230 3715 new_val = value_at_lazy (real_type, value_address (argp) - top +
13c3b5f5 3716 (using_enc ? 0 : value_embedded_offset (argp)));
04624583 3717 deprecated_set_value_type (new_val, value_type (argp));
13c3b5f5
AC
3718 set_value_embedded_offset (new_val, (using_enc
3719 ? top + value_embedded_offset (argp)
3720 : top));
c906108c
SS
3721 return new_val;
3722}
3723
389e51db 3724
85bc8cb7
JK
3725/* Return the value of the local variable, if one exists. Throw error
3726 otherwise, such as if the request is made in an inappropriate context. */
c906108c 3727
f23631e4 3728struct value *
85bc8cb7 3729value_of_this (const struct language_defn *lang)
c906108c 3730{
66a17cb6 3731 struct symbol *sym;
3977b71f 3732 const struct block *b;
206415a3 3733 struct frame_info *frame;
c906108c 3734
66a17cb6 3735 if (!lang->la_name_of_this)
85bc8cb7 3736 error (_("no `this' in current language"));
aee28ec6 3737
85bc8cb7 3738 frame = get_selected_frame (_("no frame selected"));
c906108c 3739
66a17cb6 3740 b = get_frame_block (frame, NULL);
c906108c 3741
66a17cb6 3742 sym = lookup_language_this (lang, b);
c906108c 3743 if (sym == NULL)
85bc8cb7
JK
3744 error (_("current stack frame does not contain a variable named `%s'"),
3745 lang->la_name_of_this);
3746
3747 return read_var_value (sym, frame);
3748}
3749
3750/* Return the value of the local variable, if one exists. Return NULL
3751 otherwise. Never throw error. */
3752
3753struct value *
3754value_of_this_silent (const struct language_defn *lang)
3755{
3756 struct value *ret = NULL;
85bc8cb7 3757
492d29ea 3758 TRY
c906108c 3759 {
85bc8cb7 3760 ret = value_of_this (lang);
c906108c 3761 }
492d29ea
PA
3762 CATCH (except, RETURN_MASK_ERROR)
3763 {
3764 }
3765 END_CATCH
c906108c 3766
d069f99d
AF
3767 return ret;
3768}
3769
ac3eeb49
MS
3770/* Create a slice (sub-string, sub-array) of ARRAY, that is LENGTH
3771 elements long, starting at LOWBOUND. The result has the same lower
3772 bound as the original ARRAY. */
c906108c 3773
f23631e4
AC
3774struct value *
3775value_slice (struct value *array, int lowbound, int length)
c906108c
SS
3776{
3777 struct type *slice_range_type, *slice_type, *range_type;
7a67d0fe 3778 LONGEST lowerbound, upperbound;
f23631e4 3779 struct value *slice;
c906108c 3780 struct type *array_type;
ac3eeb49 3781
df407dfe 3782 array_type = check_typedef (value_type (array));
c906108c 3783 if (TYPE_CODE (array_type) != TYPE_CODE_ARRAY
6b1755ce 3784 && TYPE_CODE (array_type) != TYPE_CODE_STRING)
8a3fe4f8 3785 error (_("cannot take slice of non-array"));
ac3eeb49 3786
c906108c
SS
3787 range_type = TYPE_INDEX_TYPE (array_type);
3788 if (get_discrete_bounds (range_type, &lowerbound, &upperbound) < 0)
8a3fe4f8 3789 error (_("slice from bad array or bitstring"));
ac3eeb49 3790
c906108c 3791 if (lowbound < lowerbound || length < 0
db034ac5 3792 || lowbound + length - 1 > upperbound)
8a3fe4f8 3793 error (_("slice out of range"));
ac3eeb49 3794
c906108c
SS
3795 /* FIXME-type-allocation: need a way to free this type when we are
3796 done with it. */
0c9c3474
SA
3797 slice_range_type = create_static_range_type ((struct type *) NULL,
3798 TYPE_TARGET_TYPE (range_type),
3799 lowbound,
3800 lowbound + length - 1);
ac3eeb49 3801
a7c88acd
JB
3802 {
3803 struct type *element_type = TYPE_TARGET_TYPE (array_type);
3804 LONGEST offset
3805 = (lowbound - lowerbound) * TYPE_LENGTH (check_typedef (element_type));
ac3eeb49 3806
a7c88acd
JB
3807 slice_type = create_array_type ((struct type *) NULL,
3808 element_type,
3809 slice_range_type);
3810 TYPE_CODE (slice_type) = TYPE_CODE (array_type);
ac3eeb49 3811
a7c88acd
JB
3812 if (VALUE_LVAL (array) == lval_memory && value_lazy (array))
3813 slice = allocate_value_lazy (slice_type);
3814 else
3815 {
3816 slice = allocate_value (slice_type);
3817 value_contents_copy (slice, 0, array, offset,
3818 TYPE_LENGTH (slice_type));
3819 }
3820
3821 set_value_component_location (slice, array);
3822 VALUE_FRAME_ID (slice) = VALUE_FRAME_ID (array);
3823 set_value_offset (slice, value_offset (array) + offset);
3824 }
ac3eeb49 3825
c906108c
SS
3826 return slice;
3827}
3828
ac3eeb49
MS
3829/* Create a value for a FORTRAN complex number. Currently most of the
3830 time values are coerced to COMPLEX*16 (i.e. a complex number
070ad9f0
DB
3831 composed of 2 doubles. This really should be a smarter routine
3832 that figures out precision inteligently as opposed to assuming
ac3eeb49 3833 doubles. FIXME: fmb */
c906108c 3834
f23631e4 3835struct value *
ac3eeb49
MS
3836value_literal_complex (struct value *arg1,
3837 struct value *arg2,
3838 struct type *type)
c906108c 3839{
f23631e4 3840 struct value *val;
c906108c
SS
3841 struct type *real_type = TYPE_TARGET_TYPE (type);
3842
3843 val = allocate_value (type);
3844 arg1 = value_cast (real_type, arg1);
3845 arg2 = value_cast (real_type, arg2);
3846
990a07ab 3847 memcpy (value_contents_raw (val),
0fd88904 3848 value_contents (arg1), TYPE_LENGTH (real_type));
990a07ab 3849 memcpy (value_contents_raw (val) + TYPE_LENGTH (real_type),
0fd88904 3850 value_contents (arg2), TYPE_LENGTH (real_type));
c906108c
SS
3851 return val;
3852}
3853
ac3eeb49 3854/* Cast a value into the appropriate complex data type. */
c906108c 3855
f23631e4
AC
3856static struct value *
3857cast_into_complex (struct type *type, struct value *val)
c906108c
SS
3858{
3859 struct type *real_type = TYPE_TARGET_TYPE (type);
ac3eeb49 3860
df407dfe 3861 if (TYPE_CODE (value_type (val)) == TYPE_CODE_COMPLEX)
c906108c 3862 {
df407dfe 3863 struct type *val_real_type = TYPE_TARGET_TYPE (value_type (val));
f23631e4
AC
3864 struct value *re_val = allocate_value (val_real_type);
3865 struct value *im_val = allocate_value (val_real_type);
c906108c 3866
990a07ab 3867 memcpy (value_contents_raw (re_val),
0fd88904 3868 value_contents (val), TYPE_LENGTH (val_real_type));
990a07ab 3869 memcpy (value_contents_raw (im_val),
0fd88904 3870 value_contents (val) + TYPE_LENGTH (val_real_type),
c5aa993b 3871 TYPE_LENGTH (val_real_type));
c906108c
SS
3872
3873 return value_literal_complex (re_val, im_val, type);
3874 }
df407dfe
AC
3875 else if (TYPE_CODE (value_type (val)) == TYPE_CODE_FLT
3876 || TYPE_CODE (value_type (val)) == TYPE_CODE_INT)
ac3eeb49
MS
3877 return value_literal_complex (val,
3878 value_zero (real_type, not_lval),
3879 type);
c906108c 3880 else
8a3fe4f8 3881 error (_("cannot cast non-number to complex"));
c906108c
SS
3882}
3883
3884void
fba45db2 3885_initialize_valops (void)
c906108c 3886{
5bf193a2
AC
3887 add_setshow_boolean_cmd ("overload-resolution", class_support,
3888 &overload_resolution, _("\
3889Set overload resolution in evaluating C++ functions."), _("\
ac3eeb49
MS
3890Show overload resolution in evaluating C++ functions."),
3891 NULL, NULL,
920d2a44 3892 show_overload_resolution,
5bf193a2 3893 &setlist, &showlist);
c906108c 3894 overload_resolution = 1;
c906108c 3895}
This page took 1.91701 seconds and 4 git commands to generate.