]> Cypherpunks repositories - gostls13.git/commitdiff
runtime: when using explicit argmap, also use arglen
authorKeith Randall <khr@google.com>
Mon, 12 Nov 2018 23:49:09 +0000 (15:49 -0800)
committerAndrew Bonventre <andybons@golang.org>
Mon, 26 Nov 2018 19:15:25 +0000 (19:15 +0000)
When we set an explicit argmap, we may want only a prefix of that
argmap.  Argmap is set when the function is reflect.makeFuncStub or
reflect.methodValueCall. In this case, arglen specifies how much of
the args section is actually live. (It could be either all the args +
results, or just the args.)

Fixes #28752

Change-Id: Idf060607f15a298ac591016994e58e22f7f92d83
Reviewed-on: https://go-review.googlesource.com/c/149217
Run-TryBot: Keith Randall <khr@golang.org>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Austin Clements <austin@google.com>
(cherry picked from commit 0098f8aeaceb5feec7462ae64f8ce91a473360c1)
Reviewed-on: https://go-review.googlesource.com/c/149457

src/runtime/stack.go
test/fixedbugs/issue27695c.go [new file with mode: 0644]

index c7bfc0434bae4b4e55ad1ac3ca83795bba5128ef..7bb82038abf23c64374a12077d6d96d72dc2c883 100644 (file)
@@ -1221,7 +1221,14 @@ func getStackMap(frame *stkframe, cache *pcvalueCache, debug bool) (locals, args
        // Arguments.
        if frame.arglen > 0 {
                if frame.argmap != nil {
+                       // argmap is set when the function is reflect.makeFuncStub or reflect.methodValueCall.
+                       // In this case, arglen specifies how much of the args section is actually live.
+                       // (It could be either all the args + results, or just the args.)
                        args = *frame.argmap
+                       n := int32(frame.arglen / sys.PtrSize)
+                       if n < args.n {
+                               args.n = n // Don't use more of the arguments than arglen.
+                       }
                } else {
                        stackmap := (*stackmap)(funcdata(f, _FUNCDATA_ArgsPointerMaps))
                        if stackmap == nil || stackmap.n <= 0 {
diff --git a/test/fixedbugs/issue27695c.go b/test/fixedbugs/issue27695c.go
new file mode 100644 (file)
index 0000000..948191c
--- /dev/null
@@ -0,0 +1,65 @@
+// run
+
+// 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.
+
+// Make sure return values aren't scanned until they
+// are initialized, when calling functions and methods
+// via reflect.
+
+package main
+
+import (
+       "io"
+       "reflect"
+       "runtime"
+       "unsafe"
+)
+
+var badPtr uintptr
+
+var sink []byte
+
+func init() {
+       // Allocate large enough to use largeAlloc.
+       b := make([]byte, 1<<16-1)
+       sink = b // force heap allocation
+       //  Any space between the object and the end of page is invalid to point to.
+       badPtr = uintptr(unsafe.Pointer(&b[len(b)-1])) + 1
+}
+
+func f(d func(error) error) error {
+       // Initialize callee args section with a bad pointer.
+       g(badPtr, badPtr, badPtr, badPtr)
+
+       // Then call a function which returns a pointer.
+       // That return slot starts out holding a bad pointer.
+       return d(io.EOF)
+}
+
+//go:noinline
+func g(x, y, z, w uintptr) {
+}
+
+type T struct {
+}
+
+func (t *T) Foo(e error) error {
+       runtime.GC()
+       return e
+}
+
+func main() {
+       // Functions
+       d := reflect.MakeFunc(reflect.TypeOf(func(e error) error { return e }),
+               func(args []reflect.Value) []reflect.Value {
+                       runtime.GC()
+                       return args
+               }).Interface().(func(error) error)
+       f(d)
+
+       // Methods
+       x := reflect.ValueOf(&T{}).Method(0).Interface().(func(error) error)
+       f(x)
+}