blob: c95af8f62f836825e399e7459a6b230a6a1d6bbd (
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
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
|
// $G $D/$F.go && $L $F.$A && ./$A.out
// Copyright 2010 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.
// Test of recover for run-time errors.
// TODO(rsc):
// integer divide by zero?
// null pointer accesses
package main
import (
"os"
"strings"
"syscall"
)
var x = make([]byte, 10)
func main() {
test1()
test2()
test3()
test4()
test5()
test6()
test7()
}
func mustRecover(s string) {
v := recover()
if v == nil {
panic("expected panic")
}
if e := v.(os.Error).String(); strings.Index(e, s) < 0 {
panic("want: " + s + "; have: " + e)
}
}
func test1() {
defer mustRecover("index")
println(x[123])
}
func test2() {
defer mustRecover("slice")
println(x[5:15])
}
func test3() {
defer mustRecover("slice")
var lo = 11
var hi = 9
println(x[lo:hi])
}
func test4() {
defer mustRecover("interface")
var x interface{} = 1
println(x.(float))
}
type T struct {
a, b int
}
func test5() {
defer mustRecover("uncomparable")
var x T
var z interface{} = x
println(z != z)
}
func test6() {
defer mustRecover("unhashable")
var x T
var z interface{} = x
m := make(map[interface{}]int)
m[z] = 1
}
func test7() {
if syscall.ARCH == "arm" || syscall.OS == "nacl" {
// ARM doesn't have integer divide trap yet
return
}
defer mustRecover("divide by zero")
var x, y int
println(x / y)
}
|
