| // errorcheck -0 -m -l |
| |
| // Copyright 2017 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. |
| |
| package foo |
| |
| // Escape analysis needs to treat the uintptr-typed reflect.*Header fields as pointers. |
| |
| import ( |
| "reflect" |
| "unsafe" |
| ) |
| |
| type immutableBytes []byte |
| |
| // Bug was failure to leak param b. |
| func toString(b immutableBytes) string { // ERROR "leaking param: b$" |
| var s string |
| if len(b) == 0 { |
| return s |
| } |
| |
| strHeader := (*reflect.StringHeader)(unsafe.Pointer(&s)) |
| strHeader.Data = (*reflect.SliceHeader)(unsafe.Pointer(&b)).Data |
| |
| l := len(b) |
| strHeader.Len = l |
| return s |
| } |
