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
|
// [ $GOOS != nacl ] || exit 0 # NaCl cannot recover from signals
// $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.
package main
import (
"runtime"
"strings"
"syscall"
)
var didbug bool
func bug() {
if didbug {
return
}
println("BUG")
didbug = true
}
func check(name string, f func(), err string) {
defer func() {
v := recover()
if v == nil {
bug()
println(name, "did not panic")
return
}
runt, ok := v.(runtime.Error)
if !ok {
bug()
println(name, "panicked but not with runtime.Error")
return
}
s := runt.String()
if strings.Index(s, err) < 0 {
bug()
println(name, "panicked with", s, "not", err)
return
}
}()
f()
}
func main() {
var x int
var x64 int64
var p *[10]int
var q *[10000]int
var i int
// not catching divide by zero on the arm. is that even possible?
if syscall.ARCH != "arm" {
check("int-div-zero", func() { println(1/x) }, "integer divide by zero")
check("int64-div-zero", func() { println(1/x64) }, "integer divide by zero")
}
check("nil-deref", func() { println(p[0]) }, "nil pointer dereference")
check("nil-deref-1", func() { println(p[1]) }, "nil pointer dereference")
check("nil-deref-big", func() { println(q[5000]) }, "nil pointer dereference")
i = 99999
var sl []int
check("array-bounds", func() { println(p[i]) }, "index out of range")
check("slice-bounds", func() { println(sl[i]) }, "index out of range")
var inter interface{}
inter = 1
check("type-concrete", func() { println(inter.(string)) }, "int, not string")
check("type-interface", func() { println(inter.(m)) }, "missing method m")
}
type m interface{ m() }
|
