annotate gcc/testsuite/g++.dg/ext/cleanup-11.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
1 /* { dg-do run { target hppa*-*-hpux* *-*-linux* *-*-gnu* powerpc*-*-darwin* *-*-darwin[912]* *-*-uclinux* } } */
111
kono
parents:
diff changeset
2 /* { dg-options "-fexceptions -fnon-call-exceptions -O2" } */
kono
parents:
diff changeset
3 /* Verify that cleanups work with exception handling through realtime signal
kono
parents:
diff changeset
4 frames on alternate stack. */
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 #include <unwind.h>
kono
parents:
diff changeset
7 #include <stdlib.h>
kono
parents:
diff changeset
8 #include <signal.h>
kono
parents:
diff changeset
9 #include <unistd.h>
kono
parents:
diff changeset
10 #include <string.h>
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 static _Unwind_Reason_Code
kono
parents:
diff changeset
13 force_unwind_stop (int version, _Unwind_Action actions,
kono
parents:
diff changeset
14 _Unwind_Exception_Class exc_class,
kono
parents:
diff changeset
15 struct _Unwind_Exception *exc_obj,
kono
parents:
diff changeset
16 struct _Unwind_Context *context,
kono
parents:
diff changeset
17 void *stop_parameter)
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 if (actions & _UA_END_OF_STACK)
kono
parents:
diff changeset
20 abort ();
kono
parents:
diff changeset
21 return _URC_NO_REASON;
kono
parents:
diff changeset
22 }
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 static void force_unwind ()
kono
parents:
diff changeset
25 {
kono
parents:
diff changeset
26 struct _Unwind_Exception *exc
kono
parents:
diff changeset
27 = (struct _Unwind_Exception*) malloc (sizeof (*exc));
kono
parents:
diff changeset
28 memset (&exc->exception_class, 0, sizeof (exc->exception_class));
kono
parents:
diff changeset
29 exc->exception_cleanup = 0;
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 #ifndef __USING_SJLJ_EXCEPTIONS__
kono
parents:
diff changeset
32 _Unwind_ForcedUnwind (exc, force_unwind_stop, 0);
kono
parents:
diff changeset
33 #else
kono
parents:
diff changeset
34 _Unwind_SjLj_ForcedUnwind (exc, force_unwind_stop, 0);
kono
parents:
diff changeset
35 #endif
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 abort ();
kono
parents:
diff changeset
38 }
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 int count;
kono
parents:
diff changeset
41 char *null;
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 static void counter (void *p __attribute__((unused)))
kono
parents:
diff changeset
44 {
kono
parents:
diff changeset
45 ++count;
kono
parents:
diff changeset
46 }
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 static void handler (void *p __attribute__((unused)))
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 if (count != 2)
kono
parents:
diff changeset
51 abort ();
kono
parents:
diff changeset
52 exit (0);
kono
parents:
diff changeset
53 }
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 static int __attribute__((noinline)) fn5 ()
kono
parents:
diff changeset
56 {
kono
parents:
diff changeset
57 char dummy __attribute__((cleanup (counter)));
kono
parents:
diff changeset
58 force_unwind ();
kono
parents:
diff changeset
59 return 0;
kono
parents:
diff changeset
60 }
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 static void fn4 (int sig, siginfo_t *info, void *ctx)
kono
parents:
diff changeset
63 {
kono
parents:
diff changeset
64 char dummy __attribute__((cleanup (counter)));
kono
parents:
diff changeset
65 fn5 ();
kono
parents:
diff changeset
66 null = NULL;
kono
parents:
diff changeset
67 }
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 static void fn3 ()
kono
parents:
diff changeset
70 {
kono
parents:
diff changeset
71 abort ();
kono
parents:
diff changeset
72 }
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 static int __attribute__((noinline)) fn2 ()
kono
parents:
diff changeset
75 {
kono
parents:
diff changeset
76 *null = 0;
kono
parents:
diff changeset
77 fn3 ();
kono
parents:
diff changeset
78 return 0;
kono
parents:
diff changeset
79 }
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 static int __attribute__((noinline)) fn1 ()
kono
parents:
diff changeset
82 {
kono
parents:
diff changeset
83 stack_t ss;
kono
parents:
diff changeset
84 struct sigaction s;
kono
parents:
diff changeset
85
kono
parents:
diff changeset
86 ss.ss_size = 4 * sysconf (_SC_PAGESIZE);
kono
parents:
diff changeset
87 if (ss.ss_size < SIGSTKSZ)
kono
parents:
diff changeset
88 ss.ss_size = SIGSTKSZ;
kono
parents:
diff changeset
89 ss.ss_sp = malloc (ss.ss_size);
kono
parents:
diff changeset
90 if (ss.ss_sp == NULL)
kono
parents:
diff changeset
91 exit (1);
kono
parents:
diff changeset
92 ss.ss_flags = 0;
kono
parents:
diff changeset
93 if (sigaltstack (&ss, NULL) < 0)
kono
parents:
diff changeset
94 exit (1);
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 sigemptyset (&s.sa_mask);
kono
parents:
diff changeset
97 s.sa_sigaction = fn4;
kono
parents:
diff changeset
98 s.sa_flags = SA_RESETHAND | SA_ONSTACK | SA_SIGINFO;
kono
parents:
diff changeset
99 sigaction (SIGSEGV, &s, NULL);
kono
parents:
diff changeset
100 sigaction (SIGBUS, &s, NULL);
kono
parents:
diff changeset
101 fn2 ();
kono
parents:
diff changeset
102 return 0;
kono
parents:
diff changeset
103 }
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 static int __attribute__((noinline)) fn0 ()
kono
parents:
diff changeset
106 {
kono
parents:
diff changeset
107 char dummy __attribute__((cleanup (handler)));
kono
parents:
diff changeset
108 fn1 ();
kono
parents:
diff changeset
109 null = 0;
kono
parents:
diff changeset
110 return 0;
kono
parents:
diff changeset
111 }
kono
parents:
diff changeset
112
kono
parents:
diff changeset
113 int main()
kono
parents:
diff changeset
114 {
kono
parents:
diff changeset
115 fn0 ();
kono
parents:
diff changeset
116 abort ();
kono
parents:
diff changeset
117 }