mirror of
https://github.com/golang/go
synced 2024-11-23 00:00:07 -07:00
cmd/compile/internal/types2: don't print instance markers for type hashes
Since we know whether we are printing a type string used as instance hash, don't print instance markers, so that we don't need to remove them afterwards either. Change-Id: Ib01627b6da989ef89d51e734810a3377eb466925 Reviewed-on: https://go-review.googlesource.com/c/go/+/345891 Trust: Robert Griesemer <gri@golang.org> Reviewed-by: Robert Findley <rfindley@google.com>
This commit is contained in:
parent
5f0d821add
commit
8250141c9a
@ -256,28 +256,23 @@ func (subst *subster) typ(typ Type) Type {
|
|||||||
var instanceHashing = 0
|
var instanceHashing = 0
|
||||||
|
|
||||||
func instantiatedHash(typ *Named, targs []Type) string {
|
func instantiatedHash(typ *Named, targs []Type) string {
|
||||||
|
var buf bytes.Buffer
|
||||||
|
|
||||||
assert(instanceHashing == 0)
|
assert(instanceHashing == 0)
|
||||||
instanceHashing++
|
instanceHashing++
|
||||||
var buf bytes.Buffer
|
|
||||||
w := newTypeWriter(&buf, nil)
|
w := newTypeWriter(&buf, nil)
|
||||||
w.typeName(typ.obj)
|
w.typeName(typ.obj)
|
||||||
w.typeList(targs)
|
w.typeList(targs)
|
||||||
instanceHashing--
|
instanceHashing--
|
||||||
|
|
||||||
// With respect to the represented type, whether a
|
if debug {
|
||||||
// type is fully expanded or stored as instance
|
// there should be no instance markers in type hashes
|
||||||
// does not matter - they are the same types.
|
for _, b := range buf.Bytes() {
|
||||||
// Remove the instanceMarkers printed for instances.
|
assert(b != instanceMarker)
|
||||||
res := buf.Bytes()
|
|
||||||
i := 0
|
|
||||||
for _, b := range res {
|
|
||||||
if b != instanceMarker {
|
|
||||||
res[i] = b
|
|
||||||
i++
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
return string(res[:i])
|
return buf.String()
|
||||||
}
|
}
|
||||||
|
|
||||||
// typOrNil is like typ but if the argument is nil it is replaced with Typ[Invalid].
|
// typOrNil is like typ but if the argument is nil it is replaced with Typ[Invalid].
|
||||||
|
@ -203,7 +203,11 @@ func (w *typeWriter) typ(typ Type) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
case *Named:
|
case *Named:
|
||||||
if t.instPos != nil {
|
// Instance markers indicate unexpanded instantiated
|
||||||
|
// types. Write them to aid debugging, but don't write
|
||||||
|
// them when we need an instance hash: whether a type
|
||||||
|
// is fully expanded or not doesn't matter for identity.
|
||||||
|
if instanceHashing == 0 && t.instPos != nil {
|
||||||
w.byte(instanceMarker)
|
w.byte(instanceMarker)
|
||||||
}
|
}
|
||||||
w.typeName(t.obj)
|
w.typeName(t.obj)
|
||||||
|
Loading…
Reference in New Issue
Block a user