diff options
author | Rémy Oudompheng <oudomphe@phare.normalesup.org> | 2013-07-02 09:08:43 +0200 |
---|---|---|
committer | Rémy Oudompheng <oudomphe@phare.normalesup.org> | 2013-07-02 09:08:43 +0200 |
commit | 428ea6865c7eff6d8632faa18335c64d4ae9f422 (patch) | |
tree | 2da4ef887a923970bf4beefa78fc08422f33c119 /test/blank.go | |
parent | efced7c6e984f26b4c275b19ba61f2c2629d95ea (diff) | |
download | go-428ea6865c7eff6d8632faa18335c64d4ae9f422.tar.gz go-428ea6865c7eff6d8632faa18335c64d4ae9f422.zip |
cmd/gc: fix computation of equality class of types.
A struct with a single field was considered as equivalent to the
field type, which is incorrect is the field is blank.
Fields with padding could make the compiler think some
types are comparable when they are not.
Fixes #5698.
R=rsc, golang-dev, daniel.morsing, bradfitz, gri, r
CC=golang-dev
https://golang.org/cl/10271046
Diffstat (limited to 'test/blank.go')
-rw-r--r-- | test/blank.go | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/blank.go b/test/blank.go index 7f7d9f6f7f..46b61559d7 100644 --- a/test/blank.go +++ b/test/blank.go @@ -27,6 +27,10 @@ func (T) _() { func (T) _() { } +type U struct { + _ struct{ a, b, c int } +} + const ( c0 = iota _ @@ -116,6 +120,13 @@ func main() { if t1 != t2 { panic("T{} != T{}") } + + var u1, u2 interface{} + u1 = *(*U)(unsafe.Pointer(&T1{1, 2, 3})) + u2 = *(*U)(unsafe.Pointer(&T1{4, 5, 6})) + if u1 != u2 { + panic("U{} != U{}") + } } h(a, b) |