13 constant int ILL_RESAD_FAULT;
14 constant int ILL_PRIVIN_FAULT;
15 constant int ILL_RESOP_FAULT;
16 constant int ILL_VECOP_FAULT;
17 constant int ILL_VECINST_FAULT;
28 constant int FPE_INTOVF_TRAP;
29 constant int FPE_INTDIV_TRAP;
30 constant int FPE_FLTOVF_TRAP;
31 constant int FPE_FLTDIV_TRAP;
32 constant int FPE_FLTUND_TRAP;
33 constant int FPE_DECOVF_TRAP;
34 constant int FPE_SUBRNG_TRAP;
35 constant int FPE_FLTOVF_FAULT;
36 constant int FPE_FLTDIV_FAULT;
37 constant int FPE_FLTUND_FAULT;
41 constant int FPE_VECTOR ;
42 constant int VFPE_FLTUND_TRAP ;
43 constant int VFPE_FLTDIV_TRAP ;
44 constant int VFPE_FLTRSV_TRAP ;
45 constant int VPFE_FLTOVF_FAULT ;
46 constant int VFPE_INTOVF_TRAP ;
49 constant int SIGKILL ;
51 constant int SIGSEGV ;
53 constant int SIGPIPE ;
54 constant int SIGALRM ;
55 constant int SIGTERM ;
58 constant int TERM_VECT_HARD ;
59 constant int TERM_VECT_TOOMANY ;
63 constant int SIGSTOP ;
64 constant int SIGTSTP ;
65 constant int SIGCONT ;
66 constant int SIGCHLD ;
67 constant int SIGTTIN ;
68 constant int SIGTTOU ;
70 constant int SIGXCPU ;
71 constant int SIGXFSZ ;
72 constant int SIGVTALRM ;
73 constant int SIGPROF ;
74 constant int SIGWINCH ;
75 constant int SIGLOST ;
76 constant int SIGUSR1 ;
77 constant int SIGUSR2 ;
82 constant int BRK_USERBP ;
83 constant int BRK_KERNELBP ;
84 constant int BRK_ABORT ;
85 constant int BRK_BD_TAKEN ;
86 constant int BRK_BD_NOTTAKEN ;
87 constant int BRK_SSTEPBP ;
88 constant int BRK_OVERFLOW ;
89 constant int BRK_DIVZERO;
90 constant int BRK_RANGE ;
91 constant int BRK_STACKOVERFLOW;
93 typedef long sig_atomic_t;
96 typedef struct sigvec {
102 typedef struct sigaction {
103 void (*sa_handler)();
108 constant int SV_ONSTACK ;
109 constant int SV_INTERRUPT ;
111 constant int SA_NOCLDSTOP ;
113 constant int SV_OLDSIG ;
114 constant int sv_onstack ;
116 constant int SIG_BLOCK ;
117 constant int SIG_UNBLOCK ;
118 constant int SIG_SETMASK ;
120 typedef struct sigstack {
125 typedef struct sigcontext {
141 typedef void(*__scp)(int);
143 constant __scp BADSIG;
144 constant __scp SIG_ERR;
145 constant __scp SIG_DFL;
146 constant __scp SIG_IGN;
151 void (*signal(int __sig, void(*__func)(int)))(int) { ensures true; }
153 int raise( int __sig ) { ensures true; }
154 int kill( pid_t __pid, int __sig ) { ensures true; }
155 int sigemptyset( sigset_t *__set ) { ensures true; }
156 int sigfillset( sigset_t *__set ) { ensures true; }
157 int sigaddset( sigset_t *__set, int __signo ) { ensures true; }
158 int sigdelset( sigset_t *__set, int __signo ) { ensures true; }
159 int sigismember( sigset_t *__set, int __signo ) { ensures true; }
160 int sigaction( int __sig, struct sigaction *__act,
161 struct sigaction *__oact ) { ensures true; }
162 int sigprocmask( int __how, sigset_t *__set, sigset_t *__oset ) { ensures true; }
163 int sigpending( sigset_t *__set ) { ensures true; }
164 int sigsuspend( sigset_t *__sigmask ) { ensures true; }
166 int sigmask(int m) { ensures true; } /* i think...? */