compiler: A type conversion of a constant is not always a constant.

From-SVN: r203332
This commit is contained in:
Ian Lance Taylor 2013-10-10 00:04:23 +00:00
parent 215552adac
commit e7d9342c7b

View File

@ -3055,8 +3055,7 @@ class Type_conversion_expression : public Expression
do_lower(Gogo*, Named_object*, Statement_inserter*, int);
bool
do_is_constant() const
{ return this->expr_->is_constant(); }
do_is_constant() const;
bool
do_numeric_constant_value(Numeric_constant*) const;
@ -3198,6 +3197,27 @@ Type_conversion_expression::do_lower(Gogo*, Named_object*,
return this;
}
// Return whether a type conversion is a constant.
bool
Type_conversion_expression::do_is_constant() const
{
if (!this->expr_->is_constant())
return false;
// A conversion to a type that may not be used as a constant is not
// a constant. For example, []byte(nil).
Type* type = this->type_;
if (type->integer_type() == NULL
&& type->float_type() == NULL
&& type->complex_type() == NULL
&& !type->is_boolean_type()
&& !type->is_string_type())
return false;
return true;
}
// Return the constant numeric value if there is one.
bool