]> Cypherpunks repositories - gostls13.git/commit
cmd/compile/internal/escape: evaluate any side effects when rewriting with literals
authorthepudds <thepudds1460@gmail.com>
Wed, 25 Jun 2025 23:01:11 +0000 (19:01 -0400)
committert hepudds <thepudds1460@gmail.com>
Thu, 26 Jun 2025 17:24:19 +0000 (10:24 -0700)
commit988a20c8c5e2c9eb49f8749e5ee94ce3c964fe59
tree03097e03dd3ef925e4ab2ba3f2ccada7038fb0d8
parentb5d555991ab73e06e09741952a66dd7eeaf2a185
cmd/compile/internal/escape: evaluate any side effects when rewriting with literals

CL 649035 and CL 649079 updated escape analysis to rewrite
certain operands in OMAKE and OCONVIFACE nodes from non-constant
expressions to basic literals that evaluate to the same value.

However, when doing that rewriting, we need to evaluate any
side effects prior to replacing the expression, which is what
this CL now does.

Issue #74379 reported a problem with OCONVIFACE nodes due to CL 649079.
CL 649035 has essentially the same issue with OMAKE nodes. To illustrate
that, we add a test for the OMAKE case in fixedbugs/issue74379b.go,
which fails without this change. To avoid introducing an unnecessary
temporary for OMAKE nodes, we also conditionalize the main work of
CL 649035 on whether the OMAKE operand is already an OLITERAL.

CL 649555 and CL 649078 were related changes that created read-only
global storage for composite literals used in an interface conversion.
This CL adds a test in fixedbugs/issue74379c.go to illustrate
that they do not have the same problem.

Updates #71359
Fixes #74379

Change-Id: I6645575ef34f1fe2b0241a22dc205875d66b7ada
Reviewed-on: https://go-review.googlesource.com/c/go/+/684116
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
Reviewed-by: Keith Randall <khr@google.com>
src/cmd/compile/internal/escape/escape.go
test/fixedbugs/issue74379.go [new file with mode: 0644]
test/fixedbugs/issue74379b.go [new file with mode: 0644]
test/fixedbugs/issue74379c.go [new file with mode: 0644]