TestLibCSetjmp.cpp 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151
  1. /*
  2. * Copyright (c) 2021, the SerenityOS developers.
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibTest/TestCase.h>
  7. #include <setjmp.h>
  8. #include <signal.h>
  9. #include <string.h>
  10. TEST_CASE(setjmp)
  11. {
  12. jmp_buf env;
  13. volatile int set = 1;
  14. if (setjmp(env)) {
  15. EXPECT_EQ(set, 0);
  16. return;
  17. }
  18. EXPECT_EQ(set, 1);
  19. set = 0;
  20. longjmp(env, 1);
  21. VERIFY_NOT_REACHED();
  22. }
  23. TEST_CASE(setjmp_zero)
  24. {
  25. jmp_buf env;
  26. volatile int set = 1;
  27. switch (setjmp(env)) {
  28. case 0:
  29. EXPECT_EQ(set, 1);
  30. set = 0;
  31. longjmp(env, 0);
  32. VERIFY_NOT_REACHED();
  33. case 1:
  34. EXPECT_EQ(set, 0);
  35. break;
  36. default:
  37. VERIFY_NOT_REACHED();
  38. };
  39. }
  40. TEST_CASE(setjmp_value)
  41. {
  42. jmp_buf env;
  43. volatile int set = 1;
  44. switch (setjmp(env)) {
  45. case 0:
  46. EXPECT_EQ(set, 1);
  47. set = 0;
  48. longjmp(env, 0x789ABCDE);
  49. VERIFY_NOT_REACHED();
  50. case 0x789ABCDE:
  51. EXPECT_EQ(set, 0);
  52. break;
  53. default:
  54. VERIFY_NOT_REACHED();
  55. };
  56. }
  57. TEST_CASE(sigsetjmp)
  58. {
  59. sigjmp_buf env;
  60. volatile int set = 1;
  61. if (sigsetjmp(env, 0)) {
  62. EXPECT_EQ(set, 0);
  63. return;
  64. }
  65. EXPECT_EQ(set, 1);
  66. set = 0;
  67. siglongjmp(env, 1);
  68. VERIFY_NOT_REACHED();
  69. }
  70. TEST_CASE(sigsetjmp_zero)
  71. {
  72. sigjmp_buf env;
  73. volatile int set = 1;
  74. switch (sigsetjmp(env, 0)) {
  75. case 0:
  76. EXPECT_EQ(set, 1);
  77. set = 0;
  78. siglongjmp(env, 0);
  79. VERIFY_NOT_REACHED();
  80. case 1:
  81. EXPECT_EQ(set, 0);
  82. break;
  83. default:
  84. VERIFY_NOT_REACHED();
  85. };
  86. }
  87. TEST_CASE(sigsetjmp_value)
  88. {
  89. sigjmp_buf env;
  90. volatile int set = 1;
  91. switch (sigsetjmp(env, 0)) {
  92. case 0:
  93. EXPECT_EQ(set, 1);
  94. set = 0;
  95. siglongjmp(env, 0x789ABCDE);
  96. VERIFY_NOT_REACHED();
  97. case 0x789ABCDE:
  98. EXPECT_EQ(set, 0);
  99. break;
  100. default:
  101. VERIFY_NOT_REACHED();
  102. };
  103. }
  104. TEST_CASE(sigsetjmp_signal_mask)
  105. {
  106. sigjmp_buf env;
  107. sigset_t alternative_sigset;
  108. sigfillset(&alternative_sigset);
  109. sigset_t initial_sigset;
  110. sigprocmask(SIG_SETMASK, nullptr, &initial_sigset);
  111. EXPECT_NE(memcmp(&alternative_sigset, &initial_sigset, sizeof(sigset_t)), 0);
  112. if (sigsetjmp(env, 1)) {
  113. sigprocmask(SIG_SETMASK, nullptr, &alternative_sigset);
  114. EXPECT_EQ(memcmp(&alternative_sigset, &initial_sigset, sizeof(sigset_t)), 0);
  115. return;
  116. }
  117. sigprocmask(SIG_SETMASK, &alternative_sigset, nullptr);
  118. siglongjmp(env, 1);
  119. VERIFY_NOT_REACHED();
  120. }