Mercurial > hg > octave-lojdl > gnulib-hg
annotate lib/c-stack.c @ 14079:97fc9a21a8fb
maint: update almost all copyright ranges to include 2011
Run the new "make update-copyright" rule.
author | Jim Meyering <meyering@redhat.com> |
---|---|
date | Sat, 01 Jan 2011 20:17:23 +0100 |
parents | 7d63d145c370 |
children | 3cb76305b3e9 |
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 |
14079
97fc9a21a8fb
maint: update almost all copyright ranges to include 2011
Jim Meyering <meyering@redhat.com>
parents:
13818
diff
changeset
|
3 Copyright (C) 2002, 2004, 2006, 2008-2011 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 |
4969
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
83 # define SIGACTION_WORKS 1 |
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
84 #else |
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
85 # define SIGACTION_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 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
107 static void die (int) __attribute__ ((noreturn)); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
108 static void |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
109 die (int signo) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
110 { |
4915 | 111 char const *message; |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
112 segv_action (signo); |
4915 | 113 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
|
114 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
|
115 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
|
116 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
|
117 ignore_value (write (STDERR_FILENO, "\n", 1)); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
118 if (! signo) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
119 _exit (exit_failure); |
10003 | 120 raise (signo); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
121 abort (); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
122 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
123 |
10358
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
124 #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
|
125 && HAVE_STACK_OVERFLOW_HANDLING) || HAVE_LIBSIGSEGV |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
126 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
127 /* Storage for the alternate signal stack. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
128 static union |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
129 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
130 char buffer[SIGSTKSZ]; |
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 /* 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
|
133 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
|
134 in practice. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
135 long double ld; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
136 long l; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
137 void *p; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
138 } alternate_signal_stack; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
139 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
140 static void |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
141 null_action (int signo __attribute__ ((unused))) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
142 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
143 } |
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 #endif /* SIGALTSTACK || LIBSIGSEGV */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
146 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
147 /* 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
|
148 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
|
149 library. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
150 #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
|
151 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
152 /* 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
|
153 static volatile int segv_handler_missing; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
154 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
155 /* 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
|
156 overflow. This function is async-signal-safe. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
157 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
158 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
|
159 int serious) |
10276
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 # if DEBUG |
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 char buf[1024]; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
164 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
|
165 write (STDERR_FILENO, buf, strlen (buf)); |
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 # endif |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
168 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
169 /* 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
|
170 handler take a shot at it. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
171 if (!serious) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
172 return 0; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
173 die (SIGSEGV); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
174 } |
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 /* 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
|
177 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
|
178 |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
179 static void overflow_handler (int, stackoverflow_context_t) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
180 __attribute__ ((noreturn)); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
181 static void |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
182 overflow_handler (int emergency, |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
183 stackoverflow_context_t context __attribute__ ((unused))) |
10276
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 # if DEBUG |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
186 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
187 char buf[1024]; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
188 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
|
189 emergency, segv_handler_missing); |
10276
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
190 write (STDERR_FILENO, buf, strlen (buf)); |
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 # endif |
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 die ((!emergency || segv_handler_missing) ? 0 : SIGSEGV); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
195 } |
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 int |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
198 c_stack_action (void (*action) (int)) |
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 segv_action = action ? action : null_action; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
201 program_error_message = _("program error"); |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
202 stack_overflow_message = _("stack overflow"); |
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 /* Always install the overflow handler. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
205 if (stackoverflow_install_handler (overflow_handler, |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
206 alternate_signal_stack.buffer, |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
207 sizeof alternate_signal_stack.buffer)) |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
208 { |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
209 errno = ENOTSUP; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
210 return -1; |
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 /* 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
|
213 segv as stack overflow. */ |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
214 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
|
215 return 0; |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
216 } |
adfc5a204195
Make c-stack use libsigsegv, when available.
Eric Blake <ebb9@byu.net>
parents:
10230
diff
changeset
|
217 |
10358
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
218 #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
|
219 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
220 /* Direction of the C runtime stack. This function is |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
221 async-signal-safe. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
222 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
223 # if STACK_DIRECTION |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
224 # define find_stack_direction(ptr) STACK_DIRECTION |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
225 # else |
12335
d6110537824b
c-stack: avoid defining an unused static function
Jim Meyering <meyering@redhat.com>
parents:
12333
diff
changeset
|
226 # if ! SIGACTION_WORKS || HAVE_XSI_STACK_OVERFLOW_HEURISTIC |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
227 static int |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
228 find_stack_direction (char const *addr) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
229 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
230 char dummy; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
231 return ! addr ? find_stack_direction (&dummy) : addr < &dummy ? 1 : -1; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
232 } |
12335
d6110537824b
c-stack: avoid defining an unused static function
Jim Meyering <meyering@redhat.com>
parents:
12333
diff
changeset
|
233 # endif |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
234 # endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
235 |
4969
0db24850c598
Fix c-stack.c portability bug on IRIX 5.3.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4915
diff
changeset
|
236 # if SIGACTION_WORKS |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
237 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
238 /* 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
|
239 async-signal-safe. */ |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
240 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
241 static void segv_handler (int, siginfo_t *, void *) __attribute__((noreturn)); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
242 static void |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
243 segv_handler (int signo, siginfo_t *info, |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
244 void *context __attribute__ ((unused))) |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
245 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
246 /* 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
|
247 # 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
|
248 /* 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
|
249 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
|
250 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
|
251 |
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
|
252 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
|
253 sigaltstack, SA_ONSTACK, and SA_SIGINFO, currently only |
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
|
254 Solaris satisfies the XSI heueristic. This is because |
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
|
255 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
|
256 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
|
257 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
|
258 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
|
259 # else |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
260 if (0 < info->si_code) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
261 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
262 /* If the faulting address is within the stack, or within one |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
263 page of the stack end, assume that it is a stack |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
264 overflow. */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
265 ucontext_t const *user_context = context; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
266 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
|
267 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
|
268 char const *faulting_address = info->si_addr; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
269 size_t s = faulting_address - stack_base; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
270 size_t page_size = sysconf (_SC_PAGESIZE); |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
271 if (find_stack_direction (NULL) < 0) |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
272 s += page_size; |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
273 if (s < stack_size + page_size) |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
274 signo = 0; |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
275 |
4915 | 276 # if DEBUG |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
277 { |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
278 char buf[1024]; |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
279 sprintf (buf, |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
280 "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
|
281 faulting_address, stack_base, (unsigned long) stack_size, |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
282 (unsigned long) page_size, signo); |
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
283 write (STDERR_FILENO, buf, strlen (buf)); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
284 } |
4915 | 285 # 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
|
286 } |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
287 # endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
288 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
289 die (signo); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
290 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
291 # endif |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
292 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
293 int |
4915 | 294 c_stack_action (void (*action) (int)) |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
295 { |
4915 | 296 int r; |
297 stack_t st; | |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
298 struct sigaction act; |
4915 | 299 st.ss_flags = 0; |
10470
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
300 # if SIGALTSTACK_SS_REVERSED |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
301 /* 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
|
302 lower bound, of the alternate stack. */ |
9867f4fee019
c-stack: work around Irix sigaltstack bug
Eric Blake <ebb9@byu.net>
parents:
10358
diff
changeset
|
303 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
|
304 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
|
305 # else |
4915 | 306 st.ss_sp = alternate_signal_stack.buffer; |
307 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
|
308 # endif |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
309 r = sigaltstack (&st, NULL); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
310 if (r != 0) |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
311 return r; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
312 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
313 segv_action = action ? action : null_action; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
314 program_error_message = _("program error"); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
315 stack_overflow_message = _("stack overflow"); |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
316 |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
317 sigemptyset (&act.sa_mask); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
318 |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
319 # if SIGACTION_WORKS |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
320 /* 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
|
321 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
|
322 SA_NODEFER here, so leave it in. */ |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
323 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
|
324 act.sa_sigaction = segv_handler; |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
325 # else |
10960
a412de948252
Make c-stack work on Haiku.
Ingo Weinhold <ingo_weinhold@gmx.de>
parents:
10851
diff
changeset
|
326 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
|
327 act.sa_handler = die; |
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
328 # endif |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
329 |
10851
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
330 # if FAULT_YIELDS_SIGBUS |
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
331 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
|
332 return -1; |
d31da80e6c50
Treat SIGBUS like SIFSEGV on platforms that need it.
Bruno Haible <bruno@clisp.org>
parents:
10470
diff
changeset
|
333 # endif |
10230
54813304edd2
Use sigaction module rather than signal().
Eric Blake <ebb9@byu.net>
parents:
10214
diff
changeset
|
334 return sigaction (SIGSEGV, &act, NULL); |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
335 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
336 |
10358
37fd490ee38d
c-stack: test that stack overflow can be caught
Eric Blake <ebb9@byu.net>
parents:
10279
diff
changeset
|
337 #else /* ! ((HAVE_SIGALTSTACK && HAVE_DECL_SIGALTSTACK |
12421
e8d2c6fc33ad
Use spaces for indentation, not tabs.
Bruno Haible <bruno@clisp.org>
parents:
12335
diff
changeset
|
338 && HAVE_STACK_OVERFLOW_HANDLING) || HAVE_LIBSIGSEGV) */ |
3902
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
339 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
340 int |
4915 | 341 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
|
342 { |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
343 errno = ENOTSUP; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
344 return -1; |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
345 } |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
346 |
f26afed46772
New file, from diffutils-2.8.2.
Jim Meyering <jim@meyering.net>
parents:
diff
changeset
|
347 #endif |