#include <sys/cdefs.h>
__RCSID("$NetBSD: t_sigstack.c,v 1.26 2026/03/23 20:58:47 skrll Exp $");
#include <dlfcn.h>
#include <setjmp.h>
#include <signal.h>
#include <stddef.h>
#include <stdlib.h>
#include <ucontext.h>
#include "h_macros.h"
struct sigaltstack ss[3];
jmp_buf jmp;
sigjmp_buf sigjmp;
unsigned nentries;
const char *bailname;
void (*bailfn)(void) __dead;
int (*compat13_sigsetjmp)(sigjmp_buf, int);
void (*compat13_siglongjmp)(sigjmp_buf, int) __dead;
int (*compat13_setjmp)(jmp_buf);
void (*compat13_longjmp)(jmp_buf, int) __dead;
static void
compatsigsys(int signo)
{
atf_tc_skip("no compat syscalls to test");
}
static void
compatsetup(void)
{
if ((compat13_sigsetjmp = dlsym(RTLD_SELF, "sigsetjmp")) == NULL ||
(compat13_siglongjmp = dlsym(RTLD_SELF, "siglongjmp")) == NULL ||
(compat13_setjmp = dlsym(RTLD_SELF, "setjmp")) == NULL ||
(compat13_longjmp = dlsym(RTLD_SELF, "longjmp")) == NULL)
atf_tc_skip("no compat functions to test");
REQUIRE_LIBC(signal(SIGSYS, &compatsigsys), SIG_ERR);
}
static void
on_sigusr1(int signo, siginfo_t *si, void *ctx)
{
ucontext_t *uc = ctx;
void *sp = (void *)(uintptr_t)_UC_MACHINE_SP(uc);
void *fp = __builtin_frame_address(0);
struct sigaltstack *ssp;
ATF_REQUIRE_MSG(nentries < 2,
"%u recursive signal handler entries is too many in this test",
nentries + 1);
ssp = &ss[nentries];
ATF_REQUIRE_MSG((fp >= ssp->ss_sp &&
fp < (void *)((char *)ssp->ss_sp + ssp->ss_size)),
"sigaltstack failed to take effect on entry %u --"
" signal handler's frame pointer %p doesn't lie in sigaltstack"
" [%p, %p), size 0x%zx",
nentries,
fp, ssp->ss_sp, (char *)ssp->ss_sp + ssp->ss_size, ssp->ss_size);
for (ssp = &ss[0]; ssp < &ss[__arraycount(ss)]; ssp++) {
ATF_REQUIRE_MSG((sp < ssp->ss_sp ||
sp >= (void *)((char *)ssp->ss_sp + ssp->ss_size)),
"%s failed to restore stack"
" before allowing signal on entry %u --"
" interrupted stack pointer %p lies in sigaltstack %zd"
" [%p, %p), size 0x%zx",
bailname,
nentries,
sp, ssp - ss,
ssp->ss_sp, (char *)ssp->ss_sp + ssp->ss_size,
ssp->ss_size);
}
if (nentries++ == 0)
RL(raise(SIGUSR1));
RL(sigaltstack(&ss[nentries], NULL));
(*bailfn)();
}
static void
go(const char *name, void (*fn)(void) __dead)
{
struct sigaction sa;
unsigned i;
bailname = name;
bailfn = fn;
for (i = 0; i < __arraycount(ss); i++) {
ss[i].ss_size = SIGSTKSZ;
REQUIRE_LIBC(ss[i].ss_sp = malloc(ss[i].ss_size), NULL);
}
RL(sigaltstack(&ss[0], NULL));
memset(&sa, 0, sizeof(sa));
sa.sa_sigaction = &on_sigusr1;
RL(sigemptyset(&sa.sa_mask));
sa.sa_flags = SA_SIGINFO|SA_ONSTACK;
RL(sigaction(SIGUSR1, &sa, NULL));
RL(raise(SIGUSR1));
atf_tc_fail("unreachable");
}
static void __dead
bail_longjmp(void)
{
longjmp(jmp, 1);
}
ATF_TC(setjmp);
ATF_TC_HEAD(setjmp, tc)
{
atf_tc_set_md_var(tc, "descr",
"Test longjmp restores stack first, then signal mask");
}
ATF_TC_BODY(setjmp, tc)
{
#if defined __ia64__
atf_tc_expect_fail("PR lib/57946:"
" longjmp fails to restore stack first before"
" restoring signal mask on most architectures");
#endif
if (setjmp(jmp) == 1)
return;
go("longjmp", &bail_longjmp);
}
static void __dead
bail_compat13_longjmp(void)
{
(*compat13_longjmp)(jmp, 1);
}
ATF_TC(compat13_setjmp);
ATF_TC_HEAD(compat13_setjmp, tc)
{
atf_tc_set_md_var(tc, "descr",
"Test compat13 longjmp restores stack first, then signal mask");
}
ATF_TC_BODY(compat13_setjmp, tc)
{
compatsetup();
#if defined __i386__ || defined __sh3__
atf_tc_expect_fail("PR lib/57946:"
" longjmp fails to restore stack first before"
" restoring signal mask on most architectures");
#endif
if ((*compat13_setjmp)(jmp) == 1)
return;
go("longjmp", &bail_compat13_longjmp);
}
static void __dead
bail_siglongjmp(void)
{
siglongjmp(sigjmp, 1);
}
ATF_TC(sigsetjmp);
ATF_TC_HEAD(sigsetjmp, tc)
{
atf_tc_set_md_var(tc, "descr",
"Test siglongjmp restores stack first, then signal mask");
}
ATF_TC_BODY(sigsetjmp, tc)
{
#if defined __ia64__
atf_tc_expect_fail("PR lib/57946:"
" longjmp fails to restore stack first before"
" restoring signal mask on most architectures");
#endif
if (sigsetjmp(sigjmp, 1) == 1)
return;
go("siglongjmp", &bail_siglongjmp);
}
static void __dead
bail_compat13_siglongjmp(void)
{
(*compat13_siglongjmp)(sigjmp, 1);
}
ATF_TC(compat13_sigsetjmp);
ATF_TC_HEAD(compat13_sigsetjmp, tc)
{
atf_tc_set_md_var(tc, "descr",
"Test compat13 siglongjmp restores stack first,"
" then signal mask");
}
ATF_TC_BODY(compat13_sigsetjmp, tc)
{
compatsetup();
#if defined __i386__ || defined __sh3__
atf_tc_expect_fail("PR lib/57946:"
" longjmp fails to restore stack first before"
" restoring signal mask on most architectures");
#endif
if ((*compat13_sigsetjmp)(sigjmp, 1) == 1)
return;
go("siglongjmp", &bail_compat13_siglongjmp);
}
ATF_TP_ADD_TCS(tp)
{
ATF_TP_ADD_TC(tp, compat13_setjmp);
ATF_TP_ADD_TC(tp, compat13_sigsetjmp);
ATF_TP_ADD_TC(tp, setjmp);
ATF_TP_ADD_TC(tp, sigsetjmp);
return atf_no_error();
}