bpo-46709: check eval breaker in specialized CALL opcodes (GH-31404)

This commit is contained in:
Nikita Sobolev 2022-02-18 15:56:23 +03:00 committed by GitHub
parent c3ce7781e3
commit e2c28616ce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 93 additions and 58 deletions

View file

@ -4,14 +4,18 @@ import os
import sys import sys
import signal import signal
import weakref import weakref
import unittest import unittest
from test import support
@unittest.skipUnless(hasattr(os, 'kill'), "Test requires os.kill") @unittest.skipUnless(hasattr(os, 'kill'), "Test requires os.kill")
@unittest.skipIf(sys.platform =="win32", "Test cannot run on Windows") @unittest.skipIf(sys.platform =="win32", "Test cannot run on Windows")
class TestBreak(unittest.TestCase): class TestBreak(unittest.TestCase):
int_handler = None int_handler = None
# This number was smart-guessed, previously tests were failing
# after 7th run. So, we take `x * 2 + 1` to be sure.
default_repeats = 15
def setUp(self): def setUp(self):
self._default_handler = signal.getsignal(signal.SIGINT) self._default_handler = signal.getsignal(signal.SIGINT)
@ -24,6 +28,27 @@ class TestBreak(unittest.TestCase):
unittest.signals._interrupt_handler = None unittest.signals._interrupt_handler = None
def withRepeats(self, test_function, repeats=None):
if not support.check_impl_detail(cpython=True):
# Override repeats count on non-cpython to execute only once.
# Because this test only makes sense to be repeated on CPython.
repeats = 1
elif repeats is None:
repeats = self.default_repeats
for repeat in range(repeats):
with self.subTest(repeat=repeat):
# We don't run `setUp` for the very first repeat
# and we don't run `tearDown` for the very last one,
# because they are handled by the test class itself.
if repeat != 0:
self.setUp()
try:
test_function()
finally:
if repeat != repeats - 1:
self.tearDown()
def testInstallHandler(self): def testInstallHandler(self):
default_handler = signal.getsignal(signal.SIGINT) default_handler = signal.getsignal(signal.SIGINT)
unittest.installHandler() unittest.installHandler()
@ -48,35 +73,34 @@ class TestBreak(unittest.TestCase):
unittest.removeResult(result) unittest.removeResult(result)
def testInterruptCaught(self): def testInterruptCaught(self):
default_handler = signal.getsignal(signal.SIGINT)
result = unittest.TestResult()
unittest.installHandler()
unittest.registerResult(result)
self.assertNotEqual(signal.getsignal(signal.SIGINT), default_handler)
def test(result): def test(result):
pid = os.getpid() pid = os.getpid()
os.kill(pid, signal.SIGINT) os.kill(pid, signal.SIGINT)
result.breakCaught = True result.breakCaught = True
self.assertTrue(result.shouldStop) self.assertTrue(result.shouldStop)
def test_function():
result = unittest.TestResult()
unittest.installHandler()
unittest.registerResult(result)
self.assertNotEqual(
signal.getsignal(signal.SIGINT),
self._default_handler,
)
try: try:
test(result) test(result)
except KeyboardInterrupt: except KeyboardInterrupt:
self.fail("KeyboardInterrupt not handled") self.fail("KeyboardInterrupt not handled")
self.assertTrue(result.breakCaught) self.assertTrue(result.breakCaught)
self.withRepeats(test_function)
def testSecondInterrupt(self): def testSecondInterrupt(self):
# Can't use skipIf decorator because the signal handler may have # Can't use skipIf decorator because the signal handler may have
# been changed after defining this method. # been changed after defining this method.
if signal.getsignal(signal.SIGINT) == signal.SIG_IGN: if signal.getsignal(signal.SIGINT) == signal.SIG_IGN:
self.skipTest("test requires SIGINT to not be ignored") self.skipTest("test requires SIGINT to not be ignored")
result = unittest.TestResult()
unittest.installHandler()
unittest.registerResult(result)
def test(result): def test(result):
pid = os.getpid() pid = os.getpid()
@ -86,16 +110,19 @@ class TestBreak(unittest.TestCase):
os.kill(pid, signal.SIGINT) os.kill(pid, signal.SIGINT)
self.fail("Second KeyboardInterrupt not raised") self.fail("Second KeyboardInterrupt not raised")
try: def test_function():
result = unittest.TestResult()
unittest.installHandler()
unittest.registerResult(result)
with self.assertRaises(KeyboardInterrupt):
test(result) test(result)
except KeyboardInterrupt:
pass
else:
self.fail("Second KeyboardInterrupt not raised")
self.assertTrue(result.breakCaught) self.assertTrue(result.breakCaught)
self.withRepeats(test_function)
def testTwoResults(self): def testTwoResults(self):
def test_function():
unittest.installHandler() unittest.installHandler()
result = unittest.TestResult() result = unittest.TestResult()
@ -108,18 +135,15 @@ class TestBreak(unittest.TestCase):
result3 = unittest.TestResult() result3 = unittest.TestResult()
def test(result):
pid = os.getpid()
os.kill(pid, signal.SIGINT)
try: try:
test(result) os.kill(os.getpid(), signal.SIGINT)
except KeyboardInterrupt: except KeyboardInterrupt:
self.fail("KeyboardInterrupt not handled") self.fail("KeyboardInterrupt not handled")
self.assertTrue(result.shouldStop) self.assertTrue(result.shouldStop)
self.assertTrue(result2.shouldStop) self.assertTrue(result2.shouldStop)
self.assertFalse(result3.shouldStop) self.assertFalse(result3.shouldStop)
self.withRepeats(test_function)
def testHandlerReplacedButCalled(self): def testHandlerReplacedButCalled(self):
@ -127,6 +151,8 @@ class TestBreak(unittest.TestCase):
# been changed after defining this method. # been changed after defining this method.
if signal.getsignal(signal.SIGINT) == signal.SIG_IGN: if signal.getsignal(signal.SIGINT) == signal.SIG_IGN:
self.skipTest("test requires SIGINT to not be ignored") self.skipTest("test requires SIGINT to not be ignored")
def test_function():
# If our handler has been replaced (is no longer installed) but is # If our handler has been replaced (is no longer installed) but is
# called by the *new* handler, then it isn't safe to delay the # called by the *new* handler, then it isn't safe to delay the
# SIGINT and we should immediately delegate to the default handler # SIGINT and we should immediately delegate to the default handler
@ -138,12 +164,12 @@ class TestBreak(unittest.TestCase):
signal.signal(signal.SIGINT, new_handler) signal.signal(signal.SIGINT, new_handler)
try: try:
pid = os.getpid() os.kill(os.getpid(), signal.SIGINT)
os.kill(pid, signal.SIGINT)
except KeyboardInterrupt: except KeyboardInterrupt:
pass pass
else: else:
self.fail("replaced but delegated handler doesn't raise interrupt") self.fail("replaced but delegated handler doesn't raise interrupt")
self.withRepeats(test_function)
def testRunner(self): def testRunner(self):
# Creating a TextTestRunner with the appropriate argument should # Creating a TextTestRunner with the appropriate argument should

View file

@ -4742,6 +4742,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -4761,6 +4762,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -4785,6 +4787,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -4816,6 +4819,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -4854,6 +4858,7 @@ handle_eval_breaker:
*/ */
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -4896,6 +4901,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -5013,6 +5019,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -5040,6 +5047,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }
@ -5067,6 +5075,7 @@ handle_eval_breaker:
if (res == NULL) { if (res == NULL) {
goto error; goto error;
} }
CHECK_EVAL_BREAKER();
DISPATCH(); DISPATCH();
} }