blob: 4b1482ac639bdd129abd17981f8933ca7f595866 [file] [log] [blame]
Yongqin Liu9fea4092014-10-31 16:37:09 +08001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include <gtest/gtest.h>
18
19#include <setjmp.h>
20#include <stdlib.h>
Elliott Hughesc0d41db2021-04-02 18:02:38 -070021#include <sys/syscall.h>
22#include <unistd.h>
Yongqin Liu9fea4092014-10-31 16:37:09 +080023
Elliott Hughese657eb42021-02-18 17:11:56 -080024#include "BionicDeathTest.h"
Elliott Hughes71ba5892018-02-07 12:44:45 -080025#include "SignalUtils.h"
Elliott Hughes460130b2018-01-31 09:05:26 -080026
Elliott Hughese657eb42021-02-18 17:11:56 -080027using setjmp_DeathTest = BionicDeathTest;
28
Yongqin Liu9fea4092014-10-31 16:37:09 +080029TEST(setjmp, setjmp_smoke) {
30 int value;
31 jmp_buf jb;
32 if ((value = setjmp(jb)) == 0) {
33 longjmp(jb, 123);
34 FAIL(); // Unreachable.
35 } else {
36 ASSERT_EQ(123, value);
37 }
38}
39
40TEST(setjmp, _setjmp_smoke) {
41 int value;
42 jmp_buf jb;
43 if ((value = _setjmp(jb)) == 0) {
44 _longjmp(jb, 456);
45 FAIL(); // Unreachable.
46 } else {
47 ASSERT_EQ(456, value);
48 }
49}
50
51TEST(setjmp, sigsetjmp_0_smoke) {
52 int value;
53 sigjmp_buf jb;
54 if ((value = sigsetjmp(jb, 0)) == 0) {
55 siglongjmp(jb, 789);
56 FAIL(); // Unreachable.
57 } else {
58 ASSERT_EQ(789, value);
59 }
60}
61
62TEST(setjmp, sigsetjmp_1_smoke) {
63 int value;
64 sigjmp_buf jb;
65 if ((value = sigsetjmp(jb, 0)) == 0) {
66 siglongjmp(jb, 0xabc);
67 FAIL(); // Unreachable.
68 } else {
69 ASSERT_EQ(0xabc, value);
70 }
71}
72
Elliott Hughes460130b2018-01-31 09:05:26 -080073// Two distinct signal sets.
Elliott Hughes1510a1c2014-12-10 09:31:04 -080074struct SigSets {
75 SigSets() : one(MakeSigSet(0)), two(MakeSigSet(1)) {
Elliott Hughes1c0c0ed2014-12-05 22:24:49 -080076 }
Elliott Hughes1510a1c2014-12-10 09:31:04 -080077
Elliott Hughes460130b2018-01-31 09:05:26 -080078 static sigset64_t MakeSigSet(int offset) {
79 sigset64_t ss;
80 sigemptyset64(&ss);
81 sigaddset64(&ss, SIGUSR1 + offset);
Josh Gaobaf20fc2018-10-08 17:28:07 -070082 // TIMER_SIGNAL.
83 sigaddset64(&ss, __SIGRTMIN);
Elliott Hughes460130b2018-01-31 09:05:26 -080084 sigaddset64(&ss, SIGRTMIN + offset);
Elliott Hughes1510a1c2014-12-10 09:31:04 -080085 return ss;
86 }
87
Elliott Hughes460130b2018-01-31 09:05:26 -080088 sigset64_t one;
89 sigset64_t two;
Elliott Hughes1510a1c2014-12-10 09:31:04 -080090};
Yongqin Liu9fea4092014-10-31 16:37:09 +080091
Elliott Hughes460130b2018-01-31 09:05:26 -080092void AssertSigmaskEquals(const sigset64_t& expected) {
93 sigset64_t actual;
Yi Kong32bc0fc2018-08-02 17:31:13 -070094 sigprocmask64(SIG_SETMASK, nullptr, &actual);
Elliott Hughes460130b2018-01-31 09:05:26 -080095 size_t end = sizeof(expected) * 8;
Elliott Hughes1c0c0ed2014-12-05 22:24:49 -080096 for (size_t i = 1; i <= end; ++i) {
Elliott Hughes460130b2018-01-31 09:05:26 -080097 EXPECT_EQ(sigismember64(&expected, i), sigismember64(&actual, i)) << i;
Elliott Hughes1c0c0ed2014-12-05 22:24:49 -080098 }
99}
100
Yongqin Liu9fea4092014-10-31 16:37:09 +0800101TEST(setjmp, _setjmp_signal_mask) {
Elliott Hughes460130b2018-01-31 09:05:26 -0800102 SignalMaskRestorer smr;
103
Yongqin Liu9fea4092014-10-31 16:37:09 +0800104 // _setjmp/_longjmp do not save/restore the signal mask.
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800105 SigSets ss;
Elliott Hughes460130b2018-01-31 09:05:26 -0800106 sigprocmask64(SIG_SETMASK, &ss.one, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800107 jmp_buf jb;
108 if (_setjmp(jb) == 0) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700109 sigprocmask64(SIG_SETMASK, &ss.two, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800110 _longjmp(jb, 1);
111 FAIL(); // Unreachable.
112 } else {
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800113 AssertSigmaskEquals(ss.two);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800114 }
115}
116
117TEST(setjmp, setjmp_signal_mask) {
Elliott Hughes460130b2018-01-31 09:05:26 -0800118 SignalMaskRestorer smr;
119
Yongqin Liu9fea4092014-10-31 16:37:09 +0800120 // setjmp/longjmp do save/restore the signal mask on bionic, but not on glibc.
121 // This is a BSD versus System V historical accident. POSIX leaves the
122 // behavior unspecified, so any code that cares needs to use sigsetjmp.
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800123 SigSets ss;
Elliott Hughes460130b2018-01-31 09:05:26 -0800124 sigprocmask64(SIG_SETMASK, &ss.one, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800125 jmp_buf jb;
126 if (setjmp(jb) == 0) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700127 sigprocmask64(SIG_SETMASK, &ss.two, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800128 longjmp(jb, 1);
129 FAIL(); // Unreachable.
130 } else {
Yongqin Liu9fea4092014-10-31 16:37:09 +0800131#if defined(__BIONIC__)
132 // bionic behaves like BSD and does save/restore the signal mask.
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800133 AssertSigmaskEquals(ss.one);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800134#else
135 // glibc behaves like System V and doesn't save/restore the signal mask.
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800136 AssertSigmaskEquals(ss.two);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800137#endif
138 }
139}
140
141TEST(setjmp, sigsetjmp_0_signal_mask) {
Elliott Hughes460130b2018-01-31 09:05:26 -0800142 SignalMaskRestorer smr;
143
Yongqin Liu9fea4092014-10-31 16:37:09 +0800144 // sigsetjmp(0)/siglongjmp do not save/restore the signal mask.
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800145 SigSets ss;
Elliott Hughes460130b2018-01-31 09:05:26 -0800146 sigprocmask64(SIG_SETMASK, &ss.one, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800147 sigjmp_buf sjb;
148 if (sigsetjmp(sjb, 0) == 0) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700149 sigprocmask64(SIG_SETMASK, &ss.two, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800150 siglongjmp(sjb, 1);
151 FAIL(); // Unreachable.
152 } else {
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800153 AssertSigmaskEquals(ss.two);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800154 }
155}
156
157TEST(setjmp, sigsetjmp_1_signal_mask) {
Elliott Hughes460130b2018-01-31 09:05:26 -0800158 SignalMaskRestorer smr;
159
Yongqin Liu9fea4092014-10-31 16:37:09 +0800160 // sigsetjmp(1)/siglongjmp does save/restore the signal mask.
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800161 SigSets ss;
Elliott Hughes460130b2018-01-31 09:05:26 -0800162 sigprocmask64(SIG_SETMASK, &ss.one, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800163 sigjmp_buf sjb;
164 if (sigsetjmp(sjb, 1) == 0) {
Yi Kong32bc0fc2018-08-02 17:31:13 -0700165 sigprocmask64(SIG_SETMASK, &ss.two, nullptr);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800166 siglongjmp(sjb, 1);
167 FAIL(); // Unreachable.
168 } else {
Elliott Hughes1510a1c2014-12-10 09:31:04 -0800169 AssertSigmaskEquals(ss.one);
Yongqin Liu9fea4092014-10-31 16:37:09 +0800170 }
Yongqin Liu9fea4092014-10-31 16:37:09 +0800171}
Elliott Hughes87dd5032015-01-26 20:52:34 -0800172
173#if defined(__aarch64__)
174#define SET_FREG(n, v) asm volatile("fmov d"#n ", "#v : : : "d"#n)
175#define CLEAR_FREG(n) asm volatile("fmov d"#n ", xzr" : : : "d"#n)
176#define SET_FREGS \
177 SET_FREG(8, 8.0); SET_FREG(9, 9.0); SET_FREG(10, 10.0); SET_FREG(11, 11.0); \
178 SET_FREG(12, 12.0); SET_FREG(13, 13.0); SET_FREG(14, 14.0); SET_FREG(15, 15.0);
179#define CLEAR_FREGS \
180 CLEAR_FREG(8); CLEAR_FREG(9); CLEAR_FREG(10); CLEAR_FREG(11); \
181 CLEAR_FREG(12); CLEAR_FREG(13); CLEAR_FREG(14); CLEAR_FREG(15);
182#define GET_FREG(n) ({ double _r; asm volatile("fmov %0, d"#n : "=r"(_r) : :); _r; })
183#define CHECK_FREGS \
184 EXPECT_EQ(8.0, GET_FREG(8)); EXPECT_EQ(9.0, GET_FREG(9)); \
185 EXPECT_EQ(10.0, GET_FREG(10)); EXPECT_EQ(11.0, GET_FREG(11)); \
186 EXPECT_EQ(12.0, GET_FREG(12)); EXPECT_EQ(13.0, GET_FREG(13)); \
187 EXPECT_EQ(14.0, GET_FREG(14)); EXPECT_EQ(15.0, GET_FREG(15));
188#elif defined(__arm__)
189#define SET_FREG(n, v) \
190 ({ const double _v{v}; asm volatile("fcpyd d"#n ", %P0" : : "w"(_v) : "d"#n); })
191#define SET_FREGS \
192 SET_FREG(8, 8); SET_FREG(9, 9); SET_FREG(10, 10); SET_FREG(11, 11); \
193 SET_FREG(12, 12); SET_FREG(13, 13); SET_FREG(14, 14); SET_FREG(15, 15);
194#define CLEAR_FREGS \
195 SET_FREG(8, 0); SET_FREG(9, 0); SET_FREG(10, 0); SET_FREG(11, 0); \
196 SET_FREG(12, 0); SET_FREG(13, 0); SET_FREG(14, 0); SET_FREG(15, 0);
197#define GET_FREG(n) ({ double _r; asm volatile("fcpyd %P0, d"#n : "=w"(_r) : :); _r;})
198#define CHECK_FREGS \
199 EXPECT_EQ(8.0, GET_FREG(8)); EXPECT_EQ(9.0, GET_FREG(9)); \
200 EXPECT_EQ(10.0, GET_FREG(10)); EXPECT_EQ(11.0, GET_FREG(11)); \
201 EXPECT_EQ(12.0, GET_FREG(12)); EXPECT_EQ(13.0, GET_FREG(13)); \
202 EXPECT_EQ(14.0, GET_FREG(14)); EXPECT_EQ(15.0, GET_FREG(15));
203#else
204/* The other architectures don't save/restore fp registers. */
205#define SET_FREGS
206#define CLEAR_FREGS
207#define CHECK_FREGS
208#endif
209
210TEST(setjmp, setjmp_fp_registers) {
211 int value;
212 jmp_buf jb;
213 SET_FREGS;
214 if ((value = setjmp(jb)) == 0) {
215 CLEAR_FREGS;
216 longjmp(jb, 123);
217 FAIL(); // Unreachable.
218 } else {
219 ASSERT_EQ(123, value);
220 CHECK_FREGS;
221 }
222}
Josh Gao7fda8d22015-09-10 15:40:24 -0700223
224#if defined(__arm__)
225#define __JB_SIGFLAG 0
226#elif defined(__aarch64__)
227#define __JB_SIGFLAG 0
228#elif defined(__i386__)
Elliott Hughes460130b2018-01-31 09:05:26 -0800229#define __JB_SIGFLAG 8
Josh Gao7fda8d22015-09-10 15:40:24 -0700230#elif defined(__x86_64)
231#define __JB_SIGFLAG 8
232#endif
233
Elliott Hughese657eb42021-02-18 17:11:56 -0800234TEST_F(setjmp_DeathTest, setjmp_cookie) {
Josh Gao7fda8d22015-09-10 15:40:24 -0700235 jmp_buf jb;
236 int value = setjmp(jb);
237 ASSERT_EQ(0, value);
238
239 long* sigflag = reinterpret_cast<long*>(jb) + __JB_SIGFLAG;
240
241 // Make sure there's actually a cookie.
242 EXPECT_NE(0, *sigflag & ~1);
243
244 // Wipe it out
245 *sigflag &= 1;
246 EXPECT_DEATH(longjmp(jb, 0), "");
Josh Gao7fda8d22015-09-10 15:40:24 -0700247}
Josh Gaoa4c69132016-03-02 19:03:17 -0800248
Elliott Hughese657eb42021-02-18 17:11:56 -0800249TEST_F(setjmp_DeathTest, setjmp_cookie_checksum) {
Josh Gaoa4c69132016-03-02 19:03:17 -0800250 jmp_buf jb;
251 int value = setjmp(jb);
252
253 if (value == 0) {
254 // Flip a bit.
Predrag Blagojevic32995902016-03-16 15:49:12 +0100255 reinterpret_cast<long*>(jb)[1] ^= 1;
Josh Gaoa4c69132016-03-02 19:03:17 -0800256
257 EXPECT_DEATH(longjmp(jb, 1), "checksum mismatch");
258 } else {
259 fprintf(stderr, "setjmp_cookie_checksum: longjmp succeeded?");
260 }
261}
Peter Collingbourne734beec2018-11-14 12:41:41 -0800262
263__attribute__((noinline)) void call_longjmp(jmp_buf buf) {
264 longjmp(buf, 123);
265}
266
267TEST(setjmp, setjmp_stack) {
268 jmp_buf buf;
269 int value = setjmp(buf);
270 if (value == 0) call_longjmp(buf);
271 EXPECT_EQ(123, value);
272}
Elliott Hughesc0d41db2021-04-02 18:02:38 -0700273
274TEST(setjmp, bug_152210274) {
275 // Ensure that we never have a mangled value in the stack pointer.
276#if defined(__BIONIC__)
277 struct sigaction sa = {.sa_flags = SA_SIGINFO, .sa_sigaction = [](int, siginfo_t*, void*) {}};
278 ASSERT_EQ(0, sigaction(SIGPROF, &sa, 0));
279
280 constexpr size_t kNumThreads = 20;
281
282 // Start a bunch of threads calling setjmp/longjmp.
283 auto jumper = [](void* arg) -> void* {
284 sigset_t set;
285 sigemptyset(&set);
286 sigaddset(&set, SIGPROF);
287 pthread_sigmask(SIG_UNBLOCK, &set, nullptr);
288
289 jmp_buf buf;
290 for (size_t count = 0; count < 100000; ++count) {
291 if (setjmp(buf) != 0) {
292 perror("setjmp");
293 abort();
294 }
295 if (*static_cast<pid_t*>(arg) == 100) longjmp(buf, 1);
296 }
297 return nullptr;
298 };
299 pid_t tids[kNumThreads] = {};
300 for (size_t i = 0; i < kNumThreads; ++i) {
301 pthread_t t;
302 ASSERT_EQ(0, pthread_create(&t, nullptr, jumper, &tids[i]));
303 tids[i] = pthread_gettid_np(t);
304 }
305
306 // Start the interrupter thread.
307 auto interrupter = [](void* arg) -> void* {
308 pid_t* tids = static_cast<pid_t*>(arg);
309 for (size_t count = 0; count < 1000; ++count) {
310 for (size_t i = 0; i < kNumThreads; i++) {
311 if (tgkill(getpid(), tids[i], SIGPROF) == -1 && errno != ESRCH) {
312 perror("tgkill failed");
313 abort();
314 }
315 }
316 usleep(100);
317 }
318 return nullptr;
319 };
320 pthread_t t;
321 ASSERT_EQ(0, pthread_create(&t, nullptr, interrupter, tids));
322 pthread_join(t, nullptr);
323#else
324 GTEST_LOG_(INFO) << "tests uses functions not in glibc";
325#endif
326}