Commit e372156c by Ian Lance Taylor

Don't get confused when mixing different abstract types in binary expr.

From-SVN: r170023
parent a4403164
......@@ -5536,6 +5536,9 @@ Binary_expression::do_determine_type(const Type_context* context)
subcontext.type = tright;
else
subcontext.type = tleft;
if (subcontext.type != NULL && !context->may_be_abstract)
subcontext.type = subcontext.type->make_non_abstract_type();
}
this->left_->determine_type(&subcontext);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment