From 138dbe05f4ede43239ea8959f6eab72f8bbc3674 Mon Sep 17 00:00:00 2001 From: ian Date: Fri, 16 Nov 2012 16:30:35 +0000 Subject: [PATCH] compiler: don't remove floating point conversion of typed constant git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193565 138bc75d-0d04-0410-961f-82ee72b054a4 --- 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 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); } } -- 2.7.4