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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
|
// run
// 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.
package main
import (
"strings"
"unsafe"
)
func main() {
n := -1
testInts(uint64(n))
testBytes(uint64(n))
var t *byte
if unsafe.Sizeof(t) == 8 {
// Test mem > maxAlloc
testInts(1 << 59)
// Test elem.size*cap overflow
testInts(1<<63 - 1)
testInts(1<<64 - 1)
testBytes(1<<64 - 1)
} else {
testInts(1<<31 - 1)
// Test elem.size*cap overflow
testInts(1<<32 - 1)
testBytes(1<<32 - 1)
}
}
func shouldPanic(str string, f func()) {
defer func() {
err := recover()
if err == nil {
panic("did not panic")
}
s := err.(error).Error()
if !strings.Contains(s, str) {
panic("got panic " + s + ", want " + str)
}
}()
f()
}
func testInts(n uint64) {
testMakeInts(n)
testMakeCopyInts(n)
testMakeInAppendInts(n)
}
func testBytes(n uint64) {
testMakeBytes(n)
testMakeCopyBytes(n)
testMakeInAppendBytes(n)
}
// Test make panics for given length or capacity n.
func testMakeInts(n uint64) {
type T []int
shouldPanic("len out of range", func() { _ = make(T, int(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, int(n)) })
shouldPanic("len out of range", func() { _ = make(T, uint(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, uint(n)) })
shouldPanic("len out of range", func() { _ = make(T, int64(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, int64(n)) })
shouldPanic("len out of range", func() { _ = make(T, uint64(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, uint64(n)) })
}
func testMakeBytes(n uint64) {
type T []byte
shouldPanic("len out of range", func() { _ = make(T, int(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, int(n)) })
shouldPanic("len out of range", func() { _ = make(T, uint(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, uint(n)) })
shouldPanic("len out of range", func() { _ = make(T, int64(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, int64(n)) })
shouldPanic("len out of range", func() { _ = make(T, uint64(n)) })
shouldPanic("cap out of range", func() { _ = make(T, 0, uint64(n)) })
}
// Test make+copy panics since the gc compiler optimizes these
// to runtime.makeslicecopy calls.
func testMakeCopyInts(n uint64) {
type T []int
var c = make(T, 8)
shouldPanic("len out of range", func() { x := make(T, int(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, int(n)); copy(x, c) })
shouldPanic("len out of range", func() { x := make(T, uint(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, uint(n)); copy(x, c) })
shouldPanic("len out of range", func() { x := make(T, int64(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, int64(n)); copy(x, c) })
shouldPanic("len out of range", func() { x := make(T, uint64(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, uint64(n)); copy(x, c) })
}
func testMakeCopyBytes(n uint64) {
type T []byte
var c = make(T, 8)
shouldPanic("len out of range", func() { x := make(T, int(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, int(n)); copy(x, c) })
shouldPanic("len out of range", func() { x := make(T, uint(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, uint(n)); copy(x, c) })
shouldPanic("len out of range", func() { x := make(T, int64(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, int64(n)); copy(x, c) })
shouldPanic("len out of range", func() { x := make(T, uint64(n)); copy(x, c) })
shouldPanic("cap out of range", func() { x := make(T, 0, uint64(n)); copy(x, c) })
}
// Test make in append panics for int slices since the gc compiler optimizes makes in appends.
func testMakeInAppendInts(n uint64) {
type T []int
for _, length := range []int{0, 1} {
t := make(T, length)
shouldPanic("len out of range", func() { _ = append(t, make(T, int(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, int(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, int64(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, int64(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, uint64(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, uint64(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, int(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, int(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, uint(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, uint(n))...) })
}
}
func testMakeInAppendBytes(n uint64) {
type T []byte
for _, length := range []int{0, 1} {
t := make(T, length)
shouldPanic("len out of range", func() { _ = append(t, make(T, int(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, int(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, uint(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, uint(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, int64(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, int64(n))...) })
shouldPanic("len out of range", func() { _ = append(t, make(T, uint64(n))...) })
shouldPanic("cap out of range", func() { _ = append(t, make(T, 0, uint64(n))...) })
}
}
|
