github.com/kdevb0x/go@v0.0.0-20180115030120-39687051e9e7/test/sliceopt.go (about)

     1  // errorcheck -0 -d=append,slice,ssa/prove/debug=1
     2  
     3  // Copyright 2015 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  // Check optimization results for append and slicing.
     8  
     9  package main
    10  
    11  func a1(x []int, y int) []int {
    12  	x = append(x, y) // ERROR "append: len-only update \(in local slice\)$"
    13  	return x
    14  }
    15  
    16  func a2(x []int, y int) []int {
    17  	return append(x, y)
    18  }
    19  
    20  func a3(x *[]int, y int) {
    21  	*x = append(*x, y) // ERROR "append: len-only update$"
    22  }
    23  
    24  // s1_if_false_then_anything
    25  func s1_if_false_then_anything(x **[]int, xs **string, i, j int) {
    26  	z := (**x)[0:i]
    27  	z = z[i : i+1]
    28  	println(z) // if we get here, then we have proven that i==i+1 (this cannot happen, but the program is still being analyzed...)
    29  
    30  	zs := (**xs)[0:i] // since i=i+1 is proven, i+1 is "in bounds", ha-ha
    31  	zs = zs[i : i+1]  // ERROR "Proved boolean IsSliceInBounds$"
    32  	println(zs)
    33  }
    34  
    35  func s1(x **[]int, xs **string, i, j int) {
    36  	var z []int
    37  	z = (**x)[2:]
    38  	z = (**x)[2:len(**x)] // ERROR "Proved boolean IsSliceInBounds$"
    39  	z = (**x)[2:cap(**x)] // ERROR "Proved IsSliceInBounds$"
    40  	z = (**x)[i:i]        // -ERROR "Proved IsSliceInBounds"
    41  	z = (**x)[1:i:i]      // ERROR "Proved boolean IsSliceInBounds$"
    42  	z = (**x)[i:j:0]
    43  	z = (**x)[i:0:j] // ERROR "Disproved IsSliceInBounds$"
    44  	z = (**x)[0:i:j] // ERROR "Proved boolean IsSliceInBounds$"
    45  	z = (**x)[0:]    // ERROR "slice: omit slice operation$"
    46  	z = (**x)[2:8]   // ERROR "Proved slicemask not needed$"
    47  	println(z)
    48  	z = (**x)[2:2]
    49  	z = (**x)[0:i]
    50  	z = (**x)[2:i:8] // ERROR "Disproved IsSliceInBounds$" "Proved IsSliceInBounds$"
    51  	z = (**x)[i:2:i] // ERROR "Proved IsSliceInBounds$" "Proved boolean IsSliceInBounds$"
    52  
    53  	z = z[0:i] // ERROR "Proved boolean IsSliceInBounds"
    54  	z = z[0:i : i+1]
    55  	z = z[i : i+1] // ERROR "Proved boolean IsSliceInBounds$"
    56  
    57  	println(z)
    58  
    59  	var zs string
    60  	zs = (**xs)[2:]
    61  	zs = (**xs)[2:len(**xs)] // ERROR "Proved IsSliceInBounds$" "Proved boolean IsSliceInBounds$"
    62  	zs = (**xs)[i:i]         // -ERROR "Proved boolean IsSliceInBounds"
    63  	zs = (**xs)[0:]          // ERROR "slice: omit slice operation$"
    64  	zs = (**xs)[2:8]
    65  	zs = (**xs)[2:2] // ERROR "Proved boolean IsSliceInBounds$"
    66  	zs = (**xs)[0:i] // ERROR "Proved boolean IsSliceInBounds$"
    67  
    68  	zs = zs[0:i]     // See s1_if_false_then_anything above to explain the counterfactual bounds check result below
    69  	zs = zs[i : i+1] // ERROR "Proved boolean IsSliceInBounds$"
    70  	println(zs)
    71  }