1 /* Language-level data type conversion for GNU C++.
2 Copyright (C) 1987, 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
4 Hacked by Michael Tiemann (tiemann@cygnus.com)
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to
20 the Free Software Foundation, 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
24 /* This file contains the functions for converting C++ expressions
25 to different data types. The only entry point is `convert'.
26 Every language front end must have a `convert' function
27 but what kind of conversions it does will depend on the language. */
31 #include "coretypes.h"
40 static tree
cp_convert_to_pointer (tree
, tree
, bool);
41 static tree
convert_to_pointer_force (tree
, tree
);
42 static tree
build_up_reference (tree
, tree
, int, tree
);
43 static void warn_ref_binding (tree
, tree
, tree
);
45 /* Change of width--truncation and extension of integers or reals--
46 is represented with NOP_EXPR. Proper functioning of many things
47 assumes that no other conversions can be NOP_EXPRs.
49 Conversion between integer and pointer is represented with CONVERT_EXPR.
50 Converting integer to real uses FLOAT_EXPR
51 and real to integer uses FIX_TRUNC_EXPR.
53 Here is a list of all the functions that assume that widening and
54 narrowing is always done with a NOP_EXPR:
55 In convert.c, convert_to_integer.
56 In c-typeck.c, build_binary_op_nodefault (boolean ops),
57 and c_common_truthvalue_conversion.
58 In expr.c: expand_expr, for operands of a MULT_EXPR.
59 In fold-const.c: fold.
60 In tree.c: get_narrower and get_unwidened.
62 C++: in multiple-inheritance, converting between pointers may involve
63 adjusting them by a delta stored within the class definition. */
65 /* Subroutines of `convert'. */
67 /* if converting pointer to pointer
68 if dealing with classes, check for derived->base or vice versa
69 else if dealing with method pointers, delegate
71 else if converting class, pass off to build_type_conversion
72 else try C-style pointer conversion. If FORCE is true then allow
73 conversions via virtual bases (these are permitted by reinterpret_cast,
74 but not static_cast). */
77 cp_convert_to_pointer (tree type
, tree expr
, bool force
)
79 tree intype
= TREE_TYPE (expr
);
82 if (intype
== error_mark_node
)
83 return error_mark_node
;
85 if (IS_AGGR_TYPE (intype
))
87 intype
= complete_type (intype
);
88 if (!COMPLETE_TYPE_P (intype
))
90 error ("can't convert from incomplete type `%T' to `%T'",
92 return error_mark_node
;
95 rval
= build_type_conversion (type
, expr
);
98 if (rval
== error_mark_node
)
99 error ("conversion of `%E' from `%T' to `%T' is ambiguous",
105 /* Handle anachronistic conversions from (::*)() to cv void* or (*)(). */
106 if (TREE_CODE (type
) == POINTER_TYPE
107 && (TREE_CODE (TREE_TYPE (type
)) == FUNCTION_TYPE
108 || VOID_TYPE_P (TREE_TYPE (type
))))
110 /* Allow an implicit this pointer for pointer to member
112 if (TYPE_PTRMEMFUNC_P (intype
))
114 if (pedantic
|| warn_pmf2ptr
)
115 pedwarn ("converting from `%T' to `%T'", intype
, type
);
116 if (TREE_CODE (expr
) == PTRMEM_CST
)
117 expr
= build_address (PTRMEM_CST_MEMBER (expr
));
120 tree decl
= maybe_dummy_object (TYPE_PTRMEM_CLASS_TYPE (intype
),
122 decl
= build_address (decl
);
123 expr
= get_member_function_from_ptrfunc (&decl
, expr
);
126 else if (TREE_CODE (TREE_TYPE (expr
)) == METHOD_TYPE
)
128 if (pedantic
|| warn_pmf2ptr
)
129 pedwarn ("converting from `%T' to `%T'", intype
, type
);
130 expr
= build_addr_func (expr
);
132 if (TREE_CODE (TREE_TYPE (expr
)) == POINTER_TYPE
)
133 return build_nop (type
, expr
);
134 intype
= TREE_TYPE (expr
);
137 if (expr
== error_mark_node
)
138 return error_mark_node
;
140 form
= TREE_CODE (intype
);
142 if (POINTER_TYPE_P (intype
))
144 intype
= TYPE_MAIN_VARIANT (intype
);
146 if (TYPE_MAIN_VARIANT (type
) != intype
147 && TREE_CODE (type
) == POINTER_TYPE
148 && TREE_CODE (TREE_TYPE (type
)) == RECORD_TYPE
149 && IS_AGGR_TYPE (TREE_TYPE (type
))
150 && IS_AGGR_TYPE (TREE_TYPE (intype
))
151 && TREE_CODE (TREE_TYPE (intype
)) == RECORD_TYPE
)
153 enum tree_code code
= PLUS_EXPR
;
159 intype_class
= TREE_TYPE (intype
);
160 type_class
= TREE_TYPE (type
);
162 same_p
= same_type_p (TYPE_MAIN_VARIANT (intype_class
),
163 TYPE_MAIN_VARIANT (type_class
));
165 /* Try derived to base conversion. */
167 binfo
= lookup_base (intype_class
, type_class
, ba_check
, NULL
);
168 if (!same_p
&& !binfo
)
170 /* Try base to derived conversion. */
171 binfo
= lookup_base (type_class
, intype_class
, ba_check
, NULL
);
174 if (binfo
== error_mark_node
)
175 return error_mark_node
;
179 expr
= build_base_path (code
, expr
, binfo
, 0);
180 /* Add any qualifier conversions. */
181 return build_nop (type
, expr
);
185 if (TYPE_PTRMEMFUNC_P (type
))
187 error ("cannot convert `%E' from type `%T' to type `%T'",
189 return error_mark_node
;
192 return build_nop (type
, expr
);
194 else if (TYPE_PTRMEM_P (type
) && TYPE_PTRMEM_P (intype
))
199 enum tree_code code
= PLUS_EXPR
;
202 b1
= TYPE_PTRMEM_CLASS_TYPE (type
);
203 b2
= TYPE_PTRMEM_CLASS_TYPE (intype
);
204 binfo
= lookup_base (b1
, b2
, ba_check
, &bk
);
207 binfo
= lookup_base (b2
, b1
, ba_check
, &bk
);
210 if (binfo
== error_mark_node
)
211 return error_mark_node
;
213 if (bk
== bk_via_virtual
)
216 warning ("pointer to member cast from `%T' to `%T' is via virtual base",
220 error ("pointer to member cast from `%T' to `%T' is via virtual base",
222 return error_mark_node
;
224 /* This is a reinterpret cast, whose result is unspecified.
225 We choose to do nothing. */
226 return build1 (NOP_EXPR
, type
, expr
);
229 if (TREE_CODE (expr
) == PTRMEM_CST
)
230 expr
= cplus_expand_constant (expr
);
232 if (binfo
&& !integer_zerop (BINFO_OFFSET (binfo
)))
233 expr
= size_binop (code
,
234 build_nop (sizetype
, expr
),
235 BINFO_OFFSET (binfo
));
236 return build_nop (type
, expr
);
238 else if (TYPE_PTRMEMFUNC_P (type
) && TYPE_PTRMEMFUNC_P (intype
))
239 return build_ptrmemfunc (TYPE_PTRMEMFUNC_FN_TYPE (type
), expr
, 0);
240 else if (TYPE_PTRMEMFUNC_P (intype
))
244 if (TREE_CODE (expr
) == PTRMEM_CST
)
245 return cp_convert_to_pointer (type
,
246 PTRMEM_CST_MEMBER (expr
),
248 else if (TREE_CODE (expr
) == OFFSET_REF
)
250 tree object
= TREE_OPERAND (expr
, 0);
251 return get_member_function_from_ptrfunc (&object
,
252 TREE_OPERAND (expr
, 1));
255 error ("cannot convert `%E' from type `%T' to type `%T'",
257 return error_mark_node
;
260 if (integer_zerop (expr
))
262 if (TYPE_PTRMEMFUNC_P (type
))
263 return build_ptrmemfunc (TYPE_PTRMEMFUNC_FN_TYPE (type
), expr
, 0);
265 if (TYPE_PTRMEM_P (type
))
266 /* A NULL pointer-to-member is represented by -1, not by
268 expr
= build_int_2 (-1, -1);
270 expr
= build_int_2 (0, 0);
271 TREE_TYPE (expr
) = type
;
272 /* Fix up the representation of -1 if appropriate. */
273 force_fit_type (expr
, 0);
276 else if (TYPE_PTR_TO_MEMBER_P (type
) && INTEGRAL_CODE_P (form
))
278 error ("invalid conversion from '%T' to '%T'", intype
, type
);
279 return error_mark_node
;
282 if (INTEGRAL_CODE_P (form
))
284 if (TYPE_PRECISION (intype
) == POINTER_SIZE
)
285 return build1 (CONVERT_EXPR
, type
, expr
);
286 expr
= cp_convert (c_common_type_for_size (POINTER_SIZE
, 0), expr
);
287 /* Modes may be different but sizes should be the same. */
288 if (GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (expr
)))
289 != GET_MODE_SIZE (TYPE_MODE (type
)))
290 /* There is supposed to be some integral type
291 that is the same width as a pointer. */
293 return convert_to_pointer (type
, expr
);
296 if (type_unknown_p (expr
))
297 return instantiate_type (type
, expr
, tf_error
| tf_warning
);
299 error ("cannot convert `%E' from type `%T' to type `%T'",
301 return error_mark_node
;
304 /* Like convert, except permit conversions to take place which
305 are not normally allowed due to access restrictions
306 (such as conversion from sub-type to private super-type). */
309 convert_to_pointer_force (tree type
, tree expr
)
311 tree intype
= TREE_TYPE (expr
);
312 enum tree_code form
= TREE_CODE (intype
);
314 if (form
== POINTER_TYPE
)
316 intype
= TYPE_MAIN_VARIANT (intype
);
318 if (TYPE_MAIN_VARIANT (type
) != intype
319 && TREE_CODE (TREE_TYPE (type
)) == RECORD_TYPE
320 && IS_AGGR_TYPE (TREE_TYPE (type
))
321 && IS_AGGR_TYPE (TREE_TYPE (intype
))
322 && TREE_CODE (TREE_TYPE (intype
)) == RECORD_TYPE
)
324 enum tree_code code
= PLUS_EXPR
;
327 binfo
= lookup_base (TREE_TYPE (intype
), TREE_TYPE (type
),
331 binfo
= lookup_base (TREE_TYPE (type
), TREE_TYPE (intype
),
335 if (binfo
== error_mark_node
)
336 return error_mark_node
;
339 expr
= build_base_path (code
, expr
, binfo
, 0);
340 if (expr
== error_mark_node
)
341 return error_mark_node
;
342 /* Add any qualifier conversions. */
343 if (!same_type_p (TREE_TYPE (TREE_TYPE (expr
)),
345 expr
= build_nop (type
, expr
);
351 return cp_convert_to_pointer (type
, expr
, true);
354 /* We are passing something to a function which requires a reference.
355 The type we are interested in is in TYPE. The initial
356 value we have to begin with is in ARG.
358 FLAGS controls how we manage access checking.
359 DIRECT_BIND in FLAGS controls how any temporaries are generated.
360 If DIRECT_BIND is set, DECL is the reference we're binding to. */
363 build_up_reference (tree type
, tree arg
, int flags
, tree decl
)
366 tree argtype
= TREE_TYPE (arg
);
367 tree target_type
= TREE_TYPE (type
);
369 my_friendly_assert (TREE_CODE (type
) == REFERENCE_TYPE
, 187);
371 if ((flags
& DIRECT_BIND
) && ! real_lvalue_p (arg
))
373 /* Create a new temporary variable. We can't just use a TARGET_EXPR
374 here because it needs to live as long as DECL. */
377 arg
= make_temporary_var_for_ref_to_temp (decl
, TREE_TYPE (arg
));
379 /* Process the initializer for the declaration. */
380 DECL_INITIAL (arg
) = targ
;
381 cp_finish_decl (arg
, targ
, NULL_TREE
,
382 LOOKUP_ONLYCONVERTING
|DIRECT_BIND
);
384 else if (!(flags
& DIRECT_BIND
) && ! lvalue_p (arg
))
385 return get_target_expr (arg
);
387 /* If we had a way to wrap this up, and say, if we ever needed its
388 address, transform all occurrences of the register, into a memory
389 reference we could win better. */
390 rval
= build_unary_op (ADDR_EXPR
, arg
, 1);
391 if (rval
== error_mark_node
)
392 return error_mark_node
;
394 if ((flags
& LOOKUP_PROTECT
)
395 && TYPE_MAIN_VARIANT (argtype
) != TYPE_MAIN_VARIANT (target_type
)
396 && IS_AGGR_TYPE (argtype
)
397 && IS_AGGR_TYPE (target_type
))
399 /* We go through lookup_base for the access control. */
400 tree binfo
= lookup_base (argtype
, target_type
, ba_check
, NULL
);
401 if (binfo
== error_mark_node
)
402 return error_mark_node
;
403 if (binfo
== NULL_TREE
)
404 return error_not_base_type (target_type
, argtype
);
405 rval
= build_base_path (PLUS_EXPR
, rval
, binfo
, 1);
409 = convert_to_pointer_force (build_pointer_type (target_type
), rval
);
410 return build_nop (type
, rval
);
413 /* Subroutine of convert_to_reference. REFTYPE is the target reference type.
414 INTYPE is the original rvalue type and DECL is an optional _DECL node
417 [dcl.init.ref] says that if an rvalue is used to
418 initialize a reference, then the reference must be to a
419 non-volatile const type. */
422 warn_ref_binding (tree reftype
, tree intype
, tree decl
)
424 tree ttl
= TREE_TYPE (reftype
);
426 if (!CP_TYPE_CONST_NON_VOLATILE_P (ttl
))
430 if (CP_TYPE_VOLATILE_P (ttl
) && decl
)
431 msg
= "initialization of volatile reference type `%#T' from rvalue of type `%T'";
432 else if (CP_TYPE_VOLATILE_P (ttl
))
433 msg
= "conversion to volatile reference type `%#T' from rvalue of type `%T'";
435 msg
= "initialization of non-const reference type `%#T' from rvalue of type `%T'";
437 msg
= "conversion to non-const reference type `%#T' from rvalue of type `%T'";
439 pedwarn (msg
, reftype
, intype
);
443 /* For C++: Only need to do one-level references, but cannot
444 get tripped up on signed/unsigned differences.
446 DECL is either NULL_TREE or the _DECL node for a reference that is being
447 initialized. It can be error_mark_node if we don't know the _DECL but
448 we know it's an initialization. */
451 convert_to_reference (tree reftype
, tree expr
, int convtype
,
452 int flags
, tree decl
)
454 tree type
= TYPE_MAIN_VARIANT (TREE_TYPE (reftype
));
456 tree rval
= NULL_TREE
;
457 tree rval_as_conversion
= NULL_TREE
;
458 bool can_convert_intype_to_type
;
460 if (TREE_CODE (type
) == FUNCTION_TYPE
461 && TREE_TYPE (expr
) == unknown_type_node
)
462 expr
= instantiate_type (type
, expr
,
463 (flags
& LOOKUP_COMPLAIN
)
464 ? tf_error
| tf_warning
: tf_none
);
466 expr
= convert_from_reference (expr
);
468 if (expr
== error_mark_node
)
469 return error_mark_node
;
471 intype
= TREE_TYPE (expr
);
473 my_friendly_assert (TREE_CODE (intype
) != REFERENCE_TYPE
, 364);
475 intype
= TYPE_MAIN_VARIANT (intype
);
477 can_convert_intype_to_type
= can_convert (type
, intype
);
478 if (!can_convert_intype_to_type
479 && (convtype
& CONV_IMPLICIT
) && IS_AGGR_TYPE (intype
)
480 && ! (flags
& LOOKUP_NO_CONVERSION
))
482 /* Look for a user-defined conversion to lvalue that we can use. */
485 = build_type_conversion (reftype
, expr
);
487 if (rval_as_conversion
&& rval_as_conversion
!= error_mark_node
488 && real_lvalue_p (rval_as_conversion
))
490 expr
= rval_as_conversion
;
491 rval_as_conversion
= NULL_TREE
;
493 can_convert_intype_to_type
= 1;
497 if (((convtype
& CONV_STATIC
) && can_convert (intype
, type
))
498 || ((convtype
& CONV_IMPLICIT
) && can_convert_intype_to_type
))
500 if (flags
& LOOKUP_COMPLAIN
)
502 tree ttl
= TREE_TYPE (reftype
);
503 tree ttr
= lvalue_type (expr
);
505 if (! real_lvalue_p (expr
))
506 warn_ref_binding (reftype
, intype
, decl
);
508 if (! (convtype
& CONV_CONST
)
509 && !at_least_as_qualified_p (ttl
, ttr
))
510 pedwarn ("conversion from `%T' to `%T' discards qualifiers",
514 return build_up_reference (reftype
, expr
, flags
, decl
);
516 else if ((convtype
& CONV_REINTERPRET
) && lvalue_p (expr
))
518 /* When casting an lvalue to a reference type, just convert into
519 a pointer to the new type and deference it. This is allowed
520 by San Diego WP section 5.2.9 paragraph 12, though perhaps it
521 should be done directly (jason). (int &)ri ---> *(int*)&ri */
523 /* B* bp; A& ar = (A&)bp; is valid, but it's probably not what they
525 if (TREE_CODE (intype
) == POINTER_TYPE
526 && (comptypes (TREE_TYPE (intype
), type
,
527 COMPARE_BASE
| COMPARE_DERIVED
)))
528 warning ("casting `%T' to `%T' does not dereference pointer",
531 rval
= build_unary_op (ADDR_EXPR
, expr
, 0);
532 if (rval
!= error_mark_node
)
533 rval
= convert_force (build_pointer_type (TREE_TYPE (reftype
)),
535 if (rval
!= error_mark_node
)
536 rval
= build1 (NOP_EXPR
, reftype
, rval
);
540 rval
= convert_for_initialization (NULL_TREE
, type
, expr
, flags
,
542 if (rval
== NULL_TREE
|| rval
== error_mark_node
)
544 warn_ref_binding (reftype
, intype
, decl
);
545 rval
= build_up_reference (reftype
, rval
, flags
, decl
);
550 /* If we found a way to convert earlier, then use it. */
554 if (flags
& LOOKUP_COMPLAIN
)
555 error ("cannot convert type `%T' to type `%T'", intype
, reftype
);
557 if (flags
& LOOKUP_SPECULATIVELY
)
560 return error_mark_node
;
563 /* We are using a reference VAL for its value. Bash that reference all the
564 way down to its lowest form. */
567 convert_from_reference (tree val
)
569 if (TREE_CODE (TREE_TYPE (val
)) == REFERENCE_TYPE
)
570 return build_indirect_ref (val
, NULL
);
574 /* Implicitly convert the lvalue EXPR to another lvalue of type TOTYPE,
575 preserving cv-qualification. */
578 convert_lvalue (tree totype
, tree expr
)
580 totype
= cp_build_qualified_type (totype
, TYPE_QUALS (TREE_TYPE (expr
)));
581 totype
= build_reference_type (totype
);
582 expr
= convert_to_reference (totype
, expr
, CONV_IMPLICIT
, LOOKUP_NORMAL
,
584 return convert_from_reference (expr
);
587 /* Really perform an lvalue-to-rvalue conversion, including copying an
588 argument of class type into a temporary. */
591 force_rvalue (tree expr
)
593 if (IS_AGGR_TYPE (TREE_TYPE (expr
)) && TREE_CODE (expr
) != TARGET_EXPR
)
594 expr
= ocp_convert (TREE_TYPE (expr
), expr
,
595 CONV_IMPLICIT
|CONV_FORCE_TEMP
, LOOKUP_NORMAL
);
597 expr
= decay_conversion (expr
);
602 /* C++ conversions, preference to static cast conversions. */
605 cp_convert (tree type
, tree expr
)
607 return ocp_convert (type
, expr
, CONV_OLD_CONVERT
, LOOKUP_NORMAL
);
612 FLAGS indicates how we should behave. */
615 ocp_convert (tree type
, tree expr
, int convtype
, int flags
)
618 enum tree_code code
= TREE_CODE (type
);
620 if (error_operand_p (e
) || type
== error_mark_node
)
621 return error_mark_node
;
623 complete_type (type
);
624 complete_type (TREE_TYPE (expr
));
626 e
= decl_constant_value (e
);
628 if (IS_AGGR_TYPE (type
) && (convtype
& CONV_FORCE_TEMP
)
629 /* Some internal structures (vtable_entry_type, sigtbl_ptr_type)
630 don't go through finish_struct, so they don't have the synthesized
631 constructors. So don't force a temporary. */
632 && TYPE_HAS_CONSTRUCTOR (type
))
633 /* We need a new temporary; don't take this shortcut. */;
634 else if (TYPE_MAIN_VARIANT (type
) == TYPE_MAIN_VARIANT (TREE_TYPE (e
)))
636 if (same_type_p (type
, TREE_TYPE (e
)))
637 /* The call to fold will not always remove the NOP_EXPR as
638 might be expected, since if one of the types is a typedef;
639 the comparison in fold is just equality of pointers, not a
640 call to comptypes. We don't call fold in this case because
641 that can result in infinite recursion; fold will call
642 convert, which will call ocp_convert, etc. */
644 /* For complex data types, we need to perform componentwise
646 else if (TREE_CODE (type
) == COMPLEX_TYPE
)
647 return fold (convert_to_complex (type
, e
));
648 else if (TREE_CODE (e
) == TARGET_EXPR
)
650 /* Don't build a NOP_EXPR of class type. Instead, change the
651 type of the temporary. Only allow this for cv-qual changes,
653 if (!same_type_p (TYPE_MAIN_VARIANT (TREE_TYPE (e
)),
654 TYPE_MAIN_VARIANT (type
)))
656 TREE_TYPE (e
) = TREE_TYPE (TARGET_EXPR_SLOT (e
)) = type
;
659 else if (TREE_ADDRESSABLE (type
))
660 /* We shouldn't be treating objects of ADDRESSABLE type as rvalues. */
663 return fold (build1 (NOP_EXPR
, type
, e
));
666 if (code
== VOID_TYPE
&& (convtype
& CONV_STATIC
))
668 e
= convert_to_void (e
, /*implicit=*/NULL
);
672 if (INTEGRAL_CODE_P (code
))
674 tree intype
= TREE_TYPE (e
);
675 /* enum = enum, enum = int, enum = float, (enum)pointer are all
677 if (TREE_CODE (type
) == ENUMERAL_TYPE
678 && ((ARITHMETIC_TYPE_P (intype
) && ! (convtype
& CONV_STATIC
))
679 || (TREE_CODE (intype
) == POINTER_TYPE
)))
681 pedwarn ("conversion from `%#T' to `%#T'", intype
, type
);
683 if (flag_pedantic_errors
)
684 return error_mark_node
;
686 if (IS_AGGR_TYPE (intype
))
689 rval
= build_type_conversion (type
, e
);
692 if (flags
& LOOKUP_COMPLAIN
)
693 error ("`%#T' used where a `%T' was expected", intype
, type
);
694 if (flags
& LOOKUP_SPECULATIVELY
)
696 return error_mark_node
;
698 if (code
== BOOLEAN_TYPE
)
699 return cp_truthvalue_conversion (e
);
701 return fold (convert_to_integer (type
, e
));
703 if (POINTER_TYPE_P (type
) || TYPE_PTR_TO_MEMBER_P (type
))
704 return fold (cp_convert_to_pointer (type
, e
, false));
705 if (code
== VECTOR_TYPE
)
706 return fold (convert_to_vector (type
, e
));
707 if (code
== REAL_TYPE
|| code
== COMPLEX_TYPE
)
709 if (IS_AGGR_TYPE (TREE_TYPE (e
)))
712 rval
= build_type_conversion (type
, e
);
716 if (flags
& LOOKUP_COMPLAIN
)
717 error ("`%#T' used where a floating point value was expected",
720 if (code
== REAL_TYPE
)
721 return fold (convert_to_real (type
, e
));
722 else if (code
== COMPLEX_TYPE
)
723 return fold (convert_to_complex (type
, e
));
726 /* New C++ semantics: since assignment is now based on
727 memberwise copying, if the rhs type is derived from the
728 lhs type, then we may still do a conversion. */
729 if (IS_AGGR_TYPE_CODE (code
))
731 tree dtype
= TREE_TYPE (e
);
732 tree ctor
= NULL_TREE
;
734 dtype
= TYPE_MAIN_VARIANT (dtype
);
736 /* Conversion between aggregate types. New C++ semantics allow
737 objects of derived type to be cast to objects of base type.
738 Old semantics only allowed this between pointers.
740 There may be some ambiguity between using a constructor
741 vs. using a type conversion operator when both apply. */
745 if (abstract_virtuals_error (NULL_TREE
, type
))
746 return error_mark_node
;
748 if ((flags
& LOOKUP_ONLYCONVERTING
)
749 && ! (IS_AGGR_TYPE (dtype
) && DERIVED_FROM_P (type
, dtype
)))
750 /* For copy-initialization, first we create a temp of the proper type
751 with a user-defined conversion sequence, then we direct-initialize
752 the target with the temp (see [dcl.init]). */
753 ctor
= build_user_type_conversion (type
, ctor
, flags
);
755 ctor
= build_special_member_call (NULL_TREE
,
756 complete_ctor_identifier
,
757 build_tree_list (NULL_TREE
, ctor
),
758 TYPE_BINFO (type
), flags
);
760 return build_cplus_new (type
, ctor
);
763 if (flags
& LOOKUP_COMPLAIN
)
764 error ("conversion from `%T' to non-scalar type `%T' requested",
765 TREE_TYPE (expr
), type
);
766 if (flags
& LOOKUP_SPECULATIVELY
)
768 return error_mark_node
;
771 /* When an expression is used in a void context, its value is discarded and
772 no lvalue-rvalue and similar conversions happen [expr.static.cast/4,
773 stmt.expr/1, expr.comma/1]. This permits dereferencing an incomplete type
774 in a void context. The C++ standard does not define what an `access' to an
775 object is, but there is reason to believe that it is the lvalue to rvalue
776 conversion -- if it were not, `*&*p = 1' would violate [expr]/4 in that it
777 accesses `*p' not to calculate the value to be stored. But, dcl.type.cv/8
778 indicates that volatile semantics should be the same between C and C++
779 where ever possible. C leaves it implementation defined as to what
780 constitutes an access to a volatile. So, we interpret `*vp' as a read of
781 the volatile object `vp' points to, unless that is an incomplete type. For
782 volatile references we do not do this interpretation, because that would
783 make it impossible to ignore the reference return value from functions. We
784 issue warnings in the confusing cases.
786 IMPLICIT is tells us the context of an implicit void conversion. */
789 convert_to_void (tree expr
, const char *implicit
)
791 if (expr
== error_mark_node
792 || TREE_TYPE (expr
) == error_mark_node
)
793 return error_mark_node
;
794 if (!TREE_TYPE (expr
))
796 if (invalid_nonstatic_memfn_p (expr
))
797 return error_mark_node
;
798 if (TREE_CODE (expr
) == PSEUDO_DTOR_EXPR
)
800 error ("pseudo-destructor is not called");
801 return error_mark_node
;
803 if (VOID_TYPE_P (TREE_TYPE (expr
)))
805 switch (TREE_CODE (expr
))
809 /* The two parts of a cond expr might be separate lvalues. */
810 tree op1
= TREE_OPERAND (expr
,1);
811 tree op2
= TREE_OPERAND (expr
,2);
812 tree new_op1
= convert_to_void
813 (op1
, (implicit
&& !TREE_SIDE_EFFECTS (op2
)
814 ? "second operand of conditional" : NULL
));
815 tree new_op2
= convert_to_void
816 (op2
, (implicit
&& !TREE_SIDE_EFFECTS (op1
)
817 ? "third operand of conditional" : NULL
));
819 expr
= build (COND_EXPR
, TREE_TYPE (new_op1
),
820 TREE_OPERAND (expr
, 0), new_op1
, new_op2
);
826 /* The second part of a compound expr contains the value. */
827 tree op1
= TREE_OPERAND (expr
,1);
828 tree new_op1
= convert_to_void
829 (op1
, (implicit
&& !TREE_NO_UNUSED_WARNING (expr
)
830 ? "right-hand operand of comma" : NULL
));
834 tree t
= build (COMPOUND_EXPR
, TREE_TYPE (new_op1
),
835 TREE_OPERAND (expr
, 0), new_op1
);
842 case NON_LVALUE_EXPR
:
844 /* These have already decayed to rvalue. */
847 case CALL_EXPR
: /* We have a special meaning for volatile void fn(). */
852 tree type
= TREE_TYPE (expr
);
853 int is_reference
= TREE_CODE (TREE_TYPE (TREE_OPERAND (expr
, 0)))
855 int is_volatile
= TYPE_VOLATILE (type
);
856 int is_complete
= COMPLETE_TYPE_P (complete_type (type
));
858 if (is_volatile
&& !is_complete
)
859 warning ("object of incomplete type `%T' will not be accessed in %s",
860 type
, implicit
? implicit
: "void context");
861 else if (is_reference
&& is_volatile
)
862 warning ("object of type `%T' will not be accessed in %s",
863 TREE_TYPE (TREE_OPERAND (expr
, 0)),
864 implicit
? implicit
: "void context");
865 if (is_reference
|| !is_volatile
|| !is_complete
)
866 expr
= TREE_OPERAND (expr
, 0);
873 /* External variables might be incomplete. */
874 tree type
= TREE_TYPE (expr
);
875 int is_complete
= COMPLETE_TYPE_P (complete_type (type
));
877 if (TYPE_VOLATILE (type
) && !is_complete
)
878 warning ("object `%E' of incomplete type `%T' will not be accessed in %s",
879 expr
, type
, implicit
? implicit
: "void context");
888 if (TREE_CODE (probe
) == ADDR_EXPR
)
889 probe
= TREE_OPERAND (expr
, 0);
890 if (type_unknown_p (probe
))
892 /* [over.over] enumerates the places where we can take the address
893 of an overloaded function, and this is not one of them. */
894 pedwarn ("%s cannot resolve address of overloaded function",
895 implicit
? implicit
: "void cast");
896 expr
= void_zero_node
;
898 else if (implicit
&& probe
== expr
&& is_overloaded_fn (probe
))
899 /* Only warn when there is no &. */
900 warning ("%s is a reference, not call, to function `%E'",
904 if (expr
!= error_mark_node
&& !VOID_TYPE_P (TREE_TYPE (expr
)))
906 if (implicit
&& !TREE_SIDE_EFFECTS (expr
) && warn_unused_value
)
907 warning ("%s has no effect", implicit
);
908 expr
= build1 (CONVERT_EXPR
, void_type_node
, expr
);
913 /* Create an expression whose value is that of EXPR,
914 converted to type TYPE. The TREE_TYPE of the value
915 is always TYPE. This function implements all reasonable
916 conversions; callers should filter out those that are
917 not permitted by the language being compiled.
919 Most of this routine is from build_reinterpret_cast.
921 The backend cannot call cp_convert (what was convert) because
922 conversions to/from basetypes may involve memory references
923 (vbases) and adding or subtracting small values (multiple
924 inheritance), but it calls convert from the constant folding code
925 on subtrees of already built trees after it has ripped them apart.
927 Also, if we ever support range variables, we'll probably also have to
928 do a little bit more work. */
931 convert (tree type
, tree expr
)
935 if (type
== error_mark_node
|| expr
== error_mark_node
)
936 return error_mark_node
;
938 intype
= TREE_TYPE (expr
);
940 if (POINTER_TYPE_P (type
) && POINTER_TYPE_P (intype
))
942 expr
= decl_constant_value (expr
);
943 return fold (build1 (NOP_EXPR
, type
, expr
));
946 return ocp_convert (type
, expr
, CONV_OLD_CONVERT
,
947 LOOKUP_NORMAL
|LOOKUP_NO_CONVERSION
);
950 /* Like cp_convert, except permit conversions to take place which
951 are not normally allowed due to access restrictions
952 (such as conversion from sub-type to private super-type). */
955 convert_force (tree type
, tree expr
, int convtype
)
958 enum tree_code code
= TREE_CODE (type
);
960 if (code
== REFERENCE_TYPE
)
961 return fold (convert_to_reference (type
, e
, CONV_C_CAST
, LOOKUP_COMPLAIN
,
963 else if (TREE_CODE (TREE_TYPE (e
)) == REFERENCE_TYPE
)
964 e
= convert_from_reference (e
);
966 if (code
== POINTER_TYPE
)
967 return fold (convert_to_pointer_force (type
, e
));
969 /* From typeck.c convert_for_assignment */
970 if (((TREE_CODE (TREE_TYPE (e
)) == POINTER_TYPE
&& TREE_CODE (e
) == ADDR_EXPR
971 && TREE_CODE (TREE_TYPE (e
)) == POINTER_TYPE
972 && TREE_CODE (TREE_TYPE (TREE_TYPE (e
))) == METHOD_TYPE
)
974 || TYPE_PTRMEMFUNC_P (TREE_TYPE (e
)))
975 && TYPE_PTRMEMFUNC_P (type
))
977 /* compatible pointer to member functions. */
978 return build_ptrmemfunc (TYPE_PTRMEMFUNC_FN_TYPE (type
), e
, 1);
981 return ocp_convert (type
, e
, CONV_C_CAST
|convtype
, LOOKUP_NORMAL
);
984 /* Convert an aggregate EXPR to type XTYPE. If a conversion
985 exists, return the attempted conversion. This may
986 return ERROR_MARK_NODE if the conversion is not
987 allowed (references private members, etc).
988 If no conversion exists, NULL_TREE is returned.
990 FIXME: Ambiguity checking is wrong. Should choose one by the implicit
991 object parameter, or by the second standard conversion sequence if
992 that doesn't do it. This will probably wait for an overloading rewrite.
996 build_type_conversion (tree xtype
, tree expr
)
998 /* C++: check to see if we can convert this aggregate type
999 into the required type. */
1000 return build_user_type_conversion (xtype
, expr
, LOOKUP_NORMAL
);
1003 /* Convert the given EXPR to one of a group of types suitable for use in an
1004 expression. DESIRES is a combination of various WANT_* flags (q.v.)
1005 which indicates which types are suitable. If COMPLAIN is true, complain
1006 about ambiguity; otherwise, the caller will deal with it. */
1009 build_expr_type_conversion (int desires
, tree expr
, bool complain
)
1011 tree basetype
= TREE_TYPE (expr
);
1012 tree conv
= NULL_TREE
;
1013 tree winner
= NULL_TREE
;
1015 if (expr
== null_node
1016 && (desires
& WANT_INT
)
1017 && !(desires
& WANT_NULL
))
1018 warning ("converting NULL to non-pointer type");
1020 expr
= convert_from_reference (expr
);
1021 basetype
= TREE_TYPE (expr
);
1023 if (basetype
== error_mark_node
)
1024 return error_mark_node
;
1026 if (! IS_AGGR_TYPE (basetype
))
1027 switch (TREE_CODE (basetype
))
1030 if ((desires
& WANT_NULL
) && null_ptr_cst_p (expr
))
1032 /* else fall through... */
1036 return (desires
& WANT_INT
) ? expr
: NULL_TREE
;
1038 return (desires
& WANT_ENUM
) ? expr
: NULL_TREE
;
1040 return (desires
& WANT_FLOAT
) ? expr
: NULL_TREE
;
1042 return (desires
& WANT_POINTER
) ? expr
: NULL_TREE
;
1046 return (desires
& WANT_POINTER
) ? decay_conversion (expr
)
1052 /* The code for conversions from class type is currently only used for
1053 delete expressions. Other expressions are handled by build_new_op. */
1054 if (!complete_type_or_else (basetype
, expr
))
1055 return error_mark_node
;
1056 if (!TYPE_HAS_CONVERSION (basetype
))
1059 for (conv
= lookup_conversions (basetype
); conv
; conv
= TREE_CHAIN (conv
))
1063 tree cand
= TREE_VALUE (conv
);
1065 if (winner
&& winner
== cand
)
1068 candidate
= non_reference (TREE_TYPE (TREE_TYPE (cand
)));
1070 switch (TREE_CODE (candidate
))
1074 win
= (desires
& WANT_INT
); break;
1076 win
= (desires
& WANT_ENUM
); break;
1078 win
= (desires
& WANT_FLOAT
); break;
1080 win
= (desires
& WANT_POINTER
); break;
1092 error ("ambiguous default type conversion from `%T'",
1094 error (" candidate conversions include `%D' and `%D'",
1097 return error_mark_node
;
1106 tree type
= non_reference (TREE_TYPE (TREE_TYPE (winner
)));
1107 return build_user_type_conversion (type
, expr
, LOOKUP_NORMAL
);
1113 /* Implements integral promotion (4.1) and float->double promotion. */
1116 type_promotes_to (tree type
)
1118 if (type
== error_mark_node
)
1119 return error_mark_node
;
1121 type
= TYPE_MAIN_VARIANT (type
);
1123 /* bool always promotes to int (not unsigned), even if it's the same
1125 if (type
== boolean_type_node
)
1126 type
= integer_type_node
;
1128 /* Normally convert enums to int, but convert wide enums to something
1130 else if (TREE_CODE (type
) == ENUMERAL_TYPE
1131 || type
== wchar_type_node
)
1133 int precision
= MAX (TYPE_PRECISION (type
),
1134 TYPE_PRECISION (integer_type_node
));
1135 tree totype
= c_common_type_for_size (precision
, 0);
1136 if (TREE_UNSIGNED (type
)
1137 && ! int_fits_type_p (TYPE_MAX_VALUE (type
), totype
))
1138 type
= c_common_type_for_size (precision
, 1);
1142 else if (c_promoting_integer_type_p (type
))
1144 /* Retain unsignedness if really not getting bigger. */
1145 if (TREE_UNSIGNED (type
)
1146 && TYPE_PRECISION (type
) == TYPE_PRECISION (integer_type_node
))
1147 type
= unsigned_type_node
;
1149 type
= integer_type_node
;
1151 else if (type
== float_type_node
)
1152 type
= double_type_node
;
1157 /* The routines below this point are carefully written to conform to
1158 the standard. They use the same terminology, and follow the rules
1159 closely. Although they are used only in pt.c at the moment, they
1160 should presumably be used everywhere in the future. */
1162 /* Attempt to perform qualification conversions on EXPR to convert it
1163 to TYPE. Return the resulting expression, or error_mark_node if
1164 the conversion was impossible. */
1167 perform_qualification_conversions (tree type
, tree expr
)
1171 expr_type
= TREE_TYPE (expr
);
1173 if (TYPE_PTR_P (type
) && TYPE_PTR_P (expr_type
)
1174 && comp_ptr_ttypes (TREE_TYPE (type
), TREE_TYPE (expr_type
)))
1175 return build_nop (type
, expr
);
1176 else if (TYPE_PTR_TO_MEMBER_P (type
)
1177 && TYPE_PTR_TO_MEMBER_P (expr_type
)
1178 && same_type_p (TYPE_PTRMEM_CLASS_TYPE (type
),
1179 TYPE_PTRMEM_CLASS_TYPE (expr_type
))
1180 && comp_ptr_ttypes (TYPE_PTRMEM_POINTED_TO_TYPE (type
),
1181 TYPE_PTRMEM_POINTED_TO_TYPE (expr_type
)))
1182 return build_nop (type
, expr
);
1184 return error_mark_node
;