OSDN Git Service

6f3ff6c511bf9f2d17a5bba05cc01503cc33334c
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / cleanup-8.c
1 /* { dg-do run { target hppa*-*-hpux* *-*-linux* powerpc*-*-darwin* *-*-darwin[912]*} } */
2 /* { dg-options "-fexceptions -fnon-call-exceptions -O2" } */
3 /* Verify that cleanups work with exception handling through signal
4    frames.  */
5
6 #include <unwind.h>
7 #include <stdlib.h>
8 #include <signal.h>
9 #include <string.h>
10
11 static _Unwind_Reason_Code
12 force_unwind_stop (int version, _Unwind_Action actions,
13                    _Unwind_Exception_Class exc_class,
14                    struct _Unwind_Exception *exc_obj,
15                    struct _Unwind_Context *context,
16                    void *stop_parameter)
17 {
18   if (actions & _UA_END_OF_STACK)
19     abort ();
20   return _URC_NO_REASON;
21 }
22
23 static void force_unwind ()
24 {
25   struct _Unwind_Exception *exc = malloc (sizeof (*exc));
26   memset (&exc->exception_class, 0, sizeof (exc->exception_class));
27   exc->exception_cleanup = 0;
28                    
29 #ifndef __USING_SJLJ_EXCEPTIONS__
30   _Unwind_ForcedUnwind (exc, force_unwind_stop, 0);
31 #else
32   _Unwind_SjLj_ForcedUnwind (exc, force_unwind_stop, 0);
33 #endif
34                    
35   abort ();
36 }
37
38 int count;
39 char *null;
40
41 static void counter (void *p __attribute__((unused)))
42 {
43   ++count;
44 }
45
46 static void handler (void *p __attribute__((unused)))
47 {
48   if (count != 2)
49     abort ();
50   exit (0);
51 }
52
53 static int __attribute__((noinline)) fn5 ()
54 {
55   char dummy __attribute__((cleanup (counter)));
56   force_unwind ();
57   return 0;
58 }
59
60 static void fn4 (int sig)
61 {
62   char dummy __attribute__((cleanup (counter)));
63   fn5 ();
64   null = NULL;
65 }
66
67 static void fn3 ()
68 {
69   abort ();
70 }
71
72 static int __attribute__((noinline)) fn2 ()
73 {
74   *null = 0;
75   fn3 ();
76   return 0;
77 }
78
79 static int __attribute__((noinline)) fn1 ()
80 {
81   signal (SIGSEGV, fn4);
82   signal (SIGBUS, fn4);
83   fn2 ();
84   return 0;
85 }
86
87 static int __attribute__((noinline)) fn0 ()
88 {
89   char dummy __attribute__((cleanup (handler)));
90   fn1 ();
91   null = 0;
92   return 0;
93 }
94
95 int main()
96
97   fn0 ();
98   abort ();
99 }