OSDN Git Service

Add Go frontend, libgo library, and Go testsuite.
[pf3gnuchains/gcc-fork.git] / libgo / runtime / go-recover.c
1 /* go-recover.c -- support for the go recover function.
2
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
7 #include "interface.h"
8 #include "go-panic.h"
9 #include "go-defer.h"
10
11 /* This is called by a thunk to see if the real function should be
12    permitted to recover a panic value.  Recovering a value is
13    permitted if the thunk was called directly by defer.  RETADDR is
14    the return address of the function which is calling
15    __go_can_recover--this is, the thunk.  */
16
17 _Bool
18 __go_can_recover (const void* retaddr)
19 {
20   struct __go_defer_stack *d;
21   const char* ret;
22   const char* dret;
23
24   if (__go_panic_defer == NULL)
25     return 0;
26   d = __go_panic_defer->__defer;
27   if (d == NULL)
28     return 0;
29
30   /* The panic which this function would recover is the one on the top
31      of the panic stack.  We do not want to recover it if that panic
32      was on the top of the panic stack when this function was
33      deferred.  */
34   if (d->__panic == __go_panic_defer->__panic)
35     return 0;
36
37   /* D->__RETADDR is the address of a label immediately following the
38      call to the thunk.  We can recover a panic if that is the same as
39      the return address of the thunk.  We permit a bit of slack in
40      case there is any code between the function return and the label,
41      such as an instruction to adjust the stack pointer.  */
42
43   ret = (const char *) retaddr;
44   dret = (const char *) d->__retaddr;
45   return ret <= dret && ret + 16 >= dret;
46 }
47
48 /* This is only called when it is valid for the caller to recover the
49    value on top of the panic stack, if there is one.  */
50
51 struct __go_empty_interface
52 __go_recover ()
53 {
54   struct __go_panic_stack *p;
55
56   if (__go_panic_defer == NULL
57       || __go_panic_defer->__panic == NULL
58       || __go_panic_defer->__panic->__was_recovered)
59     {
60       struct __go_empty_interface ret;
61
62       ret.__type_descriptor = NULL;
63       ret.__object = NULL;
64       return ret;
65     }
66   p = __go_panic_defer->__panic;
67   p->__was_recovered = 1;
68   return p->__arg;
69 }