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
36 static sigjmp_buf sig_env;
37 static volatile int last_sig, last_code;
40 sighandler(int sig, siginfo_t *info, void *context __unused)
44 last_code = info->si_code;
45 siglongjmp(sig_env, 1);
54 sa.sa_sigaction = sighandler;
55 sa.sa_flags = SA_RESTART | SA_RESETHAND | SA_SIGINFO;
56 r = sigfillset(&sa.sa_mask);
58 r = sigaction(SIGILL, &sa, NULL);
60 r = sigaction(SIGBUS, &sa, NULL);
62 r = sigaction(SIGSEGV, &sa, NULL);
66 ATF_TC_WITHOUT_HEAD(page_fault_signal__segv_maperr_1);
67 ATF_TC_BODY(page_fault_signal__segv_maperr_1, tc)
74 p = mmap(NULL, sz, PROT_READ, MAP_ANON, -1, 0);
75 ATF_REQUIRE(p != MAP_FAILED);
78 if (sigsetjmp(sig_env, 1) == 0) {
80 *(volatile int *)p = 1;
82 ATF_CHECK_EQ(SIGSEGV, last_sig);
83 ATF_CHECK_EQ(SEGV_MAPERR, last_code);
86 ATF_TC_WITHOUT_HEAD(page_fault_signal__segv_accerr_1);
87 ATF_TC_BODY(page_fault_signal__segv_accerr_1, tc)
93 p = mmap(NULL, sz, PROT_READ, MAP_ANON, -1, 0);
94 ATF_REQUIRE(p != MAP_FAILED);
95 if (sigsetjmp(sig_env, 1) == 0) {
97 *(volatile int *)p = 1;
100 ATF_CHECK_EQ(SIGSEGV, last_sig);
101 ATF_CHECK_EQ(SEGV_ACCERR, last_code);
104 ATF_TC_WITHOUT_HEAD(page_fault_signal__segv_accerr_2);
105 ATF_TC_BODY(page_fault_signal__segv_accerr_2, tc)
111 p = mmap(NULL, sz, PROT_NONE, MAP_ANON, -1, 0);
112 ATF_REQUIRE(p != MAP_FAILED);
113 if (sigsetjmp(sig_env, 1) == 0) {
115 (void)*(volatile int *)p;
118 ATF_CHECK_EQ(SIGSEGV, last_sig);
119 ATF_CHECK_EQ(SEGV_ACCERR, last_code);
122 ATF_TC_WITHOUT_HEAD(page_fault_signal__bus_objerr_1);
123 ATF_TC_BODY(page_fault_signal__bus_objerr_1, tc)
130 fd = shm_open(SHM_ANON, O_RDWR | O_CREAT, 0600);
131 ATF_REQUIRE(fd != -1);
132 p = mmap(NULL, sz, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
133 ATF_REQUIRE(p != MAP_FAILED);
134 if (sigsetjmp(sig_env, 1) == 0) {
136 *(volatile int *)p = 1;
140 ATF_CHECK_EQ(SIGBUS, last_sig);
141 ATF_CHECK_EQ(BUS_OBJERR, last_code);
144 ATF_TC_WITHOUT_HEAD(page_fault_signal__bus_objerr_2);
145 ATF_TC_BODY(page_fault_signal__bus_objerr_2, tc)
153 fd = shm_open(SHM_ANON, O_RDWR | O_CREAT, 0600);
154 ATF_REQUIRE(fd != -1);
155 r = ftruncate(fd, sz);
156 ATF_REQUIRE(r != -1);
157 p = mmap(NULL, sz * 2, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
158 ATF_REQUIRE(p != MAP_FAILED);
159 if (sigsetjmp(sig_env, 1) == 0) {
161 ((volatile int *)p)[sz / sizeof(int)] = 1;
163 (void)munmap(p, sz * 2);
165 ATF_CHECK_EQ(SIGBUS, last_sig);
166 ATF_CHECK_EQ(BUS_OBJERR, last_code);
172 ATF_TP_ADD_TC(tp, page_fault_signal__segv_maperr_1);
173 ATF_TP_ADD_TC(tp, page_fault_signal__segv_accerr_1);
174 ATF_TP_ADD_TC(tp, page_fault_signal__segv_accerr_2);
175 ATF_TP_ADD_TC(tp, page_fault_signal__bus_objerr_1);
176 ATF_TP_ADD_TC(tp, page_fault_signal__bus_objerr_2);
178 return (atf_no_error());