aboutsummaryrefslogtreecommitdiff
path: root/gcc/varasm.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/varasm.c')
-rw-r--r--gcc/varasm.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/varasm.c b/gcc/varasm.c
index d0f7afc..a258c9e 100644
--- a/gcc/varasm.c
+++ b/gcc/varasm.c
@@ -3880,8 +3880,9 @@ output_constant (tree exp, unsigned HOST_WIDE_INT size, unsigned int align)
HOST_WIDE_INT type_size = int_size_in_bytes (TREE_TYPE (exp));
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. */
- if (type_size != op_size)
+ /* 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)
internal_error ("no-op convert from %wd to %wd bytes in initializer",
op_size, type_size);