// errorcheck -0 -m

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

// 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"
}