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