gc: fix spurious typecheck loop in &composite literal

Fixes #2538.

R=ken2
CC=golang-dev
https://golang.org/cl/5449114

diff --git a/src/cmd/gc/typecheck.c b/src/cmd/gc/typecheck.c
index 072b577a56902a828b826b8f275d2fc8f1554720..90db76960da22588ec8b0bd0f8174d1c4528c33c 100644 (file)
--- a/src/cmd/gc/typecheck.c
+++ b/src/cmd/gc/typecheck.c
@@ -2198,6 +2198,7 @@ typecheckcomplit(Node **np)
                n->typecheck = 1;
                n->type = n->left->type;
                n->left->type = t;
+               n->left->typecheck = 1;
        }
 
        *np = n;

diff --git a/test/fixedbugs/bug380.go b/test/fixedbugs/bug380.go
new file mode 100644 (file)
index 0000000..75b5806
--- /dev/null
+++ b/test/fixedbugs/bug380.go
@@ -0,0 +1,11 @@
+// $G $D/$F.go
+
+// Copyright 2011 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.
+
+// Used to cause a typechecking loop error.
+
+package pkg
+type T map[int]string
+var q = &T{}