diff options
author | David Chase <drchase@google.com> | 2024-02-29 15:02:44 -0500 |
---|---|---|
committer | David Chase <drchase@google.com> | 2024-03-02 14:01:52 +0000 |
commit | 6f5d77454e31be8af11a7e2bcda36d200fda07c5 (patch) | |
tree | 8094b7881f1303dca31e0e3d3a8674f055f085c2 /test | |
parent | b5a64ba62eafe5dee13562091ca03aef6cac87b6 (diff) | |
download | go-6f5d77454e31be8af11a7e2bcda36d200fda07c5.tar.gz go-6f5d77454e31be8af11a7e2bcda36d200fda07c5.zip |
cmd/compile: add 0-sized-value simplification to copyelim
The problem was caused by faulty handling of unSSA-able
operations on zero-sized data in expand calls, but there
is no point to operations on zero-sized data. This CL adds
a simplify step to the first place in SSA where all values
are processed and replaces anything producing a 0-sized
struct/array with the corresponding Struct/Array Make0
operation (of the appropriate type).
I attempted not generating them in ssagen, but that was a
larger change, and also had bugs. This is simple and obvious.
The only question is whether it would be worthwhile to do it
earlier (in numberlines or phielem).
Fixes #65808.
Change-Id: I0a596b3d272798015e7bb6b1a20411241759fe0e
Reviewed-on: https://go-review.googlesource.com/c/go/+/568258
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Diffstat (limited to 'test')
-rw-r--r-- | test/fixedbugs/issue65808.go | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/fixedbugs/issue65808.go b/test/fixedbugs/issue65808.go new file mode 100644 index 0000000000..e6c4cf1ed0 --- /dev/null +++ b/test/fixedbugs/issue65808.go @@ -0,0 +1,30 @@ +// compile + +// Copyright 2024 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.package main + +package main + +type Stringer interface { + String() string +} + +type ( + stringer struct{} + stringers [2]stringer + foo struct { + stringers + } +) + +func (stringer) String() string { return "" } +func toString(s Stringer) string { return s.String() } + +func (v stringers) toStrings() []string { + return []string{toString(v[0]), toString(v[1])} +} + +func main() { + _ = stringers{} +} |