cmd/compile: reject large argument areas

Extend stack frame limit of 1GB to include large argument/return areas.
Argument/return areas are part of the parent frame, not the frame itself,
so they need to be handled separately.

Fixes #25507.

Change-Id: I309298a58faee3e7c1dac80bd2f1166c82460087
Reviewed-on: https://go-review.googlesource.com/115036
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: Josh Bleecher Snyder <josharian@gmail.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>
This commit is contained in:
Keith Randall 2018-05-29 09:30:12 -07:00 committed by Keith Randall
parent ab922e1012
commit d15d055054
3 changed files with 32 additions and 1 deletions

View file

@ -257,7 +257,8 @@ const maxStackSize = 1 << 30
// worker indicates which of the backend workers is doing the processing. // worker indicates which of the backend workers is doing the processing.
func compileSSA(fn *Node, worker int) { func compileSSA(fn *Node, worker int) {
f := buildssa(fn, worker) f := buildssa(fn, worker)
if f.Frontend().(*ssafn).stksize >= maxStackSize { // Note: check arg size to fix issue 25507.
if f.Frontend().(*ssafn).stksize >= maxStackSize || fn.Type.ArgWidth() >= maxStackSize {
largeStackFramesMu.Lock() largeStackFramesMu.Lock()
largeStackFrames = append(largeStackFrames, fn.Pos) largeStackFrames = append(largeStackFrames, fn.Pos)
largeStackFramesMu.Unlock() largeStackFramesMu.Unlock()

View file

@ -174,6 +174,7 @@ func TestStdFixed(t *testing.T) {
"issue20529.go", // go/types does not have constraints on stack size "issue20529.go", // go/types does not have constraints on stack size
"issue22200.go", // go/types does not have constraints on stack size "issue22200.go", // go/types does not have constraints on stack size
"issue22200b.go", // go/types does not have constraints on stack size "issue22200b.go", // go/types does not have constraints on stack size
"issue25507.go", // go/types does not have constraints on stack size
) )
} }

View file

@ -0,0 +1,29 @@
// errorcheck
// Copyright 2018 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.
// We have a limit of 1GB for stack frames.
// Test that we extend that limit to include large argument/return areas.
// Argument/return areas are part of the parent frame, not the frame itself,
// so they need to be handled separately.
package main
// >1GB to trigger failure, <2GB to work on 32-bit platforms.
type large struct {
b [1500000000]byte
}
func (x large) f1() int { // ERROR "stack frame too large"
return 5
}
func f2(x large) int { // ERROR "stack frame too large"
return 5
}
func f3() (x large, i int) { // ERROR "stack frame too large"
return
}