diff options
| author | Keith Randall <khr@golang.org> | 2021-07-30 14:00:27 -0700 |
|---|---|---|
| committer | Keith Randall <khr@golang.org> | 2021-07-31 17:03:07 +0000 |
| commit | 0b8a9ccb25cd9b8f78eb47b1934522af3fb4108f (patch) | |
| tree | cb79c4ab8790ab8f71fe262dd76eb81e602ce210 /src/cmd/compile/internal/typecheck | |
| parent | 7bed50e667cf1b4ba5b2ec7ca699c835c696e454 (diff) | |
| download | go-0b8a9ccb25cd9b8f78eb47b1934522af3fb4108f.tar.gz go-0b8a9ccb25cd9b8f78eb47b1934522af3fb4108f.zip | |
[dev.typeparams] cmd/compile: make all pointer types have the same shape
Except unsafe.Pointer. It has a different Kind, which makes it trickier.
Change-Id: I12582afb6e591bea35da9e43ac8d141ed19532a3
Reviewed-on: https://go-review.googlesource.com/c/go/+/338749
Trust: Keith Randall <khr@golang.org>
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Keith Randall <khr@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
Diffstat (limited to 'src/cmd/compile/internal/typecheck')
| -rw-r--r-- | src/cmd/compile/internal/typecheck/subr.go | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/cmd/compile/internal/typecheck/subr.go b/src/cmd/compile/internal/typecheck/subr.go index e2f0a57e71..5ee4152e1c 100644 --- a/src/cmd/compile/internal/typecheck/subr.go +++ b/src/cmd/compile/internal/typecheck/subr.go @@ -1351,6 +1351,12 @@ func Shapify(t *types.Type) *types.Type { // Map all types with the same underlying type to the same shape. u := t.Underlying() + // All pointers have the same shape. + // TODO: Make unsafe.Pointer the same shape as normal pointers. + if u.Kind() == types.TPTR { + u = types.Types[types.TUINT8].PtrTo() + } + if s := shaped[u]; s != nil { return s //TODO: keep? } |