int
main (void)
{
if (strcmp (psiginfo (4), codestrs_4.str))
abort ();
if (strcmp (psiginfo (8), codestrs_8.str))
abort ();
exit (0);
}
void testValues() {
f = 2;
int result;
psiginfo(anyinfo(), NULL);
//@ assert f == 2;
//@ assert vacuous: \false;
}
void signal_check_functions(pthread_t tid, sigset_t *ss
#if _POSIX_REALTIME_SIGNALS > 0
, union sigval sv
#endif
)
{
typedef void (*signal_cb_t)(int );
(void)kill((pid_t)0, 0);
#if __XSI_VISIBLE
(void)killpg((pid_t)0, 0);
#endif
#if !__APPLE__
(void)psiginfo((const siginfo_t *)0, (const char *)0);
#endif
(void)psignal(0, (const char*)0);
(void)pthread_kill(tid, 0);
(void)pthread_sigmask(0, (const sigset_t*)0, (sigset_t*)0);
(void)raise(0);
(void)sigaction(0, (const struct sigaction*)0, (struct sigaction*)0);
(void)sigaddset(ss, 0);
#if __XSI_VISIBLE
(void)sigaltstack((const stack_t*)0, (stack_t*)0);
#endif
(void)sigdelset(ss, 0);
(void)sigemptyset(ss);
(void)sigfillset(ss);
(void)sigismember(ss, 0);
(void)signal(0, (signal_cb_t)0);
(void)sigpending(ss);
(void)sigprocmask(0, (const sigset_t*)0, (sigset_t*)0);
#if _POSIX_REALTIME_SIGNALS > 0
(void)sigqueue((pid_t)0, 0, sv);
#endif
(void)sigsuspend(ss);
#if _POSIX_REALTIME_SIGNALS > 0
(void)sigtimedwait((const sigset_t*)0, (siginfo_t*)0, (const struct timespec*)0);
#endif
(void)sigwait(ss, (int*)1234);
#if _POSIX_REALTIME_SIGNALS > 0
(void)sigwaitinfo(ss, (siginfo_t*)0);
#endif
}
void runSuccess() {
psiginfo(anyinfo(), NULL);
}
void runFailure() {
psiginfo(NULL, NULL);
}
void runSuccess1() {
char buf[] = "head";
//@ assert \valid(buf+(0..\block_length(buf)-1));
//@ assert \exists integer x; buf[x] == '\0';
psiginfo(anyinfo(), buf);
}
