Commit 615f2892 authored by Russ Cox's avatar Russ Cox

cmd/gc: ensure unique parameter and result names in function types

In addition to fixing the bug, the check is now linear instead of quadratic.

Fixes #4469.

R=ken2
CC=golang-dev
https://golang.org/cl/7773047
parent 09cd13c5
......@@ -225,8 +225,12 @@ declare(Node *n, int ctxt)
if(ctxt == PAUTO)
n->xoffset = 0;
if(s->block == block)
redeclare(s, "in this block");
if(s->block == block) {
// functype will print errors about duplicate function arguments.
// Don't repeat the error here.
if(ctxt != PPARAM && ctxt != PPARAMOUT)
redeclare(s, "in this block");
}
s->block = block;
s->lastlineno = parserline();
......@@ -824,22 +828,24 @@ structfield(Node *n)
return f;
}
static uint32 uniqgen;
static void
checkdupfields(Type *t, char* what)
{
Type* t1;
int lno;
lno = lineno;
for( ; t; t=t->down)
if(t->sym && t->nname && !isblank(t->nname))
for(t1=t->down; t1; t1=t1->down)
if(t1->sym == t->sym) {
lineno = t->nname->lineno;
yyerror("duplicate %s %s", what, t->sym->name);
break;
}
for( ; t; t=t->down) {
if(t->sym && t->nname && !isblank(t->nname)) {
if(t->sym->uniqgen == uniqgen) {
lineno = t->nname->lineno;
yyerror("duplicate %s %s", what, t->sym->name);
} else
t->sym->uniqgen = uniqgen;
}
}
lineno = lno;
}
......@@ -865,6 +871,7 @@ tostruct(NodeList *l)
if(f->broke)
t->broke = 1;
uniqgen++;
checkdupfields(t->type, "field");
if (!t->broke)
......@@ -897,7 +904,6 @@ tofunargs(NodeList *l)
if(f->broke)
t->broke = 1;
checkdupfields(t->type, "argument");
return t;
}
......@@ -1004,6 +1010,7 @@ tointerface(NodeList *l)
if(f->broke)
t->broke = 1;
uniqgen++;
checkdupfields(t->type, "method");
t = sortinter(t);
checkwidth(t);
......@@ -1187,6 +1194,11 @@ functype(Node *this, NodeList *in, NodeList *out)
t->type->down = tofunargs(out);
t->type->down->down = tofunargs(in);
uniqgen++;
checkdupfields(t->type->type, "argument");
checkdupfields(t->type->down->type, "argument");
checkdupfields(t->type->down->down->type, "argument");
if (t->type->broke || t->type->down->broke || t->type->down->down->broke)
t->broke = 1;
......
......@@ -369,6 +369,7 @@ struct Sym
uchar sym; // huffman encoding in object file
Sym* link;
int32 npkg; // number of imported packages with this name
uint32 uniqgen;
// saved and restored by dcopy
Pkg* pkg;
......
......@@ -7,5 +7,5 @@
package main
func f (x, // GCCGO_ERROR "previous"
x int) { // ERROR "redeclared|redefinition" "duplicate"
x int) { // ERROR "duplicate argument|redefinition"
}
......@@ -9,11 +9,7 @@
package p
type a interface {
foo(x int) (x int) // ERROR "redeclared|redefinition"
}
var b interface {
bar(y int) (y int) // ERROR "redeclared|redefinition"
foo(x int) (x int) // ERROR "duplicate argument|redefinition"
}
/*
......
......@@ -7,8 +7,8 @@
package p
type t struct {
x int // ERROR "duplicate field x|duplicate field name .x."
x int
x int // GCCGO_ERROR "duplicate field name .x."
x int // GC_ERROR "duplicate field x"
}
func f(t *t) int {
......
// compile
// Copyright 2012 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
// The gccgo compiler would complain about a redefinition of i, but
// the spec imposes no requirements on parameter names in a function
// type.
package p
type F func(i int) (i int)
......@@ -14,6 +14,6 @@ func f1(a int) (int, float32) {
}
func f2(a int) (a int, b float32) { // ERROR "redeclared|definition"
func f2(a int) (a int, b float32) { // ERROR "duplicate argument a|definition"
return 8, 8.0
}
// errorcheck
// Copyright 2013 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
package p
type T interface {
F1(i int) (i int) // ERROR "duplicate argument i"
F2(i, i int) // ERROR "duplicate argument i"
F3() (i, i int) // ERROR "duplicate argument i"
}
type T1 func(i, i int) // ERROR "duplicate argument i"
type T2 func(i int) (i int) // ERROR "duplicate argument i"
type T3 func() (i, i int) // ERROR "duplicate argument i"
type R struct{}
func (i *R) F1(i int) {} // ERROR "duplicate argument i"
func (i *R) F2() (i int) {return 0} // ERROR "duplicate argument i"
func (i *R) F3(j int) (j int) {return 0} // ERROR "duplicate argument j"
func F1(i, i int) {} // ERROR "duplicate argument i"
func F2(i int) (i int) {return 0} // ERROR "duplicate argument i"
func F3() (i, i int) {return 0, 0} // ERROR "duplicate argument i"
// errorcheck
// Copyright 2013 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
package p
var T interface {
F1(i int) (i int) // ERROR "duplicate argument i"
F2(i, i int) // ERROR "duplicate argument i"
F3() (i, i int) // ERROR "duplicate argument i"
}
var T1 func(i, i int) // ERROR "duplicate argument i"
var T2 func(i int) (i int) // ERROR "duplicate argument i"
var T3 func() (i, i int) // ERROR "duplicate argument i"
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