aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/go/gofrontend/expressions.cc40
1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/go/gofrontend/expressions.cc b/gcc/go/gofrontend/expressions.cc
index 8fe6146..9d3b8f5 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);
}
}