File: issue16515.go

package info (click to toggle)
golang-1.8 1.8.1-1%2Bdeb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 76,544 kB
  • sloc: asm: 55,864; ansic: 7,960; sh: 1,576; perl: 1,139; xml: 623; python: 286; javascript: 231; makefile: 109; cpp: 22; f90: 8; awk: 7
file content (53 lines) | stat: -rw-r--r-- 1,122 bytes parent folder | download | duplicates (39)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
// run

// Copyright 2016 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.

// issue 16515: spilled Duff-adjusted address may be invalid

package main

import "runtime"

type T [62]int // DUFFZERO with non-zero adjustment on AMD64

var sink interface{}

//go:noinline
func zero(x *T) {
	// Two DUFFZEROs on the same address with a function call in between.
	// Duff-adjusted address will be spilled and loaded

	*x = T{} // DUFFZERO
	runtime.GC()
	(*x)[0] = 1
	g()      // call a function with large frame, trigger a stack move
	*x = T{} // DUFFZERO again
}

//go:noinline
// a function with large frame
func g() {
	var x [1000]int
	_ = x
}

func main() {
	var s struct { a T; b [8192-62]int } // allocate 64K, hopefully it's in a new span and a few bytes before it is garbage
	sink = &s // force heap allocation
	s.a[0] = 2
	zero(&s.a)
	if s.a[0] != 0 {
		println("s.a[0] =", s.a[0])
		panic("zeroing failed")
	}

	var a T // on stack
	a[0] = 2
	zero(&a)
	if a[0] != 0 {
		println("a[0] =", a[0])
		panic("zeroing failed")
	}
}