+2005-09-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * varasm.c (output_constant): Do not abort on conversions to union
+ types between different sizes.
+
2005-09-18 Richard Guenther <rguenther@suse.de>
PR middle-end/23944
HOST_WIDE_INT op_size = int_size_in_bytes (TREE_TYPE (TREE_OPERAND (exp, 0)));
/* Make sure eliminating the conversion is really a no-op, except with
- VIEW_CONVERT_EXPR to allow for wild Ada unchecked conversions. */
- if (type_size != op_size && TREE_CODE (exp) != VIEW_CONVERT_EXPR)
+ VIEW_CONVERT_EXPRs to allow for wild Ada unchecked conversions and
+ union types to allow for Ada unchecked unions. */
+ if (type_size != op_size
+ && TREE_CODE (exp) != VIEW_CONVERT_EXPR
+ && TREE_CODE (TREE_TYPE (exp)) != UNION_TYPE)
internal_error ("no-op convert from %wd to %wd bytes in initializer",
op_size, type_size);