OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

compiler: Better warning for switch on non-comparable type. 

From-SVN: r191684
This commit is contained in:
Ian Lance Taylor 2012-09-24 22:21:58 +00:00
parent 0fe5130d6b
commit e136ce0b2b
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/go/gofrontend/statements.cc
View File

@ -3846,6 +3846,16 @@ Switch_statement::do_lower(Gogo*, Named_object*, Block* enclosing,
return new Constant_switch_statement(this->val_, this->clauses_,
this->break_label_, loc);
if (this->val_ != NULL
&& !this->val_->type()->is_comparable()
&& !Type::are_compatible_for_comparison(true, this->val_->type(),
Type::make_nil_type(), NULL))
{
error_at(this->val_->location(),
"cannot switch on value whose type that may not be compared");
return Statement::make_error_statement(loc);
}
Block* b = new Block(enclosing, loc);
if (this->clauses_->empty())