diff options
| author | Cuong Manh Le <cuong.manhle.vn@gmail.com> | 2026-03-24 21:14:30 +0700 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2026-03-26 08:54:42 -0700 |
| commit | 286a79658efbe6dcbea53aaf8112abeb8e9f2cc3 (patch) | |
| tree | 4c6a23b9c42f186e13a90c23df50020dcf28e930 /src/cmd | |
| parent | 09dadce4fee15148a9f3a6969d15a0db8afe75bc (diff) | |
| download | go-286a79658efbe6dcbea53aaf8112abeb8e9f2cc3.tar.xz | |
cmd/compile: fix missing walk for OAS2RECV node
When channel receive operator is used in the context that requires
conversion to destination type, there's an implicit conversion operator
inserted by typecheck. This typecheck-ed node is un-walked, then passing
to the backend as-is, causing the ICE.
Fixes #78313
Change-Id: Ibbc70cbd2d8069cc7cf81934406aa68c4da2686a
Reviewed-on: https://go-review.googlesource.com/c/go/+/758660
Reviewed-by: Keith Randall <khr@google.com>
Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
Reviewed-by: Jakub Ciolek <jakub@ciolek.dev>
Reviewed-by: Keith Randall <khr@golang.org>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Diffstat (limited to 'src/cmd')
| -rw-r--r-- | src/cmd/compile/internal/walk/assign.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmd/compile/internal/walk/assign.go b/src/cmd/compile/internal/walk/assign.go index f640cd83d1..35eb72f0d0 100644 --- a/src/cmd/compile/internal/walk/assign.go +++ b/src/cmd/compile/internal/walk/assign.go @@ -220,7 +220,7 @@ func walkAssignRecv(init *ir.Nodes, n *ir.AssignListStmt) ir.Node { fn := chanfn("chanrecv2", 2, r.X.Type()) ok := n.Lhs[1] call := mkcall1(fn, types.Types[types.TBOOL], init, r.X, n1) - return typecheck.Stmt(ir.NewAssignStmt(base.Pos, ok, call)) + return walkAssign(init, typecheck.Stmt(ir.NewAssignStmt(base.Pos, ok, call))) } // walkReturn walks an ORETURN node. |