2 * SPDX-License-Identifier: BSD-2-Clause
4 * Copyright (c) 2019 Jilles Tjoelker
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
38 static sigjmp_buf sig_env;
39 static volatile int last_sig, last_code;
42 sighandler(int sig, siginfo_t *info, void *context __unused)
46 last_code = info->si_code;
47 siglongjmp(sig_env, 1);
56 sa.sa_sigaction = sighandler;
57 sa.sa_flags = SA_RESTART | SA_RESETHAND | SA_SIGINFO;
58 r = sigfillset(&sa.sa_mask);
60 r = sigaction(SIGILL, &sa, NULL);
62 r = sigaction(SIGBUS, &sa, NULL);
64 r = sigaction(SIGSEGV, &sa, NULL);
68 ATF_TC_WITHOUT_HEAD(page_fault_signal__segv_maperr_1);
69 ATF_TC_BODY(page_fault_signal__segv_maperr_1, tc)
76 p = mmap(NULL, sz, PROT_READ, MAP_ANON, -1, 0);
77 ATF_REQUIRE(p != MAP_FAILED);
80 if (sigsetjmp(sig_env, 1) == 0) {
82 *(volatile int *)p = 1;
84 ATF_CHECK_EQ(SIGSEGV, last_sig);
85 ATF_CHECK_EQ(SEGV_MAPERR, last_code);
88 ATF_TC_WITHOUT_HEAD(page_fault_signal__segv_accerr_1);
89 ATF_TC_BODY(page_fault_signal__segv_accerr_1, tc)
95 p = mmap(NULL, sz, PROT_READ, MAP_ANON, -1, 0);
96 ATF_REQUIRE(p != MAP_FAILED);
97 if (sigsetjmp(sig_env, 1) == 0) {
99 *(volatile int *)p = 1;
102 ATF_CHECK_EQ(SIGSEGV, last_sig);
103 ATF_CHECK_EQ(SEGV_ACCERR, last_code);
106 ATF_TC_WITHOUT_HEAD(page_fault_signal__segv_accerr_2);
107 ATF_TC_BODY(page_fault_signal__segv_accerr_2, tc)
113 p = mmap(NULL, sz, PROT_NONE, MAP_ANON, -1, 0);
114 ATF_REQUIRE(p != MAP_FAILED);
115 if (sigsetjmp(sig_env, 1) == 0) {
117 (void)*(volatile int *)p;
120 ATF_CHECK_EQ(SIGSEGV, last_sig);
121 ATF_CHECK_EQ(SEGV_ACCERR, last_code);
124 ATF_TC_WITHOUT_HEAD(page_fault_signal__bus_objerr_1);
125 ATF_TC_BODY(page_fault_signal__bus_objerr_1, tc)
132 fd = shm_open(SHM_ANON, O_RDWR | O_CREAT, 0600);
133 ATF_REQUIRE(fd != -1);
134 p = mmap(NULL, sz, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
135 ATF_REQUIRE(p != MAP_FAILED);
136 if (sigsetjmp(sig_env, 1) == 0) {
138 *(volatile int *)p = 1;
142 ATF_CHECK_EQ(SIGBUS, last_sig);
143 ATF_CHECK_EQ(BUS_OBJERR, last_code);
146 ATF_TC_WITHOUT_HEAD(page_fault_signal__bus_objerr_2);
147 ATF_TC_BODY(page_fault_signal__bus_objerr_2, tc)
155 fd = shm_open(SHM_ANON, O_RDWR | O_CREAT, 0600);
156 ATF_REQUIRE(fd != -1);
157 r = ftruncate(fd, sz);
158 ATF_REQUIRE(r != -1);
159 p = mmap(NULL, sz * 2, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
160 ATF_REQUIRE(p != MAP_FAILED);
161 if (sigsetjmp(sig_env, 1) == 0) {
163 ((volatile int *)p)[sz / sizeof(int)] = 1;
165 (void)munmap(p, sz * 2);
167 ATF_CHECK_EQ(SIGBUS, last_sig);
168 ATF_CHECK_EQ(BUS_OBJERR, last_code);
174 ATF_TP_ADD_TC(tp, page_fault_signal__segv_maperr_1);
175 ATF_TP_ADD_TC(tp, page_fault_signal__segv_accerr_1);
176 ATF_TP_ADD_TC(tp, page_fault_signal__segv_accerr_2);
177 ATF_TP_ADD_TC(tp, page_fault_signal__bus_objerr_1);
178 ATF_TP_ADD_TC(tp, page_fault_signal__bus_objerr_2);
180 return (atf_no_error());