test/slice3err.go

   1 // errorcheck
   2
   3 // Copyright 2013 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 package p
   8
   9 var array *[10]int
  10 var slice []int
  11 var str string
  12 var i, j, k int
  13
  14 func f() {
  15         // check what missing arguments are allowed
  16         _ = array[:]
  17         _ = array[i:]
  18         _ = array[:j]
  19         _ = array[i:j]
  20         _ = array[::] // ERROR "middle index required in 3-index slice|invalid slice indices" "final index required in 3-index slice"
  21         _ = array[i::] // ERROR "middle index required in 3-index slice|invalid slice indices" "final index required in 3-index slice"
  22         _ = array[:j:] // ERROR "final index required in 3-index slice|invalid slice indices"
  23         _ = array[i:j:] // ERROR "final index required in 3-index slice|invalid slice indices"
  24         _ = array[::k] // ERROR "middle index required in 3-index slice|invalid slice indices"
  25         _ = array[i::k] // ERROR "middle index required in 3-index slice|invalid slice indices"
  26         _ = array[:j:k]
  27         _ = array[i:j:k]
  28
  29         _ = slice[:]
  30         _ = slice[i:]
  31         _ = slice[:j]
  32         _ = slice[i:j]
  33         _ = slice[::] // ERROR "middle index required in 3-index slice|invalid slice indices" "final index required in 3-index slice"
  34         _ = slice[i::] // ERROR "middle index required in 3-index slice|invalid slice indices" "final index required in 3-index slice"
  35         _ = slice[:j:] // ERROR "final index required in 3-index slice|invalid slice indices"
  36         _ = slice[i:j:] // ERROR "final index required in 3-index slice|invalid slice indices"
  37         _ = slice[::k] // ERROR "middle index required in 3-index slice|invalid slice indices"
  38         _ = slice[i::k] // ERROR "middle index required in 3-index slice|invalid slice indices"
  39         _ = slice[:j:k]
  40         _ = slice[i:j:k]
  41
  42         _ = str[:]
  43         _ = str[i:]
  44         _ = str[:j]
  45         _ = str[i:j]
  46         _ = str[::] // ERROR "3-index slice of string" "middle index required in 3-index slice" "final index required in 3-index slice"
  47         _ = str[i::] // ERROR "3-index slice of string" "middle index required in 3-index slice" "final index required in 3-index slice"
  48         _ = str[:j:] // ERROR "3-index slice of string" "final index required in 3-index slice"
  49         _ = str[i:j:] // ERROR "3-index slice of string" "final index required in 3-index slice"
  50         _ = str[::k] // ERROR "3-index slice of string" "middle index required in 3-index slice"
  51         _ = str[i::k] // ERROR "3-index slice of string" "middle index required in 3-index slice"
  52         _ = str[:j:k] // ERROR "3-index slice of string"
  53         _ = str[i:j:k] // ERROR "3-index slice of string"
  54
  55         // check invalid indices
  56         _ = array[1:2]
  57         _ = array[2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  58         _ = array[2:2]
  59         _ = array[i:1]
  60         _ = array[1:j]
  61         _ = array[1:2:3]
  62         _ = array[1:3:2] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  63         _ = array[2:1:3] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  64         _ = array[2:3:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  65         _ = array[3:1:2] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  66         _ = array[3:2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  67         _ = array[i:1:2]
  68         _ = array[i:2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  69         _ = array[1:j:2]
  70         _ = array[2:j:1] // ERROR "invalid slice index|invalid slice indices"
  71         _ = array[1:2:k]
  72         _ = array[2:1:k] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  73
  74         _ = slice[1:2]
  75         _ = slice[2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  76         _ = slice[2:2]
  77         _ = slice[i:1]
  78         _ = slice[1:j]
  79         _ = slice[1:2:3]
  80         _ = slice[1:3:2] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  81         _ = slice[2:1:3] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  82         _ = slice[2:3:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  83         _ = slice[3:1:2] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  84         _ = slice[3:2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  85         _ = slice[i:1:2]
  86         _ = slice[i:2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  87         _ = slice[1:j:2]
  88         _ = slice[2:j:1] // ERROR "invalid slice index|invalid slice indices"
  89         _ = slice[1:2:k]
  90         _ = slice[2:1:k] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  91
  92         _ = str[1:2]
  93         _ = str[2:1] // ERROR "invalid slice index|invalid slice indices|inverted slice"
  94         _ = str[2:2]
  95         _ = str[i:1]
  96         _ = str[1:j]
  97
  98         // check out of bounds indices on array
  99         _ = array[11:11] // ERROR "out of bounds"
 100         _ = array[11:12] // ERROR "out of bounds"
 101         _ = array[11:] // ERROR "out of bounds"
 102         _ = array[:11] // ERROR "out of bounds"
 103         _ = array[1:11] // ERROR "out of bounds"
 104         _ = array[1:11:12] // ERROR "out of bounds"
 105         _ = array[1:2:11] // ERROR "out of bounds"
 106         _ = array[1:11:3] // ERROR "out of bounds|invalid slice index"
 107         _ = array[11:2:3] // ERROR "out of bounds|inverted slice|invalid slice index"
 108         _ = array[11:12:13] // ERROR "out of bounds"
 109
 110         // slice bounds not checked
 111         _ = slice[11:11]
 112         _ = slice[11:12]
 113         _ = slice[11:]
 114         _ = slice[:11]
 115         _ = slice[1:11]
 116         _ = slice[1:11:12]
 117         _ = slice[1:2:11]
 118         _ = slice[1:11:3] // ERROR "invalid slice index|invalid slice indices"
 119         _ = slice[11:2:3] // ERROR "invalid slice index|invalid slice indices|inverted slice"
 120         _ = slice[11:12:13]
 121 }