blob: 57260f58a1f7a10d1e1d2352a032aa744f06ca85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#if 0
#ifndef _POSIX_SOURCE
#define _POSIX_SOURCE
#define POSIX_FORCED
#endif
#include <sys/types.h>
#include <signal.h>
/* FIXME: Linux specific, doesn't even work */
#undef SA_RESTART
#define SA_RESTART 0x10000000
/** set a signal handler **/
void (*signal(int sig, void (*func)(int)))(int)
{
struct sigaction sa = { 0 }, osa = { 0 };
sa.sa_handler = func;
sigemptyset(&sa.sa_mask);
sigaddset(&sa.sa_mask, sig);
sa.sa_flags = SA_RESTART;
if (sigaction(sig, &sa, &osa) != 0) {
return SIG_ERR;
}
/*
RETURN_SUCCESS(a pointer to the signal handler);
RETURN_FAILURE(CONSTANT(SIG_ERR), the request could not be honored);
*/
return osa.sa_handler;
}
/***
sets the signal handler for the signal specified by ARGUMENT(sig) to
ARGUMENT(func).
Specifying CONSTANT(SIG_DFL) for ARGUMENT(func) resets the signal handler
to its default behavior.
Specifying CONSTANT(SIG_IGN) for ARGUMENT(func) causes the signal
ARGUMENT(sig) to be ignored.
Otherwise, ARGUMENT(func) must be a pointer to a function which takes a
single TYPE(int) argument and does not return a value.
***/
/*
UNDEFINED(A signal handler for CONSTANT(SIGFPE) returns)
UNDEFINED(A signal handler calling standard library functions other than THIS() if the signal occurs as other than as a result of calling FUNCTION(abort) or FUNCTION(raise))
UNDEFINED(FIXME: some function calls from signal handlers)
IMPLEMENTATION(Whether signal blocking is performed when a signal occurs)
IMPLEMENTATION(Other signals corresponding to computation exceptions for which signal handlers must not return)
STDC(1)
*/
#endif
|
