summaryrefslogtreecommitdiffstats
path: root/test/fixedbugs/issue4232.go
blob: f49c6152e0c2b5e50f0669e09948b88cb719eafa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
// errorcheck

// Copyright 2013 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.

// issue 4232
// issue 7200

package p

func f() {
	var a [10]int
	_ = a[-1]  // ERROR "invalid array index -1|index out of bounds|must not be negative"
	_ = a[-1:] // ERROR "invalid slice index -1|index out of bounds|must not be negative"
	_ = a[:-1] // ERROR "invalid slice index -1|index out of bounds|must not be negative"
	_ = a[10]  // ERROR "invalid array index 10|index .*out of bounds"
	_ = a[9:10]
	_ = a[10:10]
	_ = a[9:12]            // ERROR "invalid slice index 12|index .*out of bounds"
	_ = a[11:12]           // ERROR "invalid slice index 11|index .*out of bounds"
	_ = a[1<<100 : 1<<110] // ERROR "overflows int|integer constant overflow|invalid slice index 1 << 100|index out of bounds"

	var s []int
	_ = s[-1]  // ERROR "invalid slice index -1|index .*out of bounds|must not be negative"
	_ = s[-1:] // ERROR "invalid slice index -1|index .*out of bounds|must not be negative"
	_ = s[:-1] // ERROR "invalid slice index -1|index .*out of bounds|must not be negative"
	_ = s[10]
	_ = s[9:10]
	_ = s[10:10]
	_ = s[9:12]
	_ = s[11:12]
	_ = s[1<<100 : 1<<110] // ERROR "overflows int|integer constant overflow|invalid slice index 1 << 100|index out of bounds"

	const c = "foofoofoof"
	_ = c[-1]  // ERROR "invalid string index -1|index out of bounds|must not be negative"
	_ = c[-1:] // ERROR "invalid slice index -1|index out of bounds|must not be negative"
	_ = c[:-1] // ERROR "invalid slice index -1|index out of bounds|must not be negative"
	_ = c[10]  // ERROR "invalid string index 10|index .*out of bounds"
	_ = c[9:10]
	_ = c[10:10]
	_ = c[9:12]            // ERROR "invalid slice index 12|index .*out of bounds"
	_ = c[11:12]           // ERROR "invalid slice index 11|index .*out of bounds"
	_ = c[1<<100 : 1<<110] // ERROR "overflows int|integer constant overflow|invalid slice index 1 << 100|index out of bounds"

	var t string
	_ = t[-1]  // ERROR "invalid string index -1|index out of bounds|must not be negative"
	_ = t[-1:] // ERROR "invalid slice index -1|index out of bounds|must not be negative"
	_ = t[:-1] // ERROR "invalid slice index -1|index out of bounds|must not be negative"
	_ = t[10]
	_ = t[9:10]
	_ = t[10:10]
	_ = t[9:12]
	_ = t[11:12]
	_ = t[1<<100 : 1<<110] // ERROR "overflows int|integer constant overflow|invalid slice index 1 << 100|index out of bounds"
}