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