2013-02-05 05:00:38 -07:00
|
|
|
// errorcheck -0 -m
|
|
|
|
|
|
2016-04-10 15:32:26 -06:00
|
|
|
// Copyright 2013 The Go Authors. All rights reserved.
|
2013-02-05 05:00:38 -07:00
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
|
|
|
|
|
// Check go:noescape annotations.
|
|
|
|
|
|
|
|
|
|
package p
|
|
|
|
|
|
|
|
|
|
// The noescape comment only applies to the next func,
|
|
|
|
|
// which must not have a body.
|
|
|
|
|
|
|
|
|
|
//go:noescape
|
|
|
|
|
|
|
|
|
|
func F1([]byte)
|
|
|
|
|
|
|
|
|
|
func F2([]byte)
|
|
|
|
|
|
|
|
|
|
func G() {
|
|
|
|
|
var buf1 [10]byte
|
|
|
|
|
F1(buf1[:]) // ERROR "buf1 does not escape"
|
|
|
|
|
|
|
|
|
|
var buf2 [10]byte // ERROR "moved to heap: buf2"
|
|
|
|
|
F2(buf2[:]) // ERROR "buf2 escapes to heap"
|
|
|
|
|
}
|
