utils2.c (build_binary_op): Do not use the type of the left operand if...
* gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Do not use the type of the left operand if it pads a self-referential type when the right operand is a constructor. From-SVN: r149116
This commit is contained in:
parent
88f2d0871d
commit
d38944ee9a
|
@ -1,3 +1,9 @@
|
|||
2009-06-30 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Do not use
|
||||
the type of the left operand if it pads a self-referential type when
|
||||
the right operand is a constructor.
|
||||
|
||||
2009-06-18 Olivier Hainque <hainque@adacore.com>
|
||||
|
||||
* system-aix64.ads: New file.
|
||||
|
|
|
@ -697,9 +697,10 @@ build_binary_op (enum tree_code op_code, tree result_type,
|
|||
|
||||
/* If we are copying between padded objects with compatible types, use
|
||||
the padded view of the objects, this is very likely more efficient.
|
||||
Likewise for a padded that is assigned a constructor, in order to
|
||||
avoid putting a VIEW_CONVERT_EXPR on the LHS. But don't do this if
|
||||
we wouldn't have actually copied anything. */
|
||||
Likewise for a padded object that is assigned a constructor, if we
|
||||
can convert the constructor to the inner type, to avoid putting a
|
||||
VIEW_CONVERT_EXPR on the LHS. But don't do so if we wouldn't have
|
||||
actually copied anything. */
|
||||
else if (TREE_CODE (left_type) == RECORD_TYPE
|
||||
&& TYPE_IS_PADDING_P (left_type)
|
||||
&& TREE_CONSTANT (TYPE_SIZE (left_type))
|
||||
|
@ -709,9 +710,11 @@ build_binary_op (enum tree_code op_code, tree result_type,
|
|||
&& TYPE_IS_PADDING_P
|
||||
(TREE_TYPE (TREE_OPERAND (right_operand, 0)))
|
||||
&& gnat_types_compatible_p
|
||||
(left_type,
|
||||
TREE_TYPE (TREE_OPERAND (right_operand, 0))))
|
||||
|| TREE_CODE (right_operand) == CONSTRUCTOR)
|
||||
(left_type,
|
||||
TREE_TYPE (TREE_OPERAND (right_operand, 0))))
|
||||
|| (TREE_CODE (right_operand) == CONSTRUCTOR
|
||||
&& !CONTAINS_PLACEHOLDER_P
|
||||
(DECL_SIZE (TYPE_FIELDS (left_type)))))
|
||||
&& !integer_zerop (TYPE_SIZE (right_type)))
|
||||
operation_type = left_type;
|
||||
|
||||
|
|
Loading…
Reference in New Issue