[splint.git] / imports / signal.lcl

/*
** signal.h
*/

constant int NSIG;

constant int SIGHUP;
constant int SIGINT;
constant int SIGQUIT;
constant int SIGILL;


constant int     ILL_RESAD_FAULT;
constant int     ILL_PRIVIN_FAULT;
constant int     ILL_RESOP_FAULT;
constant int     ILL_VECOP_FAULT;
constant int     ILL_VECINST_FAULT;
 				 
 
constant int SIGTRAP;
constant int SIGIOT;
constant int SIGEMT;
constant int SIGFPE;


constant int     FPE_INTOVF_TRAP;
constant int     FPE_INTDIV_TRAP;
constant int     FPE_FLTOVF_TRAP;
constant int     FPE_FLTDIV_TRAP;
constant int     FPE_FLTUND_TRAP;
constant int     FPE_DECOVF_TRAP;
constant int     FPE_SUBRNG_TRAP;
constant int     FPE_FLTOVF_FAULT;
constant int     FPE_FLTDIV_FAULT;
constant int     FPE_FLTUND_FAULT;

 
constant int FPE_VECTOR          ;
constant int VFPE_FLTUND_TRAP    ;
constant int VFPE_FLTDIV_TRAP    ;
constant int VFPE_FLTRSV_TRAP    ;
constant int VPFE_FLTOVF_FAULT   ;
constant int VFPE_INTOVF_TRAP    ;


constant int SIGKILL  ;
constant int SIGBUS   ;
constant int SIGSEGV  ;
constant int SIGSYS   ;
constant int SIGPIPE  ;
constant int SIGALRM  ;
constant int SIGTERM  ;


constant int     TERM_VECT_HARD	;
constant int     TERM_VECT_TOOMANY ;


constant int SIGURG    ;
constant int SIGSTOP   ;
constant int SIGTSTP   ;
constant int SIGCONT   ;
constant int SIGCHLD   ;
constant int SIGTTIN   ;
constant int SIGTTOU   ;
constant int SIGIO     ;
constant int SIGXCPU   ;
constant int SIGXFSZ   ;
constant int SIGVTALRM ;
constant int SIGPROF   ;
constant int SIGWINCH  ;
constant int SIGLOST   ;
constant int SIGUSR1   ;
constant int SIGUSR2   ;
 
constant int SIGCLD ;
constant int SIGABRT;

constant int BRK_USERBP	;
constant int BRK_KERNELBP ;
constant int BRK_ABORT	;
constant int BRK_BD_TAKEN ;
constant int BRK_BD_NOTTAKEN ;
constant int BRK_SSTEPBP ;
constant int BRK_OVERFLOW ;
constant int BRK_DIVZERO; 
constant int BRK_RANGE ;
constant int BRK_STACKOVERFLOW;

typedef long sig_atomic_t;
typedef int sigset_t;  

typedef struct sigvec {
 void	 (*sv_handler)();	 
 sigset_t sv_mask;		 
 int	sv_flags;		 
} __sigvec;

typedef struct sigaction {
 void	 (*sa_handler)();	 
 sigset_t sa_mask;		 
 int	 sa_flags;		 
} __sigaction;

constant int SV_ONSTACK      ;
constant int SV_INTERRUPT    ;

constant int SA_NOCLDSTOP  ;

constant int SV_OLDSIG	; 
constant int sv_onstack ; 

constant int SIG_BLOCK ;
constant int SIG_UNBLOCK ;
constant int SIG_SETMASK	;

typedef struct sigstack {
 char	*ss_sp;			 
 int	ss_onstack;		 
} __sigstack ;

typedef struct sigcontext {
 int	sc_onstack;		 
 int	sc_mask;		 
 int	sc_pc;			 
 int	sc_regs[32];	 
 int	sc_mdlo;	 
 int	sc_mdhi;	 
 int	sc_ownedfp;	 
 int	sc_fpregs[32];	 
 int	sc_fpc_csr;	 
 int	sc_fpc_eir;	 
 int	sc_cause;	 
 int	sc_badvaddr;	 
 int	sc_badpaddr;	 
} __sigcontext; 

typedef void(*__scp)(int);

constant __scp BADSIG;
constant __scp SIG_ERR;
constant __scp SIG_DFL;
constant __scp SIG_IGN;

typedef int pid_t;

/*
   void (*signal(int __sig, void(*__func)(int)))(int) { ensures true; }
*/
int raise( int __sig ) { ensures true; }
int  kill( pid_t __pid, int __sig ) { ensures true; }
int  sigemptyset( sigset_t *__set ) { ensures true; }
int  sigfillset( sigset_t *__set ) { ensures true; }
int  sigaddset( sigset_t *__set, int __signo ) { ensures true; }
int sigdelset( sigset_t *__set, int __signo ) { ensures true; }
int sigismember(  sigset_t *__set, int __signo ) { ensures true; }
int  sigaction( int __sig,  struct sigaction *__act,
 	struct sigaction *__oact ) { ensures true; }
int  sigprocmask( int __how,  sigset_t *__set, sigset_t *__oset ) { ensures true; }
int sigpending( sigset_t *__set ) { ensures true; }
int sigsuspend(  sigset_t *__sigmask ) { ensures true; }

int sigmask(int m) { ensures true; } /* i think...? */
Commit	Line	Data
885824d3	1	/*
	2	** signal.h
	3	*/
	4
	5	constant int NSIG;
	6
	7	constant int SIGHUP;
	8	constant int SIGINT;
	9	constant int SIGQUIT;
	10	constant int SIGILL;
	11
	12
	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;
	18
	19
	20
	21
	22	constant int SIGTRAP;
	23	constant int SIGIOT;
	24	constant int SIGEMT;
	25	constant int SIGFPE;
	26
	27
	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;
	38
	39
	40
	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 ;
	47
	48
	49	constant int SIGKILL ;
	50	constant int SIGBUS ;
	51	constant int SIGSEGV ;
	52	constant int SIGSYS ;
	53	constant int SIGPIPE ;
	54	constant int SIGALRM ;
	55	constant int SIGTERM ;
	56
	57
	58	constant int TERM_VECT_HARD ;
	59	constant int TERM_VECT_TOOMANY ;
	60
	61
	62	constant int SIGURG ;
	63	constant int SIGSTOP ;
	64	constant int SIGTSTP ;
65	constant int SIGCONT ;
66	constant int SIGCHLD ;
67	constant int SIGTTIN ;
68	constant int SIGTTOU ;
69	constant int SIGIO ;
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 ;
78
79	constant int SIGCLD ;
80	constant int SIGABRT;
81
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;
92
93	typedef long sig_atomic_t;
94	typedef int sigset_t;
95
96	typedef struct sigvec {
97	void (*sv_handler)();
98	sigset_t sv_mask;
99	int sv_flags;
100	} __sigvec;
101
102	typedef struct sigaction {
103	void (*sa_handler)();
104	sigset_t sa_mask;
105	int sa_flags;
106	} __sigaction;
107
108	constant int SV_ONSTACK ;
109	constant int SV_INTERRUPT ;
110
111	constant int SA_NOCLDSTOP ;
112
113	constant int SV_OLDSIG ;
114	constant int sv_onstack ;
115
116	constant int SIG_BLOCK ;
117	constant int SIG_UNBLOCK ;
118	constant int SIG_SETMASK ;
119
120	typedef struct sigstack {
121	char *ss_sp;
122	int ss_onstack;
123	} __sigstack ;
124
125	typedef struct sigcontext {
126	int sc_onstack;
127	int sc_mask;
128	int sc_pc;
129	int sc_regs[32];
130	int sc_mdlo;
131	int sc_mdhi;
132	int sc_ownedfp;
133	int sc_fpregs[32];
134	int sc_fpc_csr;
135	int sc_fpc_eir;
136	int sc_cause;
137	int sc_badvaddr;
138	int sc_badpaddr;
139	} __sigcontext;
140
141	typedef void(*__scp)(int);
142
143	constant __scp BADSIG;
144	constant __scp SIG_ERR;
145	constant __scp SIG_DFL;
146	constant __scp SIG_IGN;
147
148	typedef int pid_t;
149
150	/*
151	void (signal(int __sig, void(__func)(int)))(int) { ensures true; }
152	*/
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; }
165
166	int sigmask(int m) { ensures true; } /* i think...? */
167