From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sat, 17 Sep 2005 08:30:23 +0000 (+0000)
Subject: varasm.c (output_constant): Do not abort on VIEW_CONVERT_EXPRs between different... 
X-Git-Tag: misc/cutover-cvs2svn~584
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=69fcfd68cef46eb67983168b59915b51aa559e07;p=thirdparty%2Fgcc.git

varasm.c (output_constant): Do not abort on VIEW_CONVERT_EXPRs between different sizes.

	* varasm.c (output_constant): Do not abort on VIEW_CONVERT_EXPRs
	between different sizes.

From-SVN: r104368
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1ba3fac2d022..91150416660f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-09-17  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* varasm.c (output_constant): Do not abort on VIEW_CONVERT_EXPRs
+	between different sizes.
+
 2005-09-16  Paolo Bonzini  <bonzini@gnu.org>
 
 	PR 23903
diff --git a/gcc/varasm.c b/gcc/varasm.c
index d0f7afc88465..a258c9e66797 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);