This patch fixes the Go frontend to issue an error for non-int arguments to make. This implements a requirement of the language spec. While we're here fix the value returned by the type method of a builtin call expression to make, although this doesn't seem to make any difference anywhere since we lower this to a runtime call before the determine_types pass anyhow. There is already a test for this error in the master repository: test/fixedbugs/issue16949.go. It just hasn't made it into the gccgo testsuite yet. This fixes https://golang.org/issue/16949. Bootstrapped and ran Go testsuite on x86_64-pc-linux-gnu. Committed to mainline.
Ian
Index: gcc/go/gofrontend/MERGE =================================================================== --- gcc/go/gofrontend/MERGE (revision 257375) +++ gcc/go/gofrontend/MERGE (working copy) @@ -1,4 +1,4 @@ -0c8c4fca4b52bc2323561a432436af5343e0f7b4 +312af623f48633989e9eb6e559ede84a23998ece The first line of this file holds the git revision number of the last merge done from the gofrontend repository. Index: gcc/go/gofrontend/expressions.cc =================================================================== --- gcc/go/gofrontend/expressions.cc (revision 257357) +++ gcc/go/gofrontend/expressions.cc (working copy) @@ -7497,6 +7497,11 @@ Builtin_call_expression::lower_make(Stat { len_arg = *parg; len_arg->determine_type(&int_context); + if (len_arg->type()->integer_type() == NULL) + { + go_error_at(len_arg->location(), "non-integer len argument in make"); + return Expression::make_error(this->location()); + } if (!this->check_int_value(len_arg, true, &len_small)) return Expression::make_error(this->location()); ++parg; @@ -7512,6 +7517,11 @@ Builtin_call_expression::lower_make(Stat { cap_arg = *parg; cap_arg->determine_type(&int_context); + if (cap_arg->type()->integer_type() == NULL) + { + go_error_at(cap_arg->location(), "non-integer cap argument in make"); + return Expression::make_error(this->location()); + } if (!this->check_int_value(cap_arg, false, &cap_small)) return Expression::make_error(this->location()); @@ -8306,7 +8316,6 @@ Builtin_call_expression::do_type() return Type::make_error_type(); case BUILTIN_NEW: - case BUILTIN_MAKE: { const Expression_list* args = this->args(); if (args == NULL || args->empty()) @@ -8314,6 +8323,14 @@ Builtin_call_expression::do_type() return Type::make_pointer_type(args->front()->type()); } + case BUILTIN_MAKE: + { + const Expression_list* args = this->args(); + if (args == NULL || args->empty()) + return Type::make_error_type(); + return args->front()->type(); + } + case BUILTIN_CAP: case BUILTIN_COPY: case BUILTIN_LEN: