...
Run Format

Source file test/fixedbugs/issue15747.go

Documentation: test/fixedbugs

     1  // errorcheck -0 -live
     2  
     3  // Copyright 2016 The Go Authors.  All rights reserved.
     4  // Use of this source code is governed by a BSD-style
     5  // license that can be found in the LICENSE file.
     6  
     7  // Issue 15747: liveness analysis was marking heap-escaped params live too much,
     8  // and worse was using the wrong bitmap bits to do so.
     9  
    10  package p
    11  
    12  var global *[]byte
    13  
    14  type Q struct{}
    15  
    16  type T struct{ M string }
    17  
    18  var b bool
    19  
    20  func f1(q *Q, xx []byte) interface{} { // ERROR "live at call to newobject: xx$" "live at entry to f1: xx$"
    21  	// xx was copied from the stack to the heap on the previous line:
    22  	// xx was live for the first two prints but then it switched to &xx
    23  	// being live. We should not see plain xx again.
    24  	if b {
    25  		global = &xx
    26  	}
    27  	xx, _, err := f2(xx, 5) // ERROR "live at call to f2: &xx$"
    28  	if err != nil {
    29  		return err
    30  	}
    31  	return nil
    32  }
    33  
    34  //go:noinline
    35  func f2(d []byte, n int) (odata, res []byte, e interface{}) { // ERROR "live at entry to f2: d$"
    36  	if n > len(d) {
    37  		return d, nil, &T{M: "hello"} // ERROR "live at call to newobject: d"
    38  	}
    39  	res = d[:n]
    40  	odata = d[n:]
    41  	return
    42  }
    43  

View as plain text