blob: e17bfb3f6aa53ab115bcefad02c8e61e06dead36 [file] [log] [blame]
Russ Cox57eb06f2012-02-16 23:51:04 -05001// run
Russ Cox5963dba2010-04-08 18:15:30 -07002
3// Copyright 2010 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
Rob Pike19bab1d2012-02-24 10:30:39 +11007// Test recovering from runtime errors.
8
Russ Cox5963dba2010-04-08 18:15:30 -07009package main
10
11import (
12 "runtime"
13 "strings"
Russ Cox5963dba2010-04-08 18:15:30 -070014)
15
16var didbug bool
17
18func bug() {
19 if didbug {
20 return
21 }
22 println("BUG")
23 didbug = true
24}
25
26func check(name string, f func(), err string) {
27 defer func() {
28 v := recover()
29 if v == nil {
30 bug()
31 println(name, "did not panic")
32 return
33 }
34 runt, ok := v.(runtime.Error)
35 if !ok {
36 bug()
37 println(name, "panicked but not with runtime.Error")
38 return
39 }
Russ Cox44526cd2011-11-01 22:06:05 -040040 s := runt.Error()
Russ Cox5963dba2010-04-08 18:15:30 -070041 if strings.Index(s, err) < 0 {
42 bug()
43 println(name, "panicked with", s, "not", err)
44 return
45 }
46 }()
Russ Cox8fff9162010-10-25 21:25:13 -070047
Russ Cox5963dba2010-04-08 18:15:30 -070048 f()
49}
50
51func main() {
52 var x int
53 var x64 int64
54 var p *[10]int
55 var q *[10000]int
56 var i int
57
Russ Cox8fff9162010-10-25 21:25:13 -070058 check("int-div-zero", func() { println(1 / x) }, "integer divide by zero")
59 check("int64-div-zero", func() { println(1 / x64) }, "integer divide by zero")
Russ Cox5963dba2010-04-08 18:15:30 -070060
61 check("nil-deref", func() { println(p[0]) }, "nil pointer dereference")
62 check("nil-deref-1", func() { println(p[1]) }, "nil pointer dereference")
63 check("nil-deref-big", func() { println(q[5000]) }, "nil pointer dereference")
64
65 i = 99999
66 var sl []int
Russ Cox08fdf002013-08-15 11:51:04 -040067 p1 := new([10]int)
68 check("array-bounds", func() { println(p1[i]) }, "index out of range")
Russ Cox5963dba2010-04-08 18:15:30 -070069 check("slice-bounds", func() { println(sl[i]) }, "index out of range")
Russ Cox8fff9162010-10-25 21:25:13 -070070
Russ Cox5963dba2010-04-08 18:15:30 -070071 var inter interface{}
72 inter = 1
73 check("type-concrete", func() { println(inter.(string)) }, "int, not string")
74 check("type-interface", func() { println(inter.(m)) }, "missing method m")
Alan Donovan052c9422013-02-12 13:17:49 -050075
76 if didbug {
77 panic("recover3")
78 }
Russ Cox5963dba2010-04-08 18:15:30 -070079}
80
Russ Cox8fff9162010-10-25 21:25:13 -070081type m interface {
82 m()
83}