annotate lib/c-stack.c @ 40057:b06060465f09

maint: Run 'make update-copyright'
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 01 Jan 2019 00:25:11 +0100
parents 791f51373ba1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 19579
diff changeset
3 Copyright (C) 2002, 2004, 2006, 2008-2019 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
19190
9759915b2aca all: prefer https: URLs
Paul Eggert <eggert@cs.ucla.edu>
parents: 18626
diff changeset
16 along with this program. If not, see <https://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
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
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"
18397
dbcfb44c9695 Port modules to use getprogname explicitly
Pino Toscano <ptoscano@redhat.com>
parents: 18189
diff changeset
81 #include "getprogname.h"
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
82
10230
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
83 #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
84 # 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
85 #else
14184
3cb76305b3e9 c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents: 14079
diff changeset
86 # define SIGINFO_WORKS 0
10960
a412de948252 Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents: 10851
diff changeset
87 # ifndef SA_ONSTACK
a412de948252 Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents: 10851
diff changeset
88 # define SA_ONSTACK 0
a412de948252 Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents: 10851
diff changeset
89 # endif
4969
0db24850c598 Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents: 4915
diff changeset
90 #endif
0db24850c598 Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents: 4915
diff changeset
91
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
92 /* 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
93 or stack overflow occurs. */
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
94 static void (* volatile segv_action) (int);
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
95
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
96 /* 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
97 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
98 async-signal-safe. */
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
99 static char const * volatile program_error_message;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
100 static char const * volatile stack_overflow_message;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
101
19570
65e2d81e2034 c-stack: port to recent GCC build
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
102 #if ((HAVE_LIBSIGSEGV && ! HAVE_XSI_STACK_OVERFLOW_HEURISTIC) \
65e2d81e2034 c-stack: port to recent GCC build
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
103 || (HAVE_SIGALTSTACK && HAVE_DECL_SIGALTSTACK \
19579
791f51373ba1 c-stack: Fix possible build failure on some platforms.
Bruno Haible <bruno@clisp.org>
parents: 19570
diff changeset
104 && HAVE_STACK_OVERFLOW_HANDLING))
19570
65e2d81e2034 c-stack: port to recent GCC build
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
105
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
106 /* 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
107 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
108 otherwise. This function is async-signal-safe. */
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
109
15399
75580bffd82c c-stack: use _Noreturn
Paul Eggert <eggert@cs.ucla.edu>
parents: 15303
diff changeset
110 static _Noreturn void
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
111 die (int signo)
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
112 {
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
113 char const *message;
14225
cda7d779145b c-stack: fix regression on cygwin when libsigsegv is present
Eric Blake <eblake@redhat.com>
parents: 14184
diff changeset
114 #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
115 /* 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
116 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
117 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
118 signo = 0;
14225
cda7d779145b c-stack: fix regression on cygwin when libsigsegv is present
Eric Blake <eblake@redhat.com>
parents: 14184
diff changeset
119 #endif /* !SIGINFO_WORKS && !HAVE_LIBSIGSEGV */
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
120 segv_action (signo);
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
121 message = signo ? program_error_message : stack_overflow_message;
18397
dbcfb44c9695 Port modules to use getprogname explicitly
Pino Toscano <ptoscano@redhat.com>
parents: 18189
diff changeset
122 ignore_value (write (STDERR_FILENO, getprogname (), strlen (getprogname ())));
12333
d904c3a8f14c c-stack: avoid "ignoring return value of `write'" warning
Jim Meyering <meyering@redhat.com>
parents: 11941
diff changeset
123 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
124 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
125 ignore_value (write (STDERR_FILENO, "\n", 1));
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
126 if (! signo)
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
127 _exit (exit_failure);
10003
655ec8b9fbde Use 'raise'.
Bruno Haible <bruno@clisp.org>
parents: 9830
diff changeset
128 raise (signo);
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
129 abort ();
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
130 }
19570
65e2d81e2034 c-stack: port to recent GCC build
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
131 #endif
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
132
10358
37fd490ee38d c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents: 10279
diff changeset
133 #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
134 && HAVE_STACK_OVERFLOW_HANDLING) || HAVE_LIBSIGSEGV
10276
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
135
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
136 /* Storage for the alternate signal stack. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
137 static union
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
138 {
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
139 char buffer[SIGSTKSZ];
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
140
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
141 /* 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
142 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
143 in practice. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
144 long double ld;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
145 long l;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
146 void *p;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
147 } alternate_signal_stack;
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 static void
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
150 null_action (int signo __attribute__ ((unused)))
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 }
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
153
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
154 #endif /* SIGALTSTACK || LIBSIGSEGV */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
155
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
156 /* 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
157 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
158 library. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
159 #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
160
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
161 /* 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
162 static volatile int segv_handler_missing;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
163
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
164 /* 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
165 overflow. This function is async-signal-safe. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
166
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
167 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
168 int serious)
10276
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
169 {
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
170 # if DEBUG
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 char buf[1024];
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
173 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
174 write (STDERR_FILENO, buf, strlen (buf));
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
175 }
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
176 # endif
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
177
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
178 /* 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
179 handler take a shot at it. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
180 if (!serious)
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
181 return 0;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
182 die (SIGSEGV);
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
183 }
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
184
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
185 /* 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
186 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
187
15399
75580bffd82c c-stack: use _Noreturn
Paul Eggert <eggert@cs.ucla.edu>
parents: 15303
diff changeset
188 static _Noreturn void
10276
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
189 overflow_handler (int emergency,
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
190 stackoverflow_context_t context __attribute__ ((unused)))
10276
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
191 {
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
192 # if DEBUG
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
193 {
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
194 char buf[1024];
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
195 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
196 emergency, segv_handler_missing);
10276
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
197 write (STDERR_FILENO, buf, strlen (buf));
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 # endif
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
200
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
201 die ((!emergency || segv_handler_missing) ? 0 : SIGSEGV);
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
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
204 int
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
205 c_stack_action (void (*action) (int))
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 segv_action = action ? action : null_action;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
208 program_error_message = _("program error");
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
209 stack_overflow_message = _("stack overflow");
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
210
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
211 /* Always install the overflow handler. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
212 if (stackoverflow_install_handler (overflow_handler,
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
213 alternate_signal_stack.buffer,
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
214 sizeof alternate_signal_stack.buffer))
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
215 {
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
216 errno = ENOTSUP;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
217 return -1;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
218 }
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
219 /* 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
220 segv as stack overflow. */
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
221 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
222 return 0;
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
223 }
adfc5a204195 Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents: 10230
diff changeset
224
10358
37fd490ee38d c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents: 10279
diff changeset
225 #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
226
14184
3cb76305b3e9 c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents: 14079
diff changeset
227 # if SIGINFO_WORKS
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
228
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
229 /* 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
230 async-signal-safe. */
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
231
15399
75580bffd82c c-stack: use _Noreturn
Paul Eggert <eggert@cs.ucla.edu>
parents: 15303
diff changeset
232 static _Noreturn void
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
233 segv_handler (int signo, siginfo_t *info,
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
234 void *context __attribute__ ((unused)))
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
235 {
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
236 /* 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
237 # 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
238 /* 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
239 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
240 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
241
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 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
243 sigaltstack, SA_ONSTACK, and SA_SIGINFO, currently only
16358
a712776b11ce maint: spelling fixes
Paul Eggert <eggert@cs.ucla.edu>
parents: 16201
diff changeset
244 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
245 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
246 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
247 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
248 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
249 # else
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
250 if (0 < info->si_code)
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
251 {
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
252 /* 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
253 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
254 ucontext_t const *user_context = context;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
255 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
256 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
257 char const *faulting_address = info->si_addr;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
258 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
259 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
260 if (s < stack_size + 2 * page_size)
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
261 signo = 0;
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
262
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
263 # if DEBUG
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
264 {
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
265 char buf[1024];
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
266 sprintf (buf,
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
267 "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
268 faulting_address, stack_base, (unsigned long) stack_size,
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
269 (unsigned long) page_size, signo);
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
270 write (STDERR_FILENO, buf, strlen (buf));
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
271 }
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
272 # 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
273 }
3902
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 die (signo);
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
277 }
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
278 # endif
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
279
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
280 int
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
281 c_stack_action (void (*action) (int))
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
282 {
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
283 int r;
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
284 stack_t st;
10230
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
285 struct sigaction act;
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
286 st.ss_flags = 0;
10470
9867f4fee019 c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents: 10358
diff changeset
287 # if SIGALTSTACK_SS_REVERSED
9867f4fee019 c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents: 10358
diff changeset
288 /* 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
289 lower bound, of the alternate stack. */
9867f4fee019 c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents: 10358
diff changeset
290 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
291 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
292 # else
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
293 st.ss_sp = alternate_signal_stack.buffer;
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
294 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
295 # endif
10230
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
296 r = sigaltstack (&st, NULL);
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
297 if (r != 0)
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
298 return r;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
299
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
300 segv_action = action ? action : null_action;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
301 program_error_message = _("program error");
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
302 stack_overflow_message = _("stack overflow");
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
303
10230
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
304 sigemptyset (&act.sa_mask);
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
305
14184
3cb76305b3e9 c-stack: assume stack overflow if SA_SIGINFO unsupported
Eric Blake <eblake@redhat.com>
parents: 14079
diff changeset
306 # if SIGINFO_WORKS
10230
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
307 /* 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
308 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
309 SA_NODEFER here, so leave it in. */
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
310 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
311 act.sa_sigaction = segv_handler;
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
312 # else
10960
a412de948252 Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents: 10851
diff changeset
313 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
314 act.sa_handler = die;
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
315 # endif
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
316
10851
d31da80e6c50 Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents: 10470
diff changeset
317 # if FAULT_YIELDS_SIGBUS
d31da80e6c50 Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents: 10470
diff changeset
318 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
319 return -1;
d31da80e6c50 Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents: 10470
diff changeset
320 # endif
10230
54813304edd2 Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents: 10214
diff changeset
321 return sigaction (SIGSEGV, &act, NULL);
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
10358
37fd490ee38d c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents: 10279
diff changeset
324 #else /* ! ((HAVE_SIGALTSTACK && HAVE_DECL_SIGALTSTACK
12421
e8d2c6fc33ad Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents: 12335
diff changeset
325 && HAVE_STACK_OVERFLOW_HANDLING) || HAVE_LIBSIGSEGV) */
3902
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
326
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
327 int
4915
7994c15009db Merge from diffutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 3921
diff changeset
328 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
329 {
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
330 errno = ENOTSUP;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
331 return -1;
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
332 }
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
333
f26afed46772 New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
334 #endif