mirror of
https://github.com/golang/go
synced 2025-05-11 04:15:10 +00:00
Assignment between input parameters causes them to have more than
one "Name", and running this backwards from names to values can end
up confusing (conflating) parameter spill slots.
Around 105a6e9518
, this cases a stack overflow running
go test -race encoding/pem
because two slice parameters spill (incorrectly) into the same
stack slots (in the AB?I-defined parameter spill area).
This also tickles a failure in cue, which turned out to be
easier to isolate.
Fixes #45851.
Updates #40724.
Change-Id: I39c56815bd6abb652f1ccbe83c47f4f373a125c3
Reviewed-on: https://go-review.googlesource.com/c/go/+/313212
Trust: David Chase <drchase@google.com>
Run-TryBot: David Chase <drchase@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Cherry Zhang <cherryyz@google.com>
69 lines
1.3 KiB
Go
69 lines
1.3 KiB
Go
// run
|
|
|
|
// Copyright 2021 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.
|
|
|
|
// This tickles a stack-allocation bug when the register ABI is enabled.
|
|
// The original report was from cue, internal/core/adt/equality.go,
|
|
// function equalVertex.
|
|
|
|
// In the failing case, something bad gets passed to equalTerminal.
|
|
|
|
package main
|
|
|
|
import "fmt"
|
|
|
|
type Kind uint16
|
|
type Flag uint16
|
|
|
|
const (
|
|
allKinds Kind = 1
|
|
TopKind Kind = (allKinds - 1)
|
|
)
|
|
type Value interface {
|
|
Kind() Kind
|
|
}
|
|
type Vertex struct {
|
|
BaseValue Value
|
|
name string
|
|
}
|
|
func (v *Vertex) Kind() Kind {
|
|
return TopKind
|
|
}
|
|
|
|
func main() {
|
|
vA := &Vertex{name:"vA",}
|
|
vB := &Vertex{name:"vB",}
|
|
vX := &Vertex{name:"vX",}
|
|
vA.BaseValue = vX
|
|
vB.BaseValue = vX
|
|
_ = equalVertex(vA, vB, Flag(1))
|
|
}
|
|
|
|
var foo string
|
|
|
|
//go:noinline
|
|
func (v *Vertex) IsClosedStruct() bool {
|
|
return true
|
|
}
|
|
|
|
func equalVertex(x *Vertex, v Value, flags Flag) bool {
|
|
y, ok := v.(*Vertex)
|
|
if !ok {
|
|
return false
|
|
}
|
|
v, ok1 := x.BaseValue.(Value)
|
|
w, ok2 := y.BaseValue.(Value)
|
|
if !ok1 && !ok2 {
|
|
return true // both are struct or list.
|
|
}
|
|
return equalTerminal(v, w, flags)
|
|
}
|
|
|
|
//go:noinline
|
|
func equalTerminal(x Value, y Value, flags Flag) bool {
|
|
foo = fmt.Sprintf("EQclosed %s %s %d\n", x.(*Vertex).name, y.(*Vertex).name, flags)
|
|
return true
|
|
}
|