1
0
mirror of https://github.com/golang/go synced 2024-11-08 10:46:23 -07:00

go/parser: return ast.BadExpr for missing index operands

The parser was returning the indexed operand when a slice or index or
instance expression was missing any index arguments (as in the
expression `a[]`). This can result in returning an *ast.Ident for the
LHS of the (invalid) assignment `a[] = ...` -- in this case parsing the
LHS as just `a`. Unfortunately, as the indexed operand `a` has already
been resolved, this results in a panic for duplicate resolution.

Fix this by instead returning an ast.BadExpr. This can suppress some
subsequent errors from the typechecker, but those errors may or may not
be correct anyway. Other interpretations, such as an *ast.IndexExpr with
bad or missing X, run into potential misinterpretations downstream (both
caused errors in go/types and/or gopls).

Fixes #44504

Change-Id: I5ca8bed4a1861bcc7db8898770b08937110981d4
Reviewed-on: https://go-review.googlesource.com/c/go/+/295151
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
This commit is contained in:
Rob Findley 2021-02-22 15:39:00 -05:00 committed by Robert Findley
parent 1678829d95
commit 1126bbb82a
3 changed files with 16 additions and 2 deletions

View File

@ -1485,8 +1485,9 @@ func (p *parser) parseIndexOrSliceOrInstance(x ast.Expr) ast.Expr {
// empty index, slice or index expressions are not permitted; // empty index, slice or index expressions are not permitted;
// accept them for parsing tolerance, but complain // accept them for parsing tolerance, but complain
p.errorExpected(p.pos, "operand") p.errorExpected(p.pos, "operand")
rbrack := p.pos
p.next() p.next()
return x return &ast.BadExpr{From: x.Pos(), To: rbrack}
} }
p.exprLev++ p.exprLev++

13
src/go/parser/testdata/issue44504.src vendored Normal file
View File

@ -0,0 +1,13 @@
// Copyright 2021 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.
// Test case for issue 44504: panic due to duplicate resolution of slice/index
// operands. We should not try to resolve a LHS expression with invalid syntax.
package p
func _() {
var items []bool
items[] /* ERROR "operand" */ = false
}

View File

@ -84,7 +84,7 @@ var x T25 /* ERROR without instantiation */ .m1
// crash 26 // crash 26
type T26 = interface{ F26[ /* ERROR methods cannot have type parameters */ Z any]() } type T26 = interface{ F26[ /* ERROR methods cannot have type parameters */ Z any]() }
func F26[Z any]() T26 { return F26 /* ERROR without instantiation */ /* ERROR missing method */ [] /* ERROR operand */ } func F26[Z any]() T26 { return F26[] /* ERROR operand */ }
// crash 27 // crash 27
func e27[T any]() interface{ x27 /* ERROR not a type */ } func e27[T any]() interface{ x27 /* ERROR not a type */ }