]> Cypherpunks.ru repositories - gostls13.git/commit
[dev.regabi] cmd/compile: do not rely on CallExpr.Rargs for detect already walked...
authorCuong Manh Le <cuong.manhle.vn@gmail.com>
Wed, 6 Jan 2021 03:47:35 +0000 (10:47 +0700)
committerCuong Manh Le <cuong.manhle.vn@gmail.com>
Thu, 14 Jan 2021 05:48:28 +0000 (05:48 +0000)
commit5a5ab24689b63b3c156a17103265c439c1e86df7
tree4fe55dc8fa96bc4f979cf089ef03168332dcbca9
parent983ac4b08663ea9655abe99ca30faf47e54fdc16
[dev.regabi] cmd/compile: do not rely on CallExpr.Rargs for detect already walked calls

Currently, there's an awkward issue with walk pass. When walking the AST
tree, the compiler generate code for runtime functions (using mkcall* variants),
add/modify the AST tree and walk new generated tree again. This causes the
double walking on some CallExpr, which is relying on checking Rargs to prevent
that. But checking Rargs has its own issue as well.

For functions that does not have arguments, this check is failed, and we
still double walk the CallExpr node.

This CL change the way that compiler detects double walking, by using
separated field instead of relying on Rargs. In perfect world, we should make
the compiler walks the AST tree just once, but it's not safe to do that at
this moment.

Passes toolstash -cmp.

Change-Id: Ifdd1e0f98940ddb1f574af2da2ac7f005b5fcadd
Reviewed-on: https://go-review.googlesource.com/c/go/+/283672
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
src/cmd/compile/internal/ir/mini.go
src/cmd/compile/internal/walk/expr.go