1 | /* Copyright (C) 2003-2021 Free Software Foundation, Inc. |
2 | This file is part of the GNU C Library. |
3 | Contributed by Ulrich Drepper <drepper@redhat.com> |
4 | and Richard Henderson <rth@redhat.com>, 2003. |
5 | |
6 | The GNU C Library is free software; you can redistribute it and/or |
7 | modify it under the terms of the GNU Lesser General Public |
8 | License as published by the Free Software Foundation; either |
9 | version 2.1 of the License, or (at your option) any later version. |
10 | |
11 | The GNU C Library is distributed in the hope that it will be useful, |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
14 | Lesser General Public License for more details. |
15 | |
16 | You should have received a copy of the GNU Lesser General Public |
17 | License along with the GNU C Library; if not, see |
18 | <https://www.gnu.org/licenses/>. */ |
19 | |
20 | #include <setjmp.h> |
21 | #include <stdio.h> |
22 | #include <stdlib.h> |
23 | #include <string.h> |
24 | #include <unistd.h> |
25 | #include "pthreadP.h" |
26 | #include <libc-diag.h> |
27 | #include <jmpbuf-unwind.h> |
28 | #include <shlib-compat.h> |
29 | |
30 | #ifdef _STACK_GROWS_DOWN |
31 | # define FRAME_LEFT(frame, other, adj) \ |
32 | ((uintptr_t) frame - adj >= (uintptr_t) other - adj) |
33 | #elif _STACK_GROWS_UP |
34 | # define FRAME_LEFT(frame, other, adj) \ |
35 | ((uintptr_t) frame - adj <= (uintptr_t) other - adj) |
36 | #else |
37 | # error "Define either _STACK_GROWS_DOWN or _STACK_GROWS_UP" |
38 | #endif |
39 | |
40 | static _Unwind_Reason_Code |
41 | unwind_stop (int version, _Unwind_Action actions, |
42 | _Unwind_Exception_Class exc_class, |
43 | struct _Unwind_Exception *exc_obj, |
44 | struct _Unwind_Context *context, void *stop_parameter) |
45 | { |
46 | struct pthread_unwind_buf *buf = stop_parameter; |
47 | struct pthread *self = THREAD_SELF; |
48 | struct _pthread_cleanup_buffer *curp = THREAD_GETMEM (self, cleanup); |
49 | int do_longjump = 0; |
50 | |
51 | /* Adjust all pointers used in comparisons, so that top of thread's |
52 | stack is at the top of address space. Without that, things break |
53 | if stack is allocated above the main stack. */ |
54 | uintptr_t adj = (uintptr_t) self->stackblock + self->stackblock_size; |
55 | |
56 | /* Do longjmp if we're at "end of stack", aka "end of unwind data". |
57 | We assume there are only C frame without unwind data in between |
58 | here and the jmp_buf target. Otherwise simply note that the CFA |
59 | of a function is NOT within it's stack frame; it's the SP of the |
60 | previous frame. */ |
61 | if ((actions & _UA_END_OF_STACK) |
62 | || ! _JMPBUF_CFA_UNWINDS_ADJ (buf->cancel_jmp_buf[0].jmp_buf, context, |
63 | adj)) |
64 | do_longjump = 1; |
65 | |
66 | if (__glibc_unlikely (curp != NULL)) |
67 | { |
68 | /* Handle the compatibility stuff. Execute all handlers |
69 | registered with the old method which would be unwound by this |
70 | step. */ |
71 | struct _pthread_cleanup_buffer *oldp = buf->priv.data.cleanup; |
72 | void *cfa = (void *) (_Unwind_Ptr) _Unwind_GetCFA (context); |
73 | |
74 | if (curp != oldp && (do_longjump || FRAME_LEFT (cfa, curp, adj))) |
75 | { |
76 | do |
77 | { |
78 | /* Pointer to the next element. */ |
79 | struct _pthread_cleanup_buffer *nextp = curp->__prev; |
80 | |
81 | /* Call the handler. */ |
82 | curp->__routine (curp->__arg); |
83 | |
84 | /* To the next. */ |
85 | curp = nextp; |
86 | } |
87 | while (curp != oldp |
88 | && (do_longjump || FRAME_LEFT (cfa, curp, adj))); |
89 | |
90 | /* Mark the current element as handled. */ |
91 | THREAD_SETMEM (self, cleanup, curp); |
92 | } |
93 | } |
94 | |
95 | DIAG_PUSH_NEEDS_COMMENT; |
96 | #if __GNUC_PREREQ (7, 0) |
97 | /* This call results in a -Wstringop-overflow warning because struct |
98 | pthread_unwind_buf is smaller than jmp_buf. setjmp and longjmp |
99 | do not use anything beyond the common prefix (they never access |
100 | the saved signal mask), so that is a false positive. */ |
101 | DIAG_IGNORE_NEEDS_COMMENT (11, "-Wstringop-overflow=" ); |
102 | #endif |
103 | if (do_longjump) |
104 | __libc_unwind_longjmp ((struct __jmp_buf_tag *) buf->cancel_jmp_buf, 1); |
105 | DIAG_POP_NEEDS_COMMENT; |
106 | |
107 | return _URC_NO_REASON; |
108 | } |
109 | |
110 | |
111 | static void |
112 | unwind_cleanup (_Unwind_Reason_Code reason, struct _Unwind_Exception *exc) |
113 | { |
114 | /* When we get here a C++ catch block didn't rethrow the object. We |
115 | cannot handle this case and therefore abort. */ |
116 | __libc_fatal ("FATAL: exception not rethrown\n" ); |
117 | } |
118 | |
119 | |
120 | void |
121 | __cleanup_fct_attribute __attribute ((noreturn)) |
122 | __pthread_unwind (__pthread_unwind_buf_t *buf) |
123 | { |
124 | struct pthread_unwind_buf *ibuf = (struct pthread_unwind_buf *) buf; |
125 | struct pthread *self = THREAD_SELF; |
126 | |
127 | /* This is not a catchable exception, so don't provide any details about |
128 | the exception type. We do need to initialize the field though. */ |
129 | THREAD_SETMEM (self, exc.exception_class, 0); |
130 | THREAD_SETMEM (self, exc.exception_cleanup, &unwind_cleanup); |
131 | |
132 | _Unwind_ForcedUnwind (&self->exc, unwind_stop, ibuf); |
133 | /* NOTREACHED */ |
134 | |
135 | /* We better do not get here. */ |
136 | abort (); |
137 | } |
138 | libc_hidden_def (__pthread_unwind) |
139 | |
140 | void |
141 | __cleanup_fct_attribute __attribute ((noreturn)) |
142 | ___pthread_unwind_next (__pthread_unwind_buf_t *buf) |
143 | { |
144 | struct pthread_unwind_buf *ibuf = (struct pthread_unwind_buf *) buf; |
145 | |
146 | __pthread_unwind ((__pthread_unwind_buf_t *) ibuf->priv.data.prev); |
147 | } |
148 | versioned_symbol (libc, ___pthread_unwind_next, __pthread_unwind_next, |
149 | GLIBC_2_34); |
150 | #if OTHER_SHLIB_COMPAT (libpthread, GLIBC_2_3_3, GLIBC_2_34) |
151 | compat_symbol (libpthread, ___pthread_unwind_next, __pthread_unwind_next, |
152 | GLIBC_2_3_3); |
153 | #endif |
154 | |