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 // issue 4232 8 // issue 7200 9 10 package p 11 12 func f() { 13 var a [10]int 14 _ = a[-1] // ERROR "invalid array index -1|index out of bounds" 15 _ = a[-1:] // ERROR "invalid slice index -1|index out of bounds" 16 _ = a[:-1] // ERROR "invalid slice index -1|index out of bounds" 17 _ = a[10] // ERROR "invalid array index 10|index out of bounds" 18 _ = a[9:10] 19 _ = a[10:10] 20 _ = a[9:12] // ERROR "invalid slice index 12|index out of bounds" 21 _ = a[11:12] // ERROR "invalid slice index 11|index out of bounds" 22 _ = a[1<<100 : 1<<110] // ERROR "overflows int" "invalid slice index 1 << 100|index out of bounds" 23 24 var s []int 25 _ = s[-1] // ERROR "invalid slice index -1|index out of bounds" 26 _ = s[-1:] // ERROR "invalid slice index -1|index out of bounds" 27 _ = s[:-1] // ERROR "invalid slice index -1|index out of bounds" 28 _ = s[10] 29 _ = s[9:10] 30 _ = s[10:10] 31 _ = s[9:12] 32 _ = s[11:12] 33 _ = s[1<<100 : 1<<110] // ERROR "overflows int" "invalid slice index 1 << 100|index out of bounds" 34 35 const c = "foofoofoof" 36 _ = c[-1] // ERROR "invalid string index -1|index out of bounds" 37 _ = c[-1:] // ERROR "invalid slice index -1|index out of bounds" 38 _ = c[:-1] // ERROR "invalid slice index -1|index out of bounds" 39 _ = c[10] // ERROR "invalid string index 10|index out of bounds" 40 _ = c[9:10] 41 _ = c[10:10] 42 _ = c[9:12] // ERROR "invalid slice index 12|index out of bounds" 43 _ = c[11:12] // ERROR "invalid slice index 11|index out of bounds" 44 _ = c[1<<100 : 1<<110] // ERROR "overflows int" "invalid slice index 1 << 100|index out of bounds" 45 46 var t string 47 _ = t[-1] // ERROR "invalid string index -1|index out of bounds" 48 _ = t[-1:] // ERROR "invalid slice index -1|index out of bounds" 49 _ = t[:-1] // ERROR "invalid slice index -1|index out of bounds" 50 _ = t[10] 51 _ = t[9:10] 52 _ = t[10:10] 53 _ = t[9:12] 54 _ = t[11:12] 55 _ = t[1<<100 : 1<<110] // ERROR "overflows int" "invalid slice index 1 << 100|index out of bounds" 56 } 57
