Mercurial > hg > octave-lojdl > gnulib-hg
annotate lib/c-stack.c @ 16511:2074f2bf7216
math code: Add comments.
* lib/acosl.c: Add comment about related glibc source files.
* lib/asinl.c: Likewise.
* lib/atanl.c: Likewise.
* lib/expl.c: Likewise.
* lib/logl.c: Likewise.
* lib/sincosl.c: Likewise.
* lib/sinl.c: Likewise.
* lib/tanl.c: Likewise.
* lib/trigl.c: Likewise.
* lib/cosl.c: Likewise. Fix comments.
author | Bruno Haible <bruno@clisp.org> |
---|---|
date | Wed, 29 Feb 2012 12:30:07 +0100 |
parents | a712776b11ce |
children | e542fd46ad6f |
rev | line source |
---|---|
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
1 /* Stack overflow handling. |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
2 |
16201
8250f2777afc
maint: update all copyright year number ranges
Jim Meyering <meyering@redhat.com>
parents:
15399
diff
changeset
|
3 Copyright (C) 2002, 2004, 2006, 2008-2012 Free Software Foundation, Inc. |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
4 |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
7302
diff
changeset
|
5 This program is free software: you can redistribute it and/or modify |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
6 it under the terms of the GNU General Public License as published by |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
7302
diff
changeset
|
7 the Free Software Foundation; either version 3 of the License, or |
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
7302
diff
changeset
|
8 (at your option) any later version. |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
9 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
10 This program is distributed in the hope that it will be useful, |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
11 but WITHOUT ANY WARRANTY; without even the implied warranty of |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
13 GNU General Public License for more details. |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
14 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
15 You should have received a copy of the GNU General Public License |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
7302
diff
changeset
|
16 along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
17 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
18 /* Written by Paul Eggert. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
19 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
20 /* NOTES: |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
21 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
22 A program that uses alloca, dynamic arrays, or large local |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
23 variables may extend the stack by more than a page at a time. If |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
24 so, when the stack overflows the operating system may not detect |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
25 the overflow until the program uses the array, and this module may |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
26 incorrectly report a program error instead of a stack overflow. |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
27 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
28 To avoid this problem, allocate only small objects on the stack; a |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
29 program should be OK if it limits single allocations to a page or |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
30 less. Allocate larger arrays in static storage, or on the heap |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
31 (e.g., with malloc). Yes, this is a pain, but we don't know of any |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
32 better solution that is portable. |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
33 |
4915 | 34 No attempt has been made to deal with multithreaded applications. */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
35 |
7302
8a1a9361108c
* _fpending.c: Include <config.h> unconditionally, since we no
Paul Eggert <eggert@cs.ucla.edu>
parents:
6689
diff
changeset
|
36 #include <config.h> |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
37 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
38 #ifndef __attribute__ |
9613
c4fa39bf5223
Don't redefine __attribute__ without a need.
Bruno Haible <bruno@clisp.org>
parents:
9309
diff
changeset
|
39 # if __GNUC__ < 3 |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
40 # define __attribute__(x) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
41 # endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
42 #endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
43 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
44 #include "gettext.h" |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
45 #define _(msgid) gettext (msgid) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
46 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
47 #include <errno.h> |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
48 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
49 #include <signal.h> |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
50 #if ! HAVE_STACK_T && ! defined stack_t |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
51 typedef struct sigaltstack stack_t; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
52 #endif |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
53 #ifndef SIGSTKSZ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
54 # define SIGSTKSZ 16384 |
13818
7d63d145c370
c-stack: work around libsigsegv 2.8 bug
Eric Blake <eblake@redhat.com>
parents:
12559
diff
changeset
|
55 #elif HAVE_LIBSIGSEGV && SIGSTKSZ < 16384 |
7d63d145c370
c-stack: work around libsigsegv 2.8 bug
Eric Blake <eblake@redhat.com>
parents:
12559
diff
changeset
|
56 /* libsigsegv 2.6 through 2.8 have a bug where some architectures use |
7d63d145c370
c-stack: work around libsigsegv 2.8 bug
Eric Blake <eblake@redhat.com>
parents:
12559
diff
changeset
|
57 more than the Linux default of an 8k alternate stack when deciding |
7d63d145c370
c-stack: work around libsigsegv 2.8 bug
Eric Blake <eblake@redhat.com>
parents:
12559
diff
changeset
|
58 if a fault was caused by stack overflow. */ |
7d63d145c370
c-stack: work around libsigsegv 2.8 bug
Eric Blake <eblake@redhat.com>
parents:
12559
diff
changeset
|
59 # undef SIGSTKSZ |
7d63d145c370
c-stack: work around libsigsegv 2.8 bug
Eric Blake <eblake@redhat.com>
parents:
12559
diff
changeset
|
60 # define SIGSTKSZ 16384 |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
61 #endif |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
62 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
63 #include <stdlib.h> |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
64 #include <string.h> |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
65 |
10214
6fcac230dda4
Simplify c-stack prerequisites.
Eric Blake <ebb9@byu.net>
parents:
10213
diff
changeset
|
66 /* Posix 2001 declares ucontext_t in <ucontext.h>, Posix 200x in |
6fcac230dda4
Simplify c-stack prerequisites.
Eric Blake <ebb9@byu.net>
parents:
10213
diff
changeset
|
67 <signal.h>. */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
68 #if HAVE_UCONTEXT_H |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
69 # include <ucontext.h> |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
70 #endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
71 |
6689
93d578c7aa44
* lib/c-stack.c: Include unistd.h unconditionally, since we now assume
Paul Eggert <eggert@cs.ucla.edu>
parents:
6259
diff
changeset
|
72 #include <unistd.h> |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
73 |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
74 #if HAVE_LIBSIGSEGV |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
75 # include <sigsegv.h> |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
76 #endif |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
77 |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
78 #include "c-stack.h" |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
79 #include "exitfail.h" |
12333
d904c3a8f14c
c-stack: avoid "ignoring return value of `write'" warning
Jim Meyering <meyering@redhat.com>
parents:
11941
diff
changeset
|
80 #include "ignore-value.h" |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
81 |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
82 #if defined SA_ONSTACK && defined SA_SIGINFO |
14184
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
83 # define SIGINFO_WORKS 1 |
4969
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
84 #else |
14184
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
85 # define SIGINFO_WORKS 0 |
10960
a412de948252
Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents:
10851
diff
changeset
|
86 # ifndef SA_ONSTACK |
a412de948252
Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents:
10851
diff
changeset
|
87 # define SA_ONSTACK 0 |
a412de948252
Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents:
10851
diff
changeset
|
88 # endif |
4969
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
89 #endif |
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
90 |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
91 extern char *program_name; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
92 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
93 /* The user-specified action to take when a SEGV-related program error |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
94 or stack overflow occurs. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
95 static void (* volatile segv_action) (int); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
96 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
97 /* Translated messages for program errors and stack overflow. Do not |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
98 translate them in the signal handler, since gettext is not |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
99 async-signal-safe. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
100 static char const * volatile program_error_message; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
101 static char const * volatile stack_overflow_message; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
102 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
103 /* Output an error message, then exit with status EXIT_FAILURE if it |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
104 appears to have been a stack overflow, or with a core dump |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
105 otherwise. This function is async-signal-safe. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
106 |
15399 | 107 static _Noreturn void |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
108 die (int signo) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
109 { |
4915 | 110 char const *message; |
14225
cda7d779145b
c-stack: fix regression on cygwin when libsigsegv is present
Eric Blake <eblake@redhat.com>
parents:
14184
diff
changeset
|
111 #if !SIGINFO_WORKS && !HAVE_LIBSIGSEGV |
14184
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
112 /* We can't easily determine whether it is a stack overflow; so |
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
113 assume that the rest of our program is perfect (!) and that |
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
114 this segmentation violation is a stack overflow. */ |
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
115 signo = 0; |
14225
cda7d779145b
c-stack: fix regression on cygwin when libsigsegv is present
Eric Blake <eblake@redhat.com>
parents:
14184
diff
changeset
|
116 #endif /* !SIGINFO_WORKS && !HAVE_LIBSIGSEGV */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
117 segv_action (signo); |
4915 | 118 message = signo ? program_error_message : stack_overflow_message; |
12333
d904c3a8f14c
c-stack: avoid "ignoring return value of `write'" warning
Jim Meyering <meyering@redhat.com>
parents:
11941
diff
changeset
|
119 ignore_value (write (STDERR_FILENO, program_name, strlen (program_name))); |
d904c3a8f14c
c-stack: avoid "ignoring return value of `write'" warning
Jim Meyering <meyering@redhat.com>
parents:
11941
diff
changeset
|
120 ignore_value (write (STDERR_FILENO, ": ", 2)); |
d904c3a8f14c
c-stack: avoid "ignoring return value of `write'" warning
Jim Meyering <meyering@redhat.com>
parents:
11941
diff
changeset
|
121 ignore_value (write (STDERR_FILENO, message, strlen (message))); |
d904c3a8f14c
c-stack: avoid "ignoring return value of `write'" warning
Jim Meyering <meyering@redhat.com>
parents:
11941
diff
changeset
|
122 ignore_value (write (STDERR_FILENO, "\n", 1)); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
123 if (! signo) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
124 _exit (exit_failure); |
10003 | 125 raise (signo); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
126 abort (); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
127 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
128 |
10358
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
129 #if (HAVE_SIGALTSTACK && HAVE_DECL_SIGALTSTACK \ |
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
130 && HAVE_STACK_OVERFLOW_HANDLING) || HAVE_LIBSIGSEGV |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
131 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
132 /* Storage for the alternate signal stack. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
133 static union |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
134 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
135 char buffer[SIGSTKSZ]; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
136 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
137 /* These other members are for proper alignment. There's no |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
138 standard way to guarantee stack alignment, but this seems enough |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
139 in practice. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
140 long double ld; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
141 long l; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
142 void *p; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
143 } alternate_signal_stack; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
144 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
145 static void |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
146 null_action (int signo __attribute__ ((unused))) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
147 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
148 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
149 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
150 #endif /* SIGALTSTACK || LIBSIGSEGV */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
151 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
152 /* Only use libsigsegv if we need it; platforms like Solaris can |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
153 detect stack overflow without the overhead of an external |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
154 library. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
155 #if HAVE_LIBSIGSEGV && ! HAVE_XSI_STACK_OVERFLOW_HEURISTIC |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
156 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
157 /* Nonzero if general segv handler could not be installed. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
158 static volatile int segv_handler_missing; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
159 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
160 /* Handle a segmentation violation and exit if it cannot be stack |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
161 overflow. This function is async-signal-safe. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
162 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
163 static int segv_handler (void *address __attribute__ ((unused)), |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
164 int serious) |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
165 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
166 # if DEBUG |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
167 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
168 char buf[1024]; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
169 sprintf (buf, "segv_handler serious=%d\n", serious); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
170 write (STDERR_FILENO, buf, strlen (buf)); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
171 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
172 # endif |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
173 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
174 /* If this fault is not serious, return 0 to let the stack overflow |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
175 handler take a shot at it. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
176 if (!serious) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
177 return 0; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
178 die (SIGSEGV); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
179 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
180 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
181 /* Handle a segmentation violation that is likely to be a stack |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
182 overflow and exit. This function is async-signal-safe. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
183 |
15399 | 184 static _Noreturn void |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
185 overflow_handler (int emergency, |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
186 stackoverflow_context_t context __attribute__ ((unused))) |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
187 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
188 # if DEBUG |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
189 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
190 char buf[1024]; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
191 sprintf (buf, "overflow_handler emergency=%d segv_handler_missing=%d\n", |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
192 emergency, segv_handler_missing); |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
193 write (STDERR_FILENO, buf, strlen (buf)); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
194 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
195 # endif |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
196 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
197 die ((!emergency || segv_handler_missing) ? 0 : SIGSEGV); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
198 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
199 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
200 int |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
201 c_stack_action (void (*action) (int)) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
202 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
203 segv_action = action ? action : null_action; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
204 program_error_message = _("program error"); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
205 stack_overflow_message = _("stack overflow"); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
206 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
207 /* Always install the overflow handler. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
208 if (stackoverflow_install_handler (overflow_handler, |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
209 alternate_signal_stack.buffer, |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
210 sizeof alternate_signal_stack.buffer)) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
211 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
212 errno = ENOTSUP; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
213 return -1; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
214 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
215 /* Try installing a general handler; if it fails, then treat all |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
216 segv as stack overflow. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
217 segv_handler_missing = sigsegv_install_handler (segv_handler); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
218 return 0; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
219 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
220 |
10358
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
221 #elif HAVE_SIGALTSTACK && HAVE_DECL_SIGALTSTACK && HAVE_STACK_OVERFLOW_HANDLING |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
222 |
14184
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
223 # if SIGINFO_WORKS |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
224 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
225 /* Handle a segmentation violation and exit. This function is |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
226 async-signal-safe. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
227 |
15399 | 228 static _Noreturn void |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
229 segv_handler (int signo, siginfo_t *info, |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
230 void *context __attribute__ ((unused))) |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
231 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
232 /* Clear SIGNO if it seems to have been a stack overflow. */ |
11077
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
233 # if ! HAVE_XSI_STACK_OVERFLOW_HEURISTIC |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
234 /* We can't easily determine whether it is a stack overflow; so |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
235 assume that the rest of our program is perfect (!) and that |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
236 this segmentation violation is a stack overflow. |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
237 |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
238 Note that although both Linux and Solaris provide |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
239 sigaltstack, SA_ONSTACK, and SA_SIGINFO, currently only |
16358 | 240 Solaris satisfies the XSI heuristic. This is because |
11077
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
241 Solaris populates uc_stack with the details of the |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
242 interrupted stack, while Linux populates it with the details |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
243 of the current stack. */ |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
244 signo = 0; |
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
245 # else |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
246 if (0 < info->si_code) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
247 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
248 /* If the faulting address is within the stack, or within one |
15303
5fa23c9b72d6
c-stack: stop worrying about stack direction
Paul Eggert <eggert@cs.ucla.edu>
parents:
14225
diff
changeset
|
249 page of the stack, assume that it is a stack overflow. */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
250 ucontext_t const *user_context = context; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
251 char const *stack_base = user_context->uc_stack.ss_sp; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
252 size_t stack_size = user_context->uc_stack.ss_size; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
253 char const *faulting_address = info->si_addr; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
254 size_t page_size = sysconf (_SC_PAGESIZE); |
15303
5fa23c9b72d6
c-stack: stop worrying about stack direction
Paul Eggert <eggert@cs.ucla.edu>
parents:
14225
diff
changeset
|
255 size_t s = faulting_address - stack_base + page_size; |
5fa23c9b72d6
c-stack: stop worrying about stack direction
Paul Eggert <eggert@cs.ucla.edu>
parents:
14225
diff
changeset
|
256 if (s < stack_size + 2 * page_size) |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
257 signo = 0; |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
258 |
4915 | 259 # if DEBUG |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
260 { |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
261 char buf[1024]; |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
262 sprintf (buf, |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
263 "segv_handler fault=%p base=%p size=%lx page=%lx signo=%d\n", |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
264 faulting_address, stack_base, (unsigned long) stack_size, |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
265 (unsigned long) page_size, signo); |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
266 write (STDERR_FILENO, buf, strlen (buf)); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
267 } |
4915 | 268 # endif |
11077
ddb65537c2d0
On HP-UX, don't pretend it was a SIGSEGV when it was a stack overflow.
Bruno Haible <bruno@clisp.org>
parents:
11049
diff
changeset
|
269 } |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
270 # endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
271 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
272 die (signo); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
273 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
274 # endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
275 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
276 int |
4915 | 277 c_stack_action (void (*action) (int)) |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
278 { |
4915 | 279 int r; |
280 stack_t st; | |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
281 struct sigaction act; |
4915 | 282 st.ss_flags = 0; |
10470
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
283 # if SIGALTSTACK_SS_REVERSED |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
284 /* Irix mistakenly treats ss_sp as the upper bound, rather than |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
285 lower bound, of the alternate stack. */ |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
286 st.ss_sp = alternate_signal_stack.buffer + SIGSTKSZ - sizeof (void *); |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
287 st.ss_size = sizeof alternate_signal_stack.buffer - sizeof (void *); |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
288 # else |
4915 | 289 st.ss_sp = alternate_signal_stack.buffer; |
290 st.ss_size = sizeof alternate_signal_stack.buffer; | |
10470
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
291 # endif |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
292 r = sigaltstack (&st, NULL); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
293 if (r != 0) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
294 return r; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
295 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
296 segv_action = action ? action : null_action; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
297 program_error_message = _("program error"); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
298 stack_overflow_message = _("stack overflow"); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
299 |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
300 sigemptyset (&act.sa_mask); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
301 |
14184
3cb76305b3e9
c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents:
14079
diff
changeset
|
302 # if SIGINFO_WORKS |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
303 /* POSIX 1003.1-2001 says SA_RESETHAND implies SA_NODEFER, but |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
304 this is not true on Solaris 8 at least. It doesn't hurt to use |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
305 SA_NODEFER here, so leave it in. */ |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
306 act.sa_flags = SA_NODEFER | SA_ONSTACK | SA_RESETHAND | SA_SIGINFO; |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
307 act.sa_sigaction = segv_handler; |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
308 # else |
10960
a412de948252
Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents:
10851
diff
changeset
|
309 act.sa_flags = SA_NODEFER | SA_ONSTACK | SA_RESETHAND; |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
310 act.sa_handler = die; |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
311 # endif |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
312 |
10851
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
313 # if FAULT_YIELDS_SIGBUS |
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
314 if (sigaction (SIGBUS, &act, NULL) < 0) |
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
315 return -1; |
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
316 # endif |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
317 return sigaction (SIGSEGV, &act, NULL); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
318 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
319 |
10358
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
320 #else /* ! ((HAVE_SIGALTSTACK && HAVE_DECL_SIGALTSTACK |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
321 && HAVE_STACK_OVERFLOW_HANDLING) || HAVE_LIBSIGSEGV) */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
322 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
323 int |
4915 | 324 c_stack_action (void (*action) (int) __attribute__ ((unused))) |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
325 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
326 errno = ENOTSUP; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
327 return -1; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
328 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
329 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
330 #endif |