Commit 6c0b8b5f authored by Rebecca Stambler's avatar Rebecca Stambler

go/types: fix crash following misuse of [...]T in composite literal

The type-checker currently crashes when checking code such as:

	_ = map[string][...]int{"": {1, 2, 3}}

In this case, the type checker reports an error for map[string][...]int,
then proceeds to type-check the values of the map literal using a hint
type of [...]int. When type-checking the inner composite (array) literal,
the length of the open array type is computed from the elements,
then the array type is recorded, but the literal has no explicit type
syntax against which to record the type, so this code causes the
type-checker to panic. Add a nil check before calling
check.recordTypeAndValue to avoid that.

Updates #22467

Change-Id: Ic4453ba485b7b88ede2a89f209365eda9e032abc
Reviewed-on: https://go-review.googlesource.com/132355Reviewed-by: 's avatarAlan Donovan <adonovan@google.com>
parent bd49b3d5
......@@ -263,6 +263,7 @@ func TestTypesInfo(t *testing.T) {
{`package x2; func _() { var a, b string; type x struct {f string}; z := &x{f: a; f: b;}}`, `b`, `string`},
{`package x3; var x = panic("");`, `panic`, `func(interface{})`},
{`package x4; func _() { panic("") }`, `panic`, `func(interface{})`},
{`package x5; func _() { var x map[string][...]int; x = map[string][...]int{"": {1,2,3}} }`, `x`, `map[string][-1]int`},
}
for _, test := range tests {
......
......@@ -1161,7 +1161,13 @@ func (check *Checker) exprInternal(x *operand, e ast.Expr, hint Type) exprKind {
// not called for [...]).
if utyp.len < 0 {
utyp.len = n
check.recordTypeAndValue(e.Type, typexpr, utyp, nil)
// e.Type may be missing in case of errors.
// In "map[string][...]int{"": {1, 2, 3}}},
// an error is reported for the outer literal,
// then [...]int is used as a hint for the inner literal.
if e.Type != nil {
check.recordTypeAndValue(e.Type, typexpr, utyp, nil)
}
}
case *Slice:
......
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