From ce1a1562859498a73f74bcc3f008e6a1357ba13a Mon Sep 17 00:00:00 2001
From: Ian Lance Taylor <ian@gcc.gnu.org>
Date: Fri, 16 Nov 2012 16:30:35 +0000
Subject: [PATCH] compiler: don't remove floating point conversion of typed
 constant

From-SVN: r193565
---
 gcc/go/gofrontend/expressions.cc | 40 ++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gcc/go/gofrontend/expressions.cc b/gcc/go/gofrontend/expressions.cc
index 8fe61462aee..9d3b8f56655 100644
--- a/gcc/go/gofrontend/expressions.cc
+++ b/gcc/go/gofrontend/expressions.cc
@@ -2962,6 +2962,46 @@ Type_conversion_expression::do_lower(Gogo*, Named_object*,
 	{
 	  if (!nc.set_type(type, true, location))
 	    return Expression::make_error(location);
+
+	  // Don't simply convert to or from a float or complex type
+	  // with a different size.  That may change the value.
+	  Type* vtype = val->type();
+	  if (vtype->is_abstract())
+	    ;
+	  else if (type->float_type() != NULL)
+	    {
+	      if (vtype->float_type() != NULL)
+		{
+		  if (type->float_type()->bits() != vtype->float_type()->bits())
+		    return this;
+		}
+	      else if (vtype->complex_type() != NULL)
+		{
+		  if (type->float_type()->bits() * 2
+		      != vtype->complex_type()->bits())
+		    return this;
+		}
+	    }
+	  else if (type->complex_type() != NULL)
+	    {
+	      if (vtype->complex_type() != NULL)
+		{
+		  if (type->complex_type()->bits()
+		      != vtype->complex_type()->bits())
+		    return this;
+		}
+	      else if (vtype->float_type() != NULL)
+		{
+		  if (type->complex_type()->bits()
+		      != vtype->float_type()->bits() * 2)
+		    return this;
+		}
+	    }
+	  else if (vtype->float_type() != NULL)
+	    return this;
+	  else if (vtype->complex_type() != NULL)
+	    return this;
+
 	  return nc.expression(location);
 	}
     }
-- 
2.30.2