blob: 10d48ebc076c34d3d73f4433a870a351a92dfbf0 [file] [log] [blame]
Guido van Rossum3bead091992-01-27 17:00:37 +00001# Python test set -- part 5, built-in exceptions
2
Serhiy Storchakab7853962017-04-08 09:55:07 +03003import copy
Pablo Galindo9b648a92020-09-01 19:39:46 +01004import gc
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00005import os
6import sys
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00007import unittest
Guido van Rossumbf12cdb2006-08-17 20:24:18 +00008import pickle
Barry Warsaw8d109cb2008-05-08 04:26:35 +00009import weakref
Antoine Pitroua7622852011-09-01 21:37:43 +020010import errno
Pablo Galindoa77aac42021-04-23 14:27:05 +010011from textwrap import dedent
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000012
Hai Shi46605972020-08-04 00:49:18 +080013from test.support import (captured_stderr, check_impl_detail,
14 cpython_only, gc_collect,
15 no_tracing, script_helper,
xdegaye56d1f5c2017-10-26 15:09:06 +020016 SuppressCrashReport)
Hai Shi46605972020-08-04 00:49:18 +080017from test.support.import_helper import import_module
18from test.support.os_helper import TESTFN, unlink
19from test.support.warnings_helper import check_warnings
Victor Stinnere4d300e2019-05-22 23:44:02 +020020from test import support
21
22
Richard Oudkerk5562d9d2012-07-28 17:45:28 +010023class NaiveException(Exception):
24 def __init__(self, x):
25 self.x = x
26
27class SlottedNaiveException(Exception):
28 __slots__ = ('x',)
29 def __init__(self, x):
30 self.x = x
31
Martin Panter3263f682016-02-28 03:16:11 +000032class BrokenStrException(Exception):
33 def __str__(self):
34 raise Exception("str() is broken")
35
Guido van Rossum3bead091992-01-27 17:00:37 +000036# XXX This is not really enough, each *operation* should be tested!
37
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000038class ExceptionTests(unittest.TestCase):
Barry Warsawb9c1d3d2001-08-13 23:07:00 +000039
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000040 def raise_catch(self, exc, excname):
Pablo Galindoaf8e5f82020-05-17 01:22:00 +010041 with self.subTest(exc=exc, excname=excname):
42 try:
43 raise exc("spam")
44 except exc as err:
45 buf1 = str(err)
46 try:
47 raise exc("spam")
48 except exc as err:
49 buf2 = str(err)
50 self.assertEqual(buf1, buf2)
51 self.assertEqual(exc.__name__, excname)
Guido van Rossum3bead091992-01-27 17:00:37 +000052
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000053 def testRaising(self):
54 self.raise_catch(AttributeError, "AttributeError")
55 self.assertRaises(AttributeError, getattr, sys, "undefined_attribute")
Guido van Rossum3bead091992-01-27 17:00:37 +000056
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000057 self.raise_catch(EOFError, "EOFError")
Inada Naoki8bbfeb32021-04-02 12:53:46 +090058 fp = open(TESTFN, 'w', encoding="utf-8")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000059 fp.close()
Inada Naoki8bbfeb32021-04-02 12:53:46 +090060 fp = open(TESTFN, 'r', encoding="utf-8")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000061 savestdin = sys.stdin
62 try:
63 try:
64 import marshal
Antoine Pitrou4a90ef02012-03-03 02:35:32 +010065 marshal.loads(b'')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000066 except EOFError:
67 pass
68 finally:
69 sys.stdin = savestdin
70 fp.close()
71 unlink(TESTFN)
Guido van Rossum3bead091992-01-27 17:00:37 +000072
Antoine Pitrou6b4883d2011-10-12 02:54:14 +020073 self.raise_catch(OSError, "OSError")
74 self.assertRaises(OSError, open, 'this file does not exist', 'r')
Guido van Rossum3bead091992-01-27 17:00:37 +000075
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000076 self.raise_catch(ImportError, "ImportError")
77 self.assertRaises(ImportError, __import__, "undefined_module")
Guido van Rossum3bead091992-01-27 17:00:37 +000078
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000079 self.raise_catch(IndexError, "IndexError")
80 x = []
81 self.assertRaises(IndexError, x.__getitem__, 10)
Guido van Rossum3bead091992-01-27 17:00:37 +000082
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000083 self.raise_catch(KeyError, "KeyError")
84 x = {}
85 self.assertRaises(KeyError, x.__getitem__, 'key')
Guido van Rossum3bead091992-01-27 17:00:37 +000086
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000087 self.raise_catch(KeyboardInterrupt, "KeyboardInterrupt")
Guido van Rossum3bead091992-01-27 17:00:37 +000088
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000089 self.raise_catch(MemoryError, "MemoryError")
Guido van Rossum3bead091992-01-27 17:00:37 +000090
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000091 self.raise_catch(NameError, "NameError")
92 try: x = undefined_variable
93 except NameError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +000094
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000095 self.raise_catch(OverflowError, "OverflowError")
96 x = 1
97 for dummy in range(128):
98 x += x # this simply shouldn't blow up
Guido van Rossum3bead091992-01-27 17:00:37 +000099
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000100 self.raise_catch(RuntimeError, "RuntimeError")
Yury Selivanovf488fb42015-07-03 01:04:23 -0400101 self.raise_catch(RecursionError, "RecursionError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000102
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000103 self.raise_catch(SyntaxError, "SyntaxError")
Georg Brandl7cae87c2006-09-06 06:51:57 +0000104 try: exec('/\n')
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000105 except SyntaxError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000106
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000107 self.raise_catch(IndentationError, "IndentationError")
Fred Drake72e48bd2000-09-08 16:32:34 +0000108
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000109 self.raise_catch(TabError, "TabError")
Georg Brandle1b5ac62008-06-04 13:06:58 +0000110 try: compile("try:\n\t1/0\n \t1/0\nfinally:\n pass\n",
111 '<string>', 'exec')
112 except TabError: pass
113 else: self.fail("TabError not raised")
Fred Drake72e48bd2000-09-08 16:32:34 +0000114
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000115 self.raise_catch(SystemError, "SystemError")
Fred Drake72e48bd2000-09-08 16:32:34 +0000116
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000117 self.raise_catch(SystemExit, "SystemExit")
118 self.assertRaises(SystemExit, sys.exit, 0)
Fred Drake85f36392000-07-11 17:53:00 +0000119
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000120 self.raise_catch(TypeError, "TypeError")
121 try: [] + ()
122 except TypeError: pass
Fred Drake85f36392000-07-11 17:53:00 +0000123
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000124 self.raise_catch(ValueError, "ValueError")
Guido van Rossume63bae62007-07-17 00:34:25 +0000125 self.assertRaises(ValueError, chr, 17<<16)
Guido van Rossum3bead091992-01-27 17:00:37 +0000126
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000127 self.raise_catch(ZeroDivisionError, "ZeroDivisionError")
128 try: x = 1/0
129 except ZeroDivisionError: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000130
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000131 self.raise_catch(Exception, "Exception")
132 try: x = 1/0
Guido van Rossumb940e112007-01-10 16:19:56 +0000133 except Exception as e: pass
Guido van Rossum3bead091992-01-27 17:00:37 +0000134
Yury Selivanovccc897f2015-07-03 01:16:04 -0400135 self.raise_catch(StopAsyncIteration, "StopAsyncIteration")
136
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000137 def testSyntaxErrorMessage(self):
138 # make sure the right exception message is raised for each of
139 # these code fragments
Guido van Rossum3bead091992-01-27 17:00:37 +0000140
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000141 def ckmsg(src, msg):
Pablo Galindoaf8e5f82020-05-17 01:22:00 +0100142 with self.subTest(src=src, msg=msg):
143 try:
144 compile(src, '<fragment>', 'exec')
145 except SyntaxError as e:
146 if e.msg != msg:
147 self.fail("expected %s, got %s" % (msg, e.msg))
148 else:
149 self.fail("failed to get expected SyntaxError")
Guido van Rossum3bead091992-01-27 17:00:37 +0000150
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000151 s = '''if 1:
152 try:
153 continue
154 except:
155 pass'''
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000156
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000157 ckmsg(s, "'continue' not properly in loop")
158 ckmsg("continue\n", "'continue' not properly in loop")
Thomas Wouters303de6a2006-04-20 22:42:37 +0000159
Martijn Pieters772d8092017-08-22 21:16:23 +0100160 def testSyntaxErrorMissingParens(self):
161 def ckmsg(src, msg, exception=SyntaxError):
162 try:
163 compile(src, '<fragment>', 'exec')
164 except exception as e:
165 if e.msg != msg:
166 self.fail("expected %s, got %s" % (msg, e.msg))
167 else:
168 self.fail("failed to get expected SyntaxError")
169
170 s = '''print "old style"'''
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700171 ckmsg(s, "Missing parentheses in call to 'print'. Did you mean print(...)?")
Martijn Pieters772d8092017-08-22 21:16:23 +0100172
173 s = '''print "old style",'''
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700174 ckmsg(s, "Missing parentheses in call to 'print'. Did you mean print(...)?")
Martijn Pieters772d8092017-08-22 21:16:23 +0100175
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100176 s = 'print f(a+b,c)'
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700177 ckmsg(s, "Missing parentheses in call to 'print'. Did you mean print(...)?")
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100178
Martijn Pieters772d8092017-08-22 21:16:23 +0100179 s = '''exec "old style"'''
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700180 ckmsg(s, "Missing parentheses in call to 'exec'. Did you mean exec(...)?")
Martijn Pieters772d8092017-08-22 21:16:23 +0100181
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100182 s = 'exec f(a+b,c)'
Miss Islington (bot)68e3dca2021-07-27 14:19:18 -0700183 ckmsg(s, "Missing parentheses in call to 'exec'. Did you mean exec(...)?")
Pablo Galindo Salgadob977f852021-07-27 18:52:32 +0100184
Miss Islington (bot)35035bc2021-07-31 18:31:44 -0700185 # Check that we don't incorrectly identify '(...)' as an expression to the right
186 # of 'print'
187
188 s = 'print (a+b,c) $ 42'
189 ckmsg(s, "invalid syntax")
190
191 s = 'exec (a+b,c) $ 42'
192 ckmsg(s, "invalid syntax")
193
Martijn Pieters772d8092017-08-22 21:16:23 +0100194 # should not apply to subclasses, see issue #31161
195 s = '''if True:\nprint "No indent"'''
Pablo Galindo56c95df2021-04-21 15:28:21 +0100196 ckmsg(s, "expected an indented block after 'if' statement on line 1", IndentationError)
Martijn Pieters772d8092017-08-22 21:16:23 +0100197
198 s = '''if True:\n print()\n\texec "mixed tabs and spaces"'''
199 ckmsg(s, "inconsistent use of tabs and spaces in indentation", TabError)
200
Batuhan Taskaya76c1b4d2020-05-01 16:13:43 +0300201 def check(self, src, lineno, offset, encoding='utf-8'):
Pablo Galindoaf8e5f82020-05-17 01:22:00 +0100202 with self.subTest(source=src, lineno=lineno, offset=offset):
203 with self.assertRaises(SyntaxError) as cm:
204 compile(src, '<fragment>', 'exec')
205 self.assertEqual(cm.exception.lineno, lineno)
206 self.assertEqual(cm.exception.offset, offset)
207 if cm.exception.text is not None:
208 if not isinstance(src, str):
209 src = src.decode(encoding, 'replace')
210 line = src.split('\n')[lineno-1]
211 self.assertIn(line, cm.exception.text)
Serhiy Storchaka65fd0592014-01-21 22:26:52 +0200212
Batuhan Taskaya76c1b4d2020-05-01 16:13:43 +0300213 def testSyntaxErrorOffset(self):
214 check = self.check
Serhiy Storchaka65fd0592014-01-21 22:26:52 +0200215 check('def fact(x):\n\treturn x!\n', 2, 10)
216 check('1 +\n', 1, 4)
217 check('def spam():\n print(1)\n print(2)', 3, 10)
218 check('Python = "Python" +', 1, 20)
219 check('Python = "\u1e54\xfd\u0163\u0125\xf2\xf1" +', 1, 20)
Serhiy Storchaka0cc6b5e2020-02-12 12:17:00 +0200220 check(b'# -*- coding: cp1251 -*-\nPython = "\xcf\xb3\xf2\xee\xed" +',
221 2, 19, encoding='cp1251')
222 check(b'Python = "\xcf\xb3\xf2\xee\xed" +', 1, 18)
Batuhan Taskayaa698d522021-01-21 00:38:47 +0300223 check('x = "a', 1, 5)
Ammar Askar025eb982018-09-24 17:12:49 -0400224 check('lambda x: x = 2', 1, 1)
Lysandros Nikolaou15acc4e2020-10-27 20:54:20 +0200225 check('f{a + b + c}', 1, 2)
Miss Islington (bot)756b7b92021-05-03 18:06:45 -0700226 check('[file for str(file) in []\n])', 2, 2)
Miss Islington (bot)933b5b62021-06-08 04:46:56 -0700227 check('a = « hello » « world »', 1, 5)
Lysandros Nikolaoue5fe5092021-01-14 23:36:30 +0200228 check('[\nfile\nfor str(file)\nin\n[]\n]', 3, 5)
229 check('[file for\n str(file) in []]', 2, 2)
Miss Islington (bot)07dba472021-05-21 08:29:58 -0700230 check("ages = {'Alice'=22, 'Bob'=23}", 1, 16)
Miss Islington (bot)f807a4f2021-06-09 14:45:43 -0700231 check('match ...:\n case {**rest, "key": value}:\n ...', 2, 19)
Ammar Askar025eb982018-09-24 17:12:49 -0400232
233 # Errors thrown by compile.c
234 check('class foo:return 1', 1, 11)
235 check('def f():\n continue', 2, 3)
236 check('def f():\n break', 2, 3)
Mark Shannon8d4b1842021-05-06 13:38:50 +0100237 check('try:\n pass\nexcept:\n pass\nexcept ValueError:\n pass', 3, 1)
Ammar Askar025eb982018-09-24 17:12:49 -0400238
239 # Errors thrown by tokenizer.c
240 check('(0x+1)', 1, 3)
241 check('x = 0xI', 1, 6)
Miss Islington (bot)2a722d42021-07-09 17:47:33 -0700242 check('0010 + 2', 1, 1)
Ammar Askar025eb982018-09-24 17:12:49 -0400243 check('x = 32e-+4', 1, 8)
Miss Islington (bot)2a722d42021-07-09 17:47:33 -0700244 check('x = 0o9', 1, 7)
Serhiy Storchaka0cc6b5e2020-02-12 12:17:00 +0200245 check('\u03b1 = 0xI', 1, 6)
246 check(b'\xce\xb1 = 0xI', 1, 6)
247 check(b'# -*- coding: iso8859-7 -*-\n\xe1 = 0xI', 2, 6,
248 encoding='iso8859-7')
Pablo Galindo11a7f152020-04-21 01:53:04 +0100249 check(b"""if 1:
250 def foo():
251 '''
252
253 def bar():
254 pass
255
256 def baz():
257 '''quux'''
Batuhan Taskayaa698d522021-01-21 00:38:47 +0300258 """, 9, 24)
Pablo Galindobcc30362020-05-14 21:11:48 +0100259 check("pass\npass\npass\n(1+)\npass\npass\npass", 4, 4)
260 check("(1+)", 1, 4)
Miss Islington (bot)1afaaf52021-05-15 10:39:18 -0700261 check("[interesting\nfoo()\n", 1, 1)
Miss Islington (bot)133cddf2021-06-14 10:07:52 -0700262 check(b"\xef\xbb\xbf#coding: utf8\nprint('\xe6\x88\x91')\n", 0, -1)
Ammar Askar025eb982018-09-24 17:12:49 -0400263
264 # Errors thrown by symtable.c
Serhiy Storchakab619b092018-11-27 09:40:29 +0200265 check('x = [(yield i) for i in range(3)]', 1, 5)
Ammar Askar025eb982018-09-24 17:12:49 -0400266 check('def f():\n from _ import *', 1, 1)
267 check('def f(x, x):\n pass', 1, 1)
268 check('def f(x):\n nonlocal x', 2, 3)
269 check('def f(x):\n x = 1\n global x', 3, 3)
270 check('nonlocal x', 1, 1)
271 check('def f():\n global x\n nonlocal x', 2, 3)
272
Ammar Askar025eb982018-09-24 17:12:49 -0400273 # Errors thrown by future.c
274 check('from __future__ import doesnt_exist', 1, 1)
275 check('from __future__ import braces', 1, 1)
276 check('x=1\nfrom __future__ import division', 2, 1)
Pablo Galindoa77aac42021-04-23 14:27:05 +0100277 check('foo(1=2)', 1, 5)
Lysandros Nikolaoua15c9b32020-05-13 22:36:27 +0300278 check('def f():\n x, y: int', 2, 3)
279 check('[*x for x in xs]', 1, 2)
280 check('foo(x for x in range(10), 100)', 1, 5)
Lysandros Nikolaou01ece632020-06-19 02:10:43 +0300281 check('for 1 in []: pass', 1, 5)
Pablo Galindoa77aac42021-04-23 14:27:05 +0100282 check('(yield i) = 2', 1, 2)
283 check('def f(*):\n pass', 1, 7)
Serhiy Storchaka65fd0592014-01-21 22:26:52 +0200284
Benjamin Peterson17e0bbc2010-06-28 15:39:55 +0000285 @cpython_only
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000286 def testSettingException(self):
287 # test that setting an exception at the C level works even if the
288 # exception object can't be constructed.
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000289
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000290 class BadException(Exception):
291 def __init__(self_):
Collin Winter828f04a2007-08-31 00:04:24 +0000292 raise RuntimeError("can't instantiate BadException")
Finn Bockaa3dc452001-12-08 10:15:48 +0000293
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000294 class InvalidException:
295 pass
Thomas Wouters303de6a2006-04-20 22:42:37 +0000296
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000297 def test_capi1():
298 import _testcapi
299 try:
300 _testcapi.raise_exception(BadException, 1)
Guido van Rossumb940e112007-01-10 16:19:56 +0000301 except TypeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000302 exc, err, tb = sys.exc_info()
303 co = tb.tb_frame.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000304 self.assertEqual(co.co_name, "test_capi1")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000305 self.assertTrue(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000306 else:
307 self.fail("Expected exception")
Jeremy Hyltonede049b2001-09-26 20:01:13 +0000308
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000309 def test_capi2():
310 import _testcapi
311 try:
312 _testcapi.raise_exception(BadException, 0)
Guido van Rossumb940e112007-01-10 16:19:56 +0000313 except RuntimeError as err:
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000314 exc, err, tb = sys.exc_info()
315 co = tb.tb_frame.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000316 self.assertEqual(co.co_name, "__init__")
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000317 self.assertTrue(co.co_filename.endswith('test_exceptions.py'))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000318 co2 = tb.tb_frame.f_back.f_code
Ezio Melottib3aedd42010-11-20 19:04:17 +0000319 self.assertEqual(co2.co_name, "test_capi2")
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000320 else:
321 self.fail("Expected exception")
Thomas Wouters477c8d52006-05-27 19:21:47 +0000322
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000323 def test_capi3():
324 import _testcapi
325 self.assertRaises(SystemError, _testcapi.raise_exception,
326 InvalidException, 1)
327
328 if not sys.platform.startswith('java'):
329 test_capi1()
330 test_capi2()
331 test_capi3()
332
Thomas Wouters89f507f2006-12-13 04:49:30 +0000333 def test_WindowsError(self):
334 try:
335 WindowsError
336 except NameError:
337 pass
338 else:
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200339 self.assertIs(WindowsError, OSError)
340 self.assertEqual(str(OSError(1001)), "1001")
341 self.assertEqual(str(OSError(1001, "message")),
342 "[Errno 1001] message")
343 # POSIX errno (9 aka EBADF) is untranslated
344 w = OSError(9, 'foo', 'bar')
345 self.assertEqual(w.errno, 9)
346 self.assertEqual(w.winerror, None)
347 self.assertEqual(str(w), "[Errno 9] foo: 'bar'")
348 # ERROR_PATH_NOT_FOUND (win error 3) becomes ENOENT (2)
349 w = OSError(0, 'foo', 'bar', 3)
350 self.assertEqual(w.errno, 2)
351 self.assertEqual(w.winerror, 3)
352 self.assertEqual(w.strerror, 'foo')
353 self.assertEqual(w.filename, 'bar')
Martin Panter5487c132015-10-26 11:05:42 +0000354 self.assertEqual(w.filename2, None)
Richard Oudkerk30147712012-08-28 19:33:26 +0100355 self.assertEqual(str(w), "[WinError 3] foo: 'bar'")
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200356 # Unknown win error becomes EINVAL (22)
357 w = OSError(0, 'foo', None, 1001)
358 self.assertEqual(w.errno, 22)
359 self.assertEqual(w.winerror, 1001)
360 self.assertEqual(w.strerror, 'foo')
361 self.assertEqual(w.filename, None)
Martin Panter5487c132015-10-26 11:05:42 +0000362 self.assertEqual(w.filename2, None)
Richard Oudkerk30147712012-08-28 19:33:26 +0100363 self.assertEqual(str(w), "[WinError 1001] foo")
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200364 # Non-numeric "errno"
365 w = OSError('bar', 'foo')
366 self.assertEqual(w.errno, 'bar')
367 self.assertEqual(w.winerror, None)
368 self.assertEqual(w.strerror, 'foo')
369 self.assertEqual(w.filename, None)
Martin Panter5487c132015-10-26 11:05:42 +0000370 self.assertEqual(w.filename2, None)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000371
Victor Stinnerd223fa62015-04-02 14:17:38 +0200372 @unittest.skipUnless(sys.platform == 'win32',
373 'test specific to Windows')
Serhiy Storchakaf41f8f92015-04-02 09:47:27 +0300374 def test_windows_message(self):
375 """Should fill in unknown error code in Windows error message"""
Victor Stinnerd223fa62015-04-02 14:17:38 +0200376 ctypes = import_module('ctypes')
377 # this error code has no message, Python formats it as hexadecimal
378 code = 3765269347
379 with self.assertRaisesRegex(OSError, 'Windows Error 0x%x' % code):
380 ctypes.pythonapi.PyErr_SetFromWindowsErr(code)
Serhiy Storchakaf41f8f92015-04-02 09:47:27 +0300381
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000382 def testAttributes(self):
383 # test that exception attributes are happy
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000384
385 exceptionList = [
Guido van Rossumebe3e162007-05-17 18:20:34 +0000386 (BaseException, (), {'args' : ()}),
387 (BaseException, (1, ), {'args' : (1,)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000388 (BaseException, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000389 {'args' : ('foo',)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000390 (BaseException, ('foo', 1),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000391 {'args' : ('foo', 1)}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000392 (SystemExit, ('foo',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000393 {'args' : ('foo',), 'code' : 'foo'}),
Andrew Svetlovf7a17b42012-12-25 16:47:37 +0200394 (OSError, ('foo',),
Martin Panter5487c132015-10-26 11:05:42 +0000395 {'args' : ('foo',), 'filename' : None, 'filename2' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000396 'errno' : None, 'strerror' : None}),
Andrew Svetlovf7a17b42012-12-25 16:47:37 +0200397 (OSError, ('foo', 'bar'),
Martin Panter5487c132015-10-26 11:05:42 +0000398 {'args' : ('foo', 'bar'),
399 'filename' : None, 'filename2' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000400 'errno' : 'foo', 'strerror' : 'bar'}),
Andrew Svetlovf7a17b42012-12-25 16:47:37 +0200401 (OSError, ('foo', 'bar', 'baz'),
Martin Panter5487c132015-10-26 11:05:42 +0000402 {'args' : ('foo', 'bar'),
403 'filename' : 'baz', 'filename2' : None,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000404 'errno' : 'foo', 'strerror' : 'bar'}),
Larry Hastingsb0827312014-02-09 22:05:19 -0800405 (OSError, ('foo', 'bar', 'baz', None, 'quux'),
406 {'args' : ('foo', 'bar'), 'filename' : 'baz', 'filename2': 'quux'}),
Andrew Svetlov3438fa42012-12-17 23:35:18 +0200407 (OSError, ('errnoStr', 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000408 {'args' : ('errnoStr', 'strErrorStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000409 'strerror' : 'strErrorStr', 'errno' : 'errnoStr',
410 'filename' : 'filenameStr'}),
Andrew Svetlov3438fa42012-12-17 23:35:18 +0200411 (OSError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000412 {'args' : (1, 'strErrorStr'), 'errno' : 1,
Martin Panter5487c132015-10-26 11:05:42 +0000413 'strerror' : 'strErrorStr',
414 'filename' : 'filenameStr', 'filename2' : None}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000415 (SyntaxError, (), {'msg' : None, 'text' : None,
Guido van Rossumd8faa362007-04-27 19:54:29 +0000416 'filename' : None, 'lineno' : None, 'offset' : None,
Pablo Galindoa77aac42021-04-23 14:27:05 +0100417 'end_offset': None, 'print_file_and_line' : None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000418 (SyntaxError, ('msgStr',),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000419 {'args' : ('msgStr',), 'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000420 'print_file_and_line' : None, 'msg' : 'msgStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100421 'filename' : None, 'lineno' : None, 'offset' : None,
422 'end_offset': None}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000423 (SyntaxError, ('msgStr', ('filenameStr', 'linenoStr', 'offsetStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100424 'textStr', 'endLinenoStr', 'endOffsetStr')),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000425 {'offset' : 'offsetStr', 'text' : 'textStr',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000426 'args' : ('msgStr', ('filenameStr', 'linenoStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100427 'offsetStr', 'textStr',
428 'endLinenoStr', 'endOffsetStr')),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000429 'print_file_and_line' : None, 'msg' : 'msgStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100430 'filename' : 'filenameStr', 'lineno' : 'linenoStr',
431 'end_lineno': 'endLinenoStr', 'end_offset': 'endOffsetStr'}),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000432 (SyntaxError, ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100433 'textStr', 'endLinenoStr', 'endOffsetStr',
434 'print_file_and_lineStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000435 {'text' : None,
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000436 'args' : ('msgStr', 'filenameStr', 'linenoStr', 'offsetStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100437 'textStr', 'endLinenoStr', 'endOffsetStr',
438 'print_file_and_lineStr'),
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000439 'print_file_and_line' : None, 'msg' : 'msgStr',
Pablo Galindoa77aac42021-04-23 14:27:05 +0100440 'filename' : None, 'lineno' : None, 'offset' : None,
441 'end_lineno': None, 'end_offset': None}),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000442 (UnicodeError, (), {'args' : (),}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000443 (UnicodeEncodeError, ('ascii', 'a', 0, 1,
444 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000445 {'args' : ('ascii', 'a', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000446 'ordinal not in range'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000447 'encoding' : 'ascii', 'object' : 'a',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000448 'start' : 0, 'reason' : 'ordinal not in range'}),
Guido van Rossum254348e2007-11-21 19:29:53 +0000449 (UnicodeDecodeError, ('ascii', bytearray(b'\xff'), 0, 1,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000450 'ordinal not in range'),
Guido van Rossum254348e2007-11-21 19:29:53 +0000451 {'args' : ('ascii', bytearray(b'\xff'), 0, 1,
Guido van Rossum98297ee2007-11-06 21:34:58 +0000452 'ordinal not in range'),
453 'encoding' : 'ascii', 'object' : b'\xff',
454 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000455 (UnicodeDecodeError, ('ascii', b'\xff', 0, 1,
456 'ordinal not in range'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000457 {'args' : ('ascii', b'\xff', 0, 1,
Thomas Wouters89f507f2006-12-13 04:49:30 +0000458 'ordinal not in range'),
Guido van Rossumb8142c32007-05-08 17:49:10 +0000459 'encoding' : 'ascii', 'object' : b'\xff',
Thomas Wouters89f507f2006-12-13 04:49:30 +0000460 'start' : 0, 'reason' : 'ordinal not in range'}),
Walter Dörwaldeceb0fb2007-05-24 17:49:56 +0000461 (UnicodeTranslateError, ("\u3042", 0, 1, "ouch"),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000462 {'args' : ('\u3042', 0, 1, 'ouch'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000463 'object' : '\u3042', 'reason' : 'ouch',
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000464 'start' : 0, 'end' : 1}),
Richard Oudkerk5562d9d2012-07-28 17:45:28 +0100465 (NaiveException, ('foo',),
466 {'args': ('foo',), 'x': 'foo'}),
467 (SlottedNaiveException, ('foo',),
468 {'args': ('foo',), 'x': 'foo'}),
Thomas Wouters477c8d52006-05-27 19:21:47 +0000469 ]
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000470 try:
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200471 # More tests are in test_WindowsError
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000472 exceptionList.append(
473 (WindowsError, (1, 'strErrorStr', 'filenameStr'),
Guido van Rossumebe3e162007-05-17 18:20:34 +0000474 {'args' : (1, 'strErrorStr'),
Antoine Pitrou6b4883d2011-10-12 02:54:14 +0200475 'strerror' : 'strErrorStr', 'winerror' : None,
Martin Panter5487c132015-10-26 11:05:42 +0000476 'errno' : 1,
477 'filename' : 'filenameStr', 'filename2' : None})
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000478 )
Thomas Wouters73e5a5b2006-06-08 15:35:45 +0000479 except NameError:
480 pass
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000481
Guido van Rossumebe3e162007-05-17 18:20:34 +0000482 for exc, args, expected in exceptionList:
483 try:
484 e = exc(*args)
485 except:
Guido van Rossum98297ee2007-11-06 21:34:58 +0000486 print("\nexc=%r, args=%r" % (exc, args), file=sys.stderr)
Pablo Galindoa77aac42021-04-23 14:27:05 +0100487 # raise
Guido van Rossumebe3e162007-05-17 18:20:34 +0000488 else:
489 # Verify module name
Richard Oudkerk5562d9d2012-07-28 17:45:28 +0100490 if not type(e).__name__.endswith('NaiveException'):
491 self.assertEqual(type(e).__module__, 'builtins')
Guido van Rossumebe3e162007-05-17 18:20:34 +0000492 # Verify no ref leaks in Exc_str()
493 s = str(e)
494 for checkArgName in expected:
495 value = getattr(e, checkArgName)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000496 self.assertEqual(repr(value),
497 repr(expected[checkArgName]),
498 '%r.%s == %r, expected %r' % (
499 e, checkArgName,
500 value, expected[checkArgName]))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000501
Guido van Rossumebe3e162007-05-17 18:20:34 +0000502 # test for pickling support
Guido van Rossum99603b02007-07-20 00:22:32 +0000503 for p in [pickle]:
Guido van Rossumebe3e162007-05-17 18:20:34 +0000504 for protocol in range(p.HIGHEST_PROTOCOL + 1):
505 s = p.dumps(e, protocol)
506 new = p.loads(s)
507 for checkArgName in expected:
508 got = repr(getattr(new, checkArgName))
509 want = repr(expected[checkArgName])
Ezio Melottib3aedd42010-11-20 19:04:17 +0000510 self.assertEqual(got, want,
511 'pickled "%r", attribute "%s' %
512 (e, checkArgName))
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000513
Collin Winter828f04a2007-08-31 00:04:24 +0000514 def testWithTraceback(self):
515 try:
516 raise IndexError(4)
517 except:
518 tb = sys.exc_info()[2]
519
520 e = BaseException().with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000521 self.assertIsInstance(e, BaseException)
Collin Winter828f04a2007-08-31 00:04:24 +0000522 self.assertEqual(e.__traceback__, tb)
523
524 e = IndexError(5).with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000525 self.assertIsInstance(e, IndexError)
Collin Winter828f04a2007-08-31 00:04:24 +0000526 self.assertEqual(e.__traceback__, tb)
527
528 class MyException(Exception):
529 pass
530
531 e = MyException().with_traceback(tb)
Ezio Melottie9615932010-01-24 19:26:24 +0000532 self.assertIsInstance(e, MyException)
Collin Winter828f04a2007-08-31 00:04:24 +0000533 self.assertEqual(e.__traceback__, tb)
534
535 def testInvalidTraceback(self):
536 try:
537 Exception().__traceback__ = 5
538 except TypeError as e:
Benjamin Peterson577473f2010-01-19 00:09:57 +0000539 self.assertIn("__traceback__ must be a traceback", str(e))
Collin Winter828f04a2007-08-31 00:04:24 +0000540 else:
541 self.fail("No exception raised")
542
Georg Brandlab6f2f62009-03-31 04:16:10 +0000543 def testInvalidAttrs(self):
544 self.assertRaises(TypeError, setattr, Exception(), '__cause__', 1)
545 self.assertRaises(TypeError, delattr, Exception(), '__cause__')
546 self.assertRaises(TypeError, setattr, Exception(), '__context__', 1)
547 self.assertRaises(TypeError, delattr, Exception(), '__context__')
548
Collin Winter828f04a2007-08-31 00:04:24 +0000549 def testNoneClearsTracebackAttr(self):
550 try:
551 raise IndexError(4)
552 except:
553 tb = sys.exc_info()[2]
554
555 e = Exception()
556 e.__traceback__ = tb
557 e.__traceback__ = None
558 self.assertEqual(e.__traceback__, None)
559
560 def testChainingAttrs(self):
561 e = Exception()
Nick Coghlanab7bf212012-02-26 17:49:52 +1000562 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700563 self.assertIsNone(e.__cause__)
Collin Winter828f04a2007-08-31 00:04:24 +0000564
565 e = TypeError()
Nick Coghlanab7bf212012-02-26 17:49:52 +1000566 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700567 self.assertIsNone(e.__cause__)
Collin Winter828f04a2007-08-31 00:04:24 +0000568
Andrew Svetlov3438fa42012-12-17 23:35:18 +0200569 class MyException(OSError):
Collin Winter828f04a2007-08-31 00:04:24 +0000570 pass
571
572 e = MyException()
Nick Coghlanab7bf212012-02-26 17:49:52 +1000573 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700574 self.assertIsNone(e.__cause__)
Nick Coghlanab7bf212012-02-26 17:49:52 +1000575
576 def testChainingDescriptors(self):
577 try:
578 raise Exception()
579 except Exception as exc:
580 e = exc
581
582 self.assertIsNone(e.__context__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700583 self.assertIsNone(e.__cause__)
584 self.assertFalse(e.__suppress_context__)
Nick Coghlanab7bf212012-02-26 17:49:52 +1000585
586 e.__context__ = NameError()
587 e.__cause__ = None
588 self.assertIsInstance(e.__context__, NameError)
589 self.assertIsNone(e.__cause__)
Benjamin Petersond5a1c442012-05-14 22:09:31 -0700590 self.assertTrue(e.__suppress_context__)
591 e.__suppress_context__ = False
592 self.assertFalse(e.__suppress_context__)
Collin Winter828f04a2007-08-31 00:04:24 +0000593
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000594 def testKeywordArgs(self):
595 # test that builtin exception don't take keyword args,
596 # but user-defined subclasses can if they want
597 self.assertRaises(TypeError, BaseException, a=1)
598
599 class DerivedException(BaseException):
600 def __init__(self, fancy_arg):
601 BaseException.__init__(self)
602 self.fancy_arg = fancy_arg
603
604 x = DerivedException(fancy_arg=42)
Ezio Melottib3aedd42010-11-20 19:04:17 +0000605 self.assertEqual(x.fancy_arg, 42)
Thomas Wouters4d70c3d2006-06-08 14:42:34 +0000606
Brett Cannon31f59292011-02-21 19:29:56 +0000607 @no_tracing
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000608 def testInfiniteRecursion(self):
609 def f():
610 return f()
Yury Selivanovf488fb42015-07-03 01:04:23 -0400611 self.assertRaises(RecursionError, f)
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000612
613 def g():
614 try:
615 return g()
616 except ValueError:
617 return -1
Yury Selivanovf488fb42015-07-03 01:04:23 -0400618 self.assertRaises(RecursionError, g)
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000619
Ezio Melotti2f5a78c2009-12-24 22:54:06 +0000620 def test_str(self):
621 # Make sure both instances and classes have a str representation.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000622 self.assertTrue(str(Exception))
623 self.assertTrue(str(Exception('a')))
Ezio Melotti2f5a78c2009-12-24 22:54:06 +0000624 self.assertTrue(str(Exception('a', 'b')))
Thomas Wouters89f507f2006-12-13 04:49:30 +0000625
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000626 def testExceptionCleanupNames(self):
627 # Make sure the local variable bound to the exception instance by
628 # an "except" statement is only visible inside the except block.
Guido van Rossumb940e112007-01-10 16:19:56 +0000629 try:
630 raise Exception()
631 except Exception as e:
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000632 self.assertTrue(e)
Guido van Rossumb940e112007-01-10 16:19:56 +0000633 del e
Ezio Melottib58e0bd2010-01-23 15:40:09 +0000634 self.assertNotIn('e', locals())
Guido van Rossumb940e112007-01-10 16:19:56 +0000635
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000636 def testExceptionCleanupState(self):
637 # Make sure exception state is cleaned up as soon as the except
638 # block is left. See #2507
639
640 class MyException(Exception):
641 def __init__(self, obj):
642 self.obj = obj
643 class MyObj:
644 pass
645
646 def inner_raising_func():
647 # Create some references in exception value and traceback
648 local_ref = obj
649 raise MyException(obj)
650
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000651 # Qualified "except" with "as"
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000652 obj = MyObj()
653 wr = weakref.ref(obj)
654 try:
655 inner_raising_func()
656 except MyException as e:
657 pass
658 obj = None
659 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300660 self.assertIsNone(obj)
Barry Warsaw8d109cb2008-05-08 04:26:35 +0000661
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000662 # Qualified "except" without "as"
663 obj = MyObj()
664 wr = weakref.ref(obj)
665 try:
666 inner_raising_func()
667 except MyException:
668 pass
669 obj = None
670 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300671 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000672
673 # Bare "except"
674 obj = MyObj()
675 wr = weakref.ref(obj)
676 try:
677 inner_raising_func()
678 except:
679 pass
680 obj = None
681 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300682 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000683
684 # "except" with premature block leave
685 obj = MyObj()
686 wr = weakref.ref(obj)
687 for i in [0]:
688 try:
689 inner_raising_func()
690 except:
691 break
692 obj = None
693 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300694 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000695
696 # "except" block raising another exception
697 obj = MyObj()
698 wr = weakref.ref(obj)
699 try:
700 try:
701 inner_raising_func()
702 except:
703 raise KeyError
Guido van Rossumb4fb6e42008-06-14 20:20:24 +0000704 except KeyError as e:
705 # We want to test that the except block above got rid of
706 # the exception raised in inner_raising_func(), but it
707 # also ends up in the __context__ of the KeyError, so we
708 # must clear the latter manually for our test to succeed.
709 e.__context__ = None
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000710 obj = None
711 obj = wr()
Philip Jenveyb37ac8e2012-11-14 14:37:24 -0800712 # guarantee no ref cycles on CPython (don't gc_collect)
713 if check_impl_detail(cpython=False):
714 gc_collect()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300715 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000716
717 # Some complicated construct
718 obj = MyObj()
719 wr = weakref.ref(obj)
720 try:
721 inner_raising_func()
722 except MyException:
723 try:
724 try:
725 raise
726 finally:
727 raise
728 except MyException:
729 pass
730 obj = None
Philip Jenveyb37ac8e2012-11-14 14:37:24 -0800731 if check_impl_detail(cpython=False):
732 gc_collect()
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000733 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300734 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000735
736 # Inside an exception-silencing "with" block
737 class Context:
738 def __enter__(self):
739 return self
740 def __exit__ (self, exc_type, exc_value, exc_tb):
741 return True
742 obj = MyObj()
743 wr = weakref.ref(obj)
744 with Context():
745 inner_raising_func()
746 obj = None
Philip Jenveyb37ac8e2012-11-14 14:37:24 -0800747 if check_impl_detail(cpython=False):
748 gc_collect()
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000749 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300750 self.assertIsNone(obj)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000751
Amaury Forgeot d'Arcba117ef2010-09-10 21:39:53 +0000752 def test_exception_target_in_nested_scope(self):
753 # issue 4617: This used to raise a SyntaxError
754 # "can not delete variable 'e' referenced in nested scope"
755 def print_error():
756 e
757 try:
758 something
759 except Exception as e:
760 print_error()
761 # implicit "del e" here
762
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000763 def test_generator_leaking(self):
764 # Test that generator exception state doesn't leak into the calling
765 # frame
766 def yield_raise():
767 try:
768 raise KeyError("caught")
769 except KeyError:
770 yield sys.exc_info()[0]
771 yield sys.exc_info()[0]
772 yield sys.exc_info()[0]
773 g = yield_raise()
Ezio Melottib3aedd42010-11-20 19:04:17 +0000774 self.assertEqual(next(g), KeyError)
775 self.assertEqual(sys.exc_info()[0], None)
776 self.assertEqual(next(g), KeyError)
777 self.assertEqual(sys.exc_info()[0], None)
778 self.assertEqual(next(g), None)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000779
780 # Same test, but inside an exception handler
781 try:
782 raise TypeError("foo")
783 except TypeError:
784 g = yield_raise()
Ezio Melottib3aedd42010-11-20 19:04:17 +0000785 self.assertEqual(next(g), KeyError)
786 self.assertEqual(sys.exc_info()[0], TypeError)
787 self.assertEqual(next(g), KeyError)
788 self.assertEqual(sys.exc_info()[0], TypeError)
789 self.assertEqual(next(g), TypeError)
Benjamin Petersoneec3d712008-06-11 15:59:43 +0000790 del g
Ezio Melottib3aedd42010-11-20 19:04:17 +0000791 self.assertEqual(sys.exc_info()[0], TypeError)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000792
Benjamin Peterson83195c32011-07-03 13:44:00 -0500793 def test_generator_leaking2(self):
794 # See issue 12475.
795 def g():
796 yield
797 try:
798 raise RuntimeError
799 except RuntimeError:
800 it = g()
801 next(it)
802 try:
803 next(it)
804 except StopIteration:
805 pass
806 self.assertEqual(sys.exc_info(), (None, None, None))
807
Antoine Pitrouc4c19b32015-03-18 22:22:46 +0100808 def test_generator_leaking3(self):
809 # See issue #23353. When gen.throw() is called, the caller's
810 # exception state should be save and restored.
811 def g():
812 try:
813 yield
814 except ZeroDivisionError:
815 yield sys.exc_info()[1]
816 it = g()
817 next(it)
818 try:
819 1/0
820 except ZeroDivisionError as e:
821 self.assertIs(sys.exc_info()[1], e)
822 gen_exc = it.throw(e)
823 self.assertIs(sys.exc_info()[1], e)
824 self.assertIs(gen_exc, e)
825 self.assertEqual(sys.exc_info(), (None, None, None))
826
827 def test_generator_leaking4(self):
828 # See issue #23353. When an exception is raised by a generator,
829 # the caller's exception state should still be restored.
830 def g():
831 try:
832 1/0
833 except ZeroDivisionError:
834 yield sys.exc_info()[0]
835 raise
836 it = g()
837 try:
838 raise TypeError
839 except TypeError:
840 # The caller's exception state (TypeError) is temporarily
841 # saved in the generator.
842 tp = next(it)
843 self.assertIs(tp, ZeroDivisionError)
844 try:
845 next(it)
846 # We can't check it immediately, but while next() returns
847 # with an exception, it shouldn't have restored the old
848 # exception state (TypeError).
849 except ZeroDivisionError as e:
850 self.assertIs(sys.exc_info()[1], e)
851 # We used to find TypeError here.
852 self.assertEqual(sys.exc_info(), (None, None, None))
853
Benjamin Petersonac913412011-07-03 16:25:11 -0500854 def test_generator_doesnt_retain_old_exc(self):
855 def g():
856 self.assertIsInstance(sys.exc_info()[1], RuntimeError)
857 yield
858 self.assertEqual(sys.exc_info(), (None, None, None))
859 it = g()
860 try:
861 raise RuntimeError
862 except RuntimeError:
863 next(it)
864 self.assertRaises(StopIteration, next, it)
865
Benjamin Petersonae5f2f42010-03-07 17:10:51 +0000866 def test_generator_finalizing_and_exc_info(self):
867 # See #7173
868 def simple_gen():
869 yield 1
870 def run_gen():
871 gen = simple_gen()
872 try:
873 raise RuntimeError
874 except RuntimeError:
875 return next(gen)
876 run_gen()
877 gc_collect()
878 self.assertEqual(sys.exc_info(), (None, None, None))
879
Antoine Pitroua370fcf2011-08-20 14:15:03 +0200880 def _check_generator_cleanup_exc_state(self, testfunc):
881 # Issue #12791: exception state is cleaned up as soon as a generator
882 # is closed (reference cycles are broken).
883 class MyException(Exception):
884 def __init__(self, obj):
885 self.obj = obj
886 class MyObj:
887 pass
888
889 def raising_gen():
890 try:
891 raise MyException(obj)
892 except MyException:
893 yield
894
895 obj = MyObj()
896 wr = weakref.ref(obj)
897 g = raising_gen()
898 next(g)
899 testfunc(g)
900 g = obj = None
901 obj = wr()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +0300902 self.assertIsNone(obj)
Antoine Pitroua370fcf2011-08-20 14:15:03 +0200903
904 def test_generator_throw_cleanup_exc_state(self):
905 def do_throw(g):
906 try:
907 g.throw(RuntimeError())
908 except RuntimeError:
909 pass
910 self._check_generator_cleanup_exc_state(do_throw)
911
912 def test_generator_close_cleanup_exc_state(self):
913 def do_close(g):
914 g.close()
915 self._check_generator_cleanup_exc_state(do_close)
916
917 def test_generator_del_cleanup_exc_state(self):
918 def do_del(g):
919 g = None
920 self._check_generator_cleanup_exc_state(do_del)
921
922 def test_generator_next_cleanup_exc_state(self):
923 def do_next(g):
924 try:
925 next(g)
926 except StopIteration:
927 pass
928 else:
929 self.fail("should have raised StopIteration")
930 self._check_generator_cleanup_exc_state(do_next)
931
932 def test_generator_send_cleanup_exc_state(self):
933 def do_send(g):
934 try:
935 g.send(None)
936 except StopIteration:
937 pass
938 else:
939 self.fail("should have raised StopIteration")
940 self._check_generator_cleanup_exc_state(do_send)
941
Benjamin Peterson27d63672008-06-15 20:09:12 +0000942 def test_3114(self):
943 # Bug #3114: in its destructor, MyObject retrieves a pointer to
944 # obsolete and/or deallocated objects.
Benjamin Peterson979f3112008-06-15 00:05:44 +0000945 class MyObject:
946 def __del__(self):
947 nonlocal e
948 e = sys.exc_info()
949 e = ()
950 try:
951 raise Exception(MyObject())
952 except:
953 pass
Ezio Melottib3aedd42010-11-20 19:04:17 +0000954 self.assertEqual(e, (None, None, None))
Benjamin Peterson979f3112008-06-15 00:05:44 +0000955
Miss Islington (bot)d86bbe32021-08-10 06:47:23 -0700956 def test_raise_does_not_create_context_chain_cycle(self):
957 class A(Exception):
958 pass
959 class B(Exception):
960 pass
961 class C(Exception):
962 pass
963
964 # Create a context chain:
965 # C -> B -> A
966 # Then raise A in context of C.
967 try:
968 try:
969 raise A
970 except A as a_:
971 a = a_
972 try:
973 raise B
974 except B as b_:
975 b = b_
976 try:
977 raise C
978 except C as c_:
979 c = c_
980 self.assertIsInstance(a, A)
981 self.assertIsInstance(b, B)
982 self.assertIsInstance(c, C)
983 self.assertIsNone(a.__context__)
984 self.assertIs(b.__context__, a)
985 self.assertIs(c.__context__, b)
986 raise a
987 except A as e:
988 exc = e
989
990 # Expect A -> C -> B, without cycle
991 self.assertIs(exc, a)
992 self.assertIs(a.__context__, c)
993 self.assertIs(c.__context__, b)
994 self.assertIsNone(b.__context__)
995
996 def test_no_hang_on_context_chain_cycle1(self):
997 # See issue 25782. Cycle in context chain.
998
999 def cycle():
1000 try:
1001 raise ValueError(1)
1002 except ValueError as ex:
1003 ex.__context__ = ex
1004 raise TypeError(2)
1005
1006 try:
1007 cycle()
1008 except Exception as e:
1009 exc = e
1010
1011 self.assertIsInstance(exc, TypeError)
1012 self.assertIsInstance(exc.__context__, ValueError)
1013 self.assertIs(exc.__context__.__context__, exc.__context__)
1014
1015 def test_no_hang_on_context_chain_cycle2(self):
1016 # See issue 25782. Cycle at head of context chain.
1017
1018 class A(Exception):
1019 pass
1020 class B(Exception):
1021 pass
1022 class C(Exception):
1023 pass
1024
1025 # Context cycle:
1026 # +-----------+
1027 # V |
1028 # C --> B --> A
1029 with self.assertRaises(C) as cm:
1030 try:
1031 raise A()
1032 except A as _a:
1033 a = _a
1034 try:
1035 raise B()
1036 except B as _b:
1037 b = _b
1038 try:
1039 raise C()
1040 except C as _c:
1041 c = _c
1042 a.__context__ = c
1043 raise c
1044
1045 self.assertIs(cm.exception, c)
1046 # Verify the expected context chain cycle
1047 self.assertIs(c.__context__, b)
1048 self.assertIs(b.__context__, a)
1049 self.assertIs(a.__context__, c)
1050
1051 def test_no_hang_on_context_chain_cycle3(self):
1052 # See issue 25782. Longer context chain with cycle.
1053
1054 class A(Exception):
1055 pass
1056 class B(Exception):
1057 pass
1058 class C(Exception):
1059 pass
1060 class D(Exception):
1061 pass
1062 class E(Exception):
1063 pass
1064
1065 # Context cycle:
1066 # +-----------+
1067 # V |
1068 # E --> D --> C --> B --> A
1069 with self.assertRaises(E) as cm:
1070 try:
1071 raise A()
1072 except A as _a:
1073 a = _a
1074 try:
1075 raise B()
1076 except B as _b:
1077 b = _b
1078 try:
1079 raise C()
1080 except C as _c:
1081 c = _c
1082 a.__context__ = c
1083 try:
1084 raise D()
1085 except D as _d:
1086 d = _d
1087 e = E()
1088 raise e
1089
1090 self.assertIs(cm.exception, e)
1091 # Verify the expected context chain cycle
1092 self.assertIs(e.__context__, d)
1093 self.assertIs(d.__context__, c)
1094 self.assertIs(c.__context__, b)
1095 self.assertIs(b.__context__, a)
1096 self.assertIs(a.__context__, c)
1097
Benjamin Peterson24dfb052014-04-02 12:05:35 -04001098 def test_unicode_change_attributes(self):
Eric Smith0facd772010-02-24 15:42:29 +00001099 # See issue 7309. This was a crasher.
1100
1101 u = UnicodeEncodeError('baz', 'xxxxx', 1, 5, 'foo')
1102 self.assertEqual(str(u), "'baz' codec can't encode characters in position 1-4: foo")
1103 u.end = 2
1104 self.assertEqual(str(u), "'baz' codec can't encode character '\\x78' in position 1: foo")
1105 u.end = 5
1106 u.reason = 0x345345345345345345
1107 self.assertEqual(str(u), "'baz' codec can't encode characters in position 1-4: 965230951443685724997")
1108 u.encoding = 4000
1109 self.assertEqual(str(u), "'4000' codec can't encode characters in position 1-4: 965230951443685724997")
1110 u.start = 1000
1111 self.assertEqual(str(u), "'4000' codec can't encode characters in position 1000-4: 965230951443685724997")
1112
1113 u = UnicodeDecodeError('baz', b'xxxxx', 1, 5, 'foo')
1114 self.assertEqual(str(u), "'baz' codec can't decode bytes in position 1-4: foo")
1115 u.end = 2
1116 self.assertEqual(str(u), "'baz' codec can't decode byte 0x78 in position 1: foo")
1117 u.end = 5
1118 u.reason = 0x345345345345345345
1119 self.assertEqual(str(u), "'baz' codec can't decode bytes in position 1-4: 965230951443685724997")
1120 u.encoding = 4000
1121 self.assertEqual(str(u), "'4000' codec can't decode bytes in position 1-4: 965230951443685724997")
1122 u.start = 1000
1123 self.assertEqual(str(u), "'4000' codec can't decode bytes in position 1000-4: 965230951443685724997")
1124
1125 u = UnicodeTranslateError('xxxx', 1, 5, 'foo')
1126 self.assertEqual(str(u), "can't translate characters in position 1-4: foo")
1127 u.end = 2
1128 self.assertEqual(str(u), "can't translate character '\\x78' in position 1: foo")
1129 u.end = 5
1130 u.reason = 0x345345345345345345
1131 self.assertEqual(str(u), "can't translate characters in position 1-4: 965230951443685724997")
1132 u.start = 1000
1133 self.assertEqual(str(u), "can't translate characters in position 1000-4: 965230951443685724997")
Benjamin Peterson6e7740c2008-08-20 23:23:34 +00001134
Benjamin Peterson9b09ba12014-04-02 12:15:06 -04001135 def test_unicode_errors_no_object(self):
1136 # See issue #21134.
Benjamin Petersone3311212014-04-02 15:51:38 -04001137 klasses = UnicodeEncodeError, UnicodeDecodeError, UnicodeTranslateError
Benjamin Peterson9b09ba12014-04-02 12:15:06 -04001138 for klass in klasses:
1139 self.assertEqual(str(klass.__new__(klass)), "")
1140
Brett Cannon31f59292011-02-21 19:29:56 +00001141 @no_tracing
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001142 def test_badisinstance(self):
1143 # Bug #2542: if issubclass(e, MyException) raises an exception,
1144 # it should be ignored
1145 class Meta(type):
1146 def __subclasscheck__(cls, subclass):
1147 raise ValueError()
1148 class MyException(Exception, metaclass=Meta):
1149 pass
1150
Martin Panter3263f682016-02-28 03:16:11 +00001151 with captured_stderr() as stderr:
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001152 try:
1153 raise KeyError()
1154 except MyException as e:
1155 self.fail("exception should not be a MyException")
1156 except KeyError:
1157 pass
1158 except:
Antoine Pitrouec569b72008-08-26 22:40:48 +00001159 self.fail("Should have raised KeyError")
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001160 else:
Antoine Pitrouec569b72008-08-26 22:40:48 +00001161 self.fail("Should have raised KeyError")
1162
1163 def g():
1164 try:
1165 return g()
Yury Selivanovf488fb42015-07-03 01:04:23 -04001166 except RecursionError:
Antoine Pitrouec569b72008-08-26 22:40:48 +00001167 return sys.exc_info()
1168 e, v, tb = g()
Serhiy Storchakaf15c4d32017-03-30 18:05:08 +03001169 self.assertIsInstance(v, RecursionError, type(v))
Benjamin Peterson577473f2010-01-19 00:09:57 +00001170 self.assertIn("maximum recursion depth exceeded", str(v))
Benjamin Peterson69c88f72008-07-31 01:47:08 +00001171
Miss Islington (bot)d6d2d542021-08-11 01:32:44 -07001172
1173 @cpython_only
1174 def test_crashcan_recursion(self):
1175 # See bpo-33930
1176
1177 def foo():
1178 o = object()
1179 for x in range(1_000_000):
1180 # Create a big chain of method objects that will trigger
1181 # a deep chain of calls when they need to be destructed.
1182 o = o.__dir__
1183
1184 foo()
1185 support.gc_collect()
1186
xdegaye56d1f5c2017-10-26 15:09:06 +02001187 @cpython_only
1188 def test_recursion_normalizing_exception(self):
1189 # Issue #22898.
1190 # Test that a RecursionError is raised when tstate->recursion_depth is
1191 # equal to recursion_limit in PyErr_NormalizeException() and check
1192 # that a ResourceWarning is printed.
1193 # Prior to #22898, the recursivity of PyErr_NormalizeException() was
luzpaza5293b42017-11-05 07:37:50 -06001194 # controlled by tstate->recursion_depth and a PyExc_RecursionErrorInst
xdegaye56d1f5c2017-10-26 15:09:06 +02001195 # singleton was being used in that case, that held traceback data and
1196 # locals indefinitely and would cause a segfault in _PyExc_Fini() upon
1197 # finalization of these locals.
1198 code = """if 1:
1199 import sys
Victor Stinner3f2f4fe2020-03-13 13:07:31 +01001200 from _testinternalcapi import get_recursion_depth
xdegaye56d1f5c2017-10-26 15:09:06 +02001201
1202 class MyException(Exception): pass
1203
1204 def setrecursionlimit(depth):
1205 while 1:
1206 try:
1207 sys.setrecursionlimit(depth)
1208 return depth
1209 except RecursionError:
1210 # sys.setrecursionlimit() raises a RecursionError if
1211 # the new recursion limit is too low (issue #25274).
1212 depth += 1
1213
1214 def recurse(cnt):
1215 cnt -= 1
1216 if cnt:
1217 recurse(cnt)
1218 else:
1219 generator.throw(MyException)
1220
1221 def gen():
1222 f = open(%a, mode='rb', buffering=0)
1223 yield
1224
1225 generator = gen()
1226 next(generator)
1227 recursionlimit = sys.getrecursionlimit()
1228 depth = get_recursion_depth()
1229 try:
1230 # Upon the last recursive invocation of recurse(),
1231 # tstate->recursion_depth is equal to (recursion_limit - 1)
1232 # and is equal to recursion_limit when _gen_throw() calls
1233 # PyErr_NormalizeException().
Mark Shannon4e7a69b2020-12-02 13:30:55 +00001234 recurse(setrecursionlimit(depth + 2) - depth)
xdegaye56d1f5c2017-10-26 15:09:06 +02001235 finally:
1236 sys.setrecursionlimit(recursionlimit)
1237 print('Done.')
1238 """ % __file__
1239 rc, out, err = script_helper.assert_python_failure("-Wd", "-c", code)
1240 # Check that the program does not fail with SIGABRT.
1241 self.assertEqual(rc, 1)
1242 self.assertIn(b'RecursionError', err)
1243 self.assertIn(b'ResourceWarning', err)
1244 self.assertIn(b'Done.', out)
1245
1246 @cpython_only
1247 def test_recursion_normalizing_infinite_exception(self):
1248 # Issue #30697. Test that a RecursionError is raised when
1249 # PyErr_NormalizeException() maximum recursion depth has been
1250 # exceeded.
1251 code = """if 1:
1252 import _testcapi
1253 try:
1254 raise _testcapi.RecursingInfinitelyError
1255 finally:
1256 print('Done.')
1257 """
1258 rc, out, err = script_helper.assert_python_failure("-c", code)
1259 self.assertEqual(rc, 1)
1260 self.assertIn(b'RecursionError: maximum recursion depth exceeded '
1261 b'while normalizing an exception', err)
1262 self.assertIn(b'Done.', out)
1263
Mark Shannon4e7a69b2020-12-02 13:30:55 +00001264
1265 def test_recursion_in_except_handler(self):
1266
1267 def set_relative_recursion_limit(n):
1268 depth = 1
1269 while True:
1270 try:
1271 sys.setrecursionlimit(depth)
1272 except RecursionError:
1273 depth += 1
1274 else:
1275 break
1276 sys.setrecursionlimit(depth+n)
1277
1278 def recurse_in_except():
1279 try:
1280 1/0
1281 except:
1282 recurse_in_except()
1283
1284 def recurse_after_except():
1285 try:
1286 1/0
1287 except:
1288 pass
1289 recurse_after_except()
1290
1291 def recurse_in_body_and_except():
1292 try:
1293 recurse_in_body_and_except()
1294 except:
1295 recurse_in_body_and_except()
1296
1297 recursionlimit = sys.getrecursionlimit()
1298 try:
1299 set_relative_recursion_limit(10)
1300 for func in (recurse_in_except, recurse_after_except, recurse_in_body_and_except):
1301 with self.subTest(func=func):
1302 try:
1303 func()
1304 except RecursionError:
1305 pass
1306 else:
1307 self.fail("Should have raised a RecursionError")
1308 finally:
1309 sys.setrecursionlimit(recursionlimit)
1310
1311
xdegaye56d1f5c2017-10-26 15:09:06 +02001312 @cpython_only
1313 def test_recursion_normalizing_with_no_memory(self):
1314 # Issue #30697. Test that in the abort that occurs when there is no
1315 # memory left and the size of the Python frames stack is greater than
1316 # the size of the list of preallocated MemoryError instances, the
1317 # Fatal Python error message mentions MemoryError.
1318 code = """if 1:
1319 import _testcapi
1320 class C(): pass
1321 def recurse(cnt):
1322 cnt -= 1
1323 if cnt:
1324 recurse(cnt)
1325 else:
1326 _testcapi.set_nomemory(0)
1327 C()
1328 recurse(16)
1329 """
1330 with SuppressCrashReport():
1331 rc, out, err = script_helper.assert_python_failure("-c", code)
Victor Stinner9e5d30c2020-03-07 00:54:20 +01001332 self.assertIn(b'Fatal Python error: _PyErr_NormalizeException: '
1333 b'Cannot recover from MemoryErrors while '
1334 b'normalizing exceptions.', err)
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001335
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001336 @cpython_only
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001337 def test_MemoryError(self):
1338 # PyErr_NoMemory always raises the same exception instance.
1339 # Check that the traceback is not doubled.
1340 import traceback
Benjamin Peterson0067bd62008-08-16 16:11:03 +00001341 from _testcapi import raise_memoryerror
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001342 def raiseMemError():
1343 try:
Benjamin Peterson0067bd62008-08-16 16:11:03 +00001344 raise_memoryerror()
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001345 except MemoryError as e:
1346 tb = e.__traceback__
1347 else:
Mark Shannon4e7a69b2020-12-02 13:30:55 +00001348 self.fail("Should have raised a MemoryError")
Amaury Forgeot d'Arce19cadb2008-07-31 22:56:02 +00001349 return traceback.format_tb(tb)
1350
1351 tb1 = raiseMemError()
1352 tb2 = raiseMemError()
1353 self.assertEqual(tb1, tb2)
1354
Benjamin Peterson17e0bbc2010-06-28 15:39:55 +00001355 @cpython_only
Georg Brandl1e28a272009-12-28 08:41:01 +00001356 def test_exception_with_doc(self):
1357 import _testcapi
1358 doc2 = "This is a test docstring."
1359 doc4 = "This is another test docstring."
1360
1361 self.assertRaises(SystemError, _testcapi.make_exception_with_doc,
1362 "error1")
1363
1364 # test basic usage of PyErr_NewException
1365 error1 = _testcapi.make_exception_with_doc("_testcapi.error1")
1366 self.assertIs(type(error1), type)
1367 self.assertTrue(issubclass(error1, Exception))
1368 self.assertIsNone(error1.__doc__)
1369
1370 # test with given docstring
1371 error2 = _testcapi.make_exception_with_doc("_testcapi.error2", doc2)
1372 self.assertEqual(error2.__doc__, doc2)
1373
1374 # test with explicit base (without docstring)
1375 error3 = _testcapi.make_exception_with_doc("_testcapi.error3",
1376 base=error2)
1377 self.assertTrue(issubclass(error3, error2))
1378
1379 # test with explicit base tuple
1380 class C(object):
1381 pass
1382 error4 = _testcapi.make_exception_with_doc("_testcapi.error4", doc4,
1383 (error3, C))
1384 self.assertTrue(issubclass(error4, error3))
1385 self.assertTrue(issubclass(error4, C))
1386 self.assertEqual(error4.__doc__, doc4)
1387
1388 # test with explicit dictionary
1389 error5 = _testcapi.make_exception_with_doc("_testcapi.error5", "",
1390 error4, {'a': 1})
1391 self.assertTrue(issubclass(error5, error4))
1392 self.assertEqual(error5.a, 1)
1393 self.assertEqual(error5.__doc__, "")
1394
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001395 @cpython_only
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001396 def test_memory_error_cleanup(self):
1397 # Issue #5437: preallocated MemoryError instances should not keep
1398 # traceback objects alive.
1399 from _testcapi import raise_memoryerror
1400 class C:
1401 pass
1402 wr = None
1403 def inner():
1404 nonlocal wr
1405 c = C()
1406 wr = weakref.ref(c)
1407 raise_memoryerror()
1408 # We cannot use assertRaises since it manually deletes the traceback
1409 try:
1410 inner()
1411 except MemoryError as e:
1412 self.assertNotEqual(wr(), None)
1413 else:
1414 self.fail("MemoryError not raised")
1415 self.assertEqual(wr(), None)
1416
Brett Cannon31f59292011-02-21 19:29:56 +00001417 @no_tracing
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001418 def test_recursion_error_cleanup(self):
1419 # Same test as above, but with "recursion exceeded" errors
1420 class C:
1421 pass
1422 wr = None
1423 def inner():
1424 nonlocal wr
1425 c = C()
1426 wr = weakref.ref(c)
1427 inner()
1428 # We cannot use assertRaises since it manually deletes the traceback
1429 try:
1430 inner()
Yury Selivanovf488fb42015-07-03 01:04:23 -04001431 except RecursionError as e:
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001432 self.assertNotEqual(wr(), None)
1433 else:
Yury Selivanovf488fb42015-07-03 01:04:23 -04001434 self.fail("RecursionError not raised")
Antoine Pitrou07e20ef2010-10-28 22:56:58 +00001435 self.assertEqual(wr(), None)
Georg Brandl1e28a272009-12-28 08:41:01 +00001436
Antoine Pitroua7622852011-09-01 21:37:43 +02001437 def test_errno_ENOTDIR(self):
1438 # Issue #12802: "not a directory" errors are ENOTDIR even on Windows
1439 with self.assertRaises(OSError) as cm:
1440 os.listdir(__file__)
1441 self.assertEqual(cm.exception.errno, errno.ENOTDIR, cm.exception)
1442
Martin Panter3263f682016-02-28 03:16:11 +00001443 def test_unraisable(self):
1444 # Issue #22836: PyErr_WriteUnraisable() should give sensible reports
1445 class BrokenDel:
1446 def __del__(self):
1447 exc = ValueError("del is broken")
1448 # The following line is included in the traceback report:
1449 raise exc
1450
Victor Stinnere4d300e2019-05-22 23:44:02 +02001451 obj = BrokenDel()
1452 with support.catch_unraisable_exception() as cm:
1453 del obj
Martin Panter3263f682016-02-28 03:16:11 +00001454
Victor Stinnere4d300e2019-05-22 23:44:02 +02001455 self.assertEqual(cm.unraisable.object, BrokenDel.__del__)
1456 self.assertIsNotNone(cm.unraisable.exc_traceback)
Martin Panter3263f682016-02-28 03:16:11 +00001457
1458 def test_unhandled(self):
1459 # Check for sensible reporting of unhandled exceptions
1460 for exc_type in (ValueError, BrokenStrException):
1461 with self.subTest(exc_type):
1462 try:
1463 exc = exc_type("test message")
1464 # The following line is included in the traceback report:
1465 raise exc
1466 except exc_type:
1467 with captured_stderr() as stderr:
1468 sys.__excepthook__(*sys.exc_info())
1469 report = stderr.getvalue()
1470 self.assertIn("test_exceptions.py", report)
1471 self.assertIn("raise exc", report)
1472 self.assertIn(exc_type.__name__, report)
1473 if exc_type is BrokenStrException:
1474 self.assertIn("<exception str() failed>", report)
1475 else:
1476 self.assertIn("test message", report)
1477 self.assertTrue(report.endswith("\n"))
1478
xdegaye66caacf2017-10-23 18:08:41 +02001479 @cpython_only
1480 def test_memory_error_in_PyErr_PrintEx(self):
1481 code = """if 1:
1482 import _testcapi
1483 class C(): pass
1484 _testcapi.set_nomemory(0, %d)
1485 C()
1486 """
1487
1488 # Issue #30817: Abort in PyErr_PrintEx() when no memory.
1489 # Span a large range of tests as the CPython code always evolves with
1490 # changes that add or remove memory allocations.
1491 for i in range(1, 20):
1492 rc, out, err = script_helper.assert_python_failure("-c", code % i)
1493 self.assertIn(rc, (1, 120))
1494 self.assertIn(b'MemoryError', err)
1495
Mark Shannonae3087c2017-10-22 22:41:51 +01001496 def test_yield_in_nested_try_excepts(self):
1497 #Issue #25612
1498 class MainError(Exception):
1499 pass
1500
1501 class SubError(Exception):
1502 pass
1503
1504 def main():
1505 try:
1506 raise MainError()
1507 except MainError:
1508 try:
1509 yield
1510 except SubError:
1511 pass
1512 raise
1513
1514 coro = main()
1515 coro.send(None)
1516 with self.assertRaises(MainError):
1517 coro.throw(SubError())
1518
1519 def test_generator_doesnt_retain_old_exc2(self):
1520 #Issue 28884#msg282532
1521 def g():
1522 try:
1523 raise ValueError
1524 except ValueError:
1525 yield 1
1526 self.assertEqual(sys.exc_info(), (None, None, None))
1527 yield 2
1528
1529 gen = g()
1530
1531 try:
1532 raise IndexError
1533 except IndexError:
1534 self.assertEqual(next(gen), 1)
1535 self.assertEqual(next(gen), 2)
1536
1537 def test_raise_in_generator(self):
1538 #Issue 25612#msg304117
1539 def g():
1540 yield 1
1541 raise
1542 yield 2
1543
1544 with self.assertRaises(ZeroDivisionError):
1545 i = g()
1546 try:
1547 1/0
1548 except:
1549 next(i)
1550 next(i)
1551
Zackery Spytzce6a0702019-08-25 03:44:09 -06001552 @unittest.skipUnless(__debug__, "Won't work if __debug__ is False")
1553 def test_assert_shadowing(self):
1554 # Shadowing AssertionError would cause the assert statement to
1555 # misbehave.
1556 global AssertionError
1557 AssertionError = TypeError
1558 try:
1559 assert False, 'hello'
1560 except BaseException as e:
1561 del AssertionError
1562 self.assertIsInstance(e, AssertionError)
1563 self.assertEqual(str(e), 'hello')
1564 else:
1565 del AssertionError
1566 self.fail('Expected exception')
1567
Pablo Galindo9b648a92020-09-01 19:39:46 +01001568 def test_memory_error_subclasses(self):
1569 # bpo-41654: MemoryError instances use a freelist of objects that are
1570 # linked using the 'dict' attribute when they are inactive/dead.
1571 # Subclasses of MemoryError should not participate in the freelist
1572 # schema. This test creates a MemoryError object and keeps it alive
1573 # (therefore advancing the freelist) and then it creates and destroys a
1574 # subclass object. Finally, it checks that creating a new MemoryError
1575 # succeeds, proving that the freelist is not corrupted.
1576
1577 class TestException(MemoryError):
1578 pass
1579
1580 try:
1581 raise MemoryError
1582 except MemoryError as exc:
1583 inst = exc
1584
1585 try:
1586 raise TestException
1587 except Exception:
1588 pass
1589
1590 for _ in range(10):
1591 try:
1592 raise MemoryError
1593 except MemoryError as exc:
1594 pass
1595
1596 gc_collect()
1597
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001598global_for_suggestions = None
1599
1600class NameErrorTests(unittest.TestCase):
1601 def test_name_error_has_name(self):
1602 try:
1603 bluch
1604 except NameError as exc:
1605 self.assertEqual("bluch", exc.name)
1606
1607 def test_name_error_suggestions(self):
1608 def Substitution():
1609 noise = more_noise = a = bc = None
1610 blech = None
1611 print(bluch)
1612
1613 def Elimination():
1614 noise = more_noise = a = bc = None
1615 blch = None
1616 print(bluch)
1617
1618 def Addition():
1619 noise = more_noise = a = bc = None
1620 bluchin = None
1621 print(bluch)
1622
1623 def SubstitutionOverElimination():
1624 blach = None
1625 bluc = None
1626 print(bluch)
1627
1628 def SubstitutionOverAddition():
1629 blach = None
1630 bluchi = None
1631 print(bluch)
1632
1633 def EliminationOverAddition():
1634 blucha = None
1635 bluc = None
1636 print(bluch)
1637
Pablo Galindo7a041162021-04-19 23:35:53 +01001638 for func, suggestion in [(Substitution, "'blech'?"),
1639 (Elimination, "'blch'?"),
1640 (Addition, "'bluchin'?"),
1641 (EliminationOverAddition, "'blucha'?"),
1642 (SubstitutionOverElimination, "'blach'?"),
1643 (SubstitutionOverAddition, "'blach'?")]:
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001644 err = None
1645 try:
1646 func()
1647 except NameError as exc:
1648 with support.captured_stderr() as err:
1649 sys.__excepthook__(*sys.exc_info())
1650 self.assertIn(suggestion, err.getvalue())
1651
1652 def test_name_error_suggestions_from_globals(self):
1653 def func():
1654 print(global_for_suggestio)
1655 try:
1656 func()
1657 except NameError as exc:
1658 with support.captured_stderr() as err:
1659 sys.__excepthook__(*sys.exc_info())
Pablo Galindo7a041162021-04-19 23:35:53 +01001660 self.assertIn("'global_for_suggestions'?", err.getvalue())
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001661
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001662 def test_name_error_suggestions_from_builtins(self):
1663 def func():
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04001664 print(ZeroDivisionErrrrr)
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001665 try:
1666 func()
1667 except NameError as exc:
1668 with support.captured_stderr() as err:
1669 sys.__excepthook__(*sys.exc_info())
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04001670 self.assertIn("'ZeroDivisionError'?", err.getvalue())
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001671
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001672 def test_name_error_suggestions_do_not_trigger_for_long_names(self):
1673 def f():
1674 somethingverywronghehehehehehe = None
1675 print(somethingverywronghe)
1676
1677 try:
1678 f()
1679 except NameError as exc:
1680 with support.captured_stderr() as err:
1681 sys.__excepthook__(*sys.exc_info())
1682
1683 self.assertNotIn("somethingverywronghehe", err.getvalue())
1684
Dennis Sweeney284c52d2021-04-26 20:22:27 -04001685 def test_name_error_bad_suggestions_do_not_trigger_for_small_names(self):
1686 vvv = mom = w = id = pytho = None
1687
1688 with self.subTest(name="b"):
1689 try:
1690 b
1691 except NameError as exc:
1692 with support.captured_stderr() as err:
1693 sys.__excepthook__(*sys.exc_info())
1694 self.assertNotIn("you mean", err.getvalue())
1695 self.assertNotIn("vvv", err.getvalue())
1696 self.assertNotIn("mom", err.getvalue())
1697 self.assertNotIn("'id'", err.getvalue())
1698 self.assertNotIn("'w'", err.getvalue())
1699 self.assertNotIn("'pytho'", err.getvalue())
1700
1701 with self.subTest(name="v"):
1702 try:
1703 v
1704 except NameError as exc:
1705 with support.captured_stderr() as err:
1706 sys.__excepthook__(*sys.exc_info())
1707 self.assertNotIn("you mean", err.getvalue())
1708 self.assertNotIn("vvv", err.getvalue())
1709 self.assertNotIn("mom", err.getvalue())
1710 self.assertNotIn("'id'", err.getvalue())
1711 self.assertNotIn("'w'", err.getvalue())
1712 self.assertNotIn("'pytho'", err.getvalue())
1713
1714 with self.subTest(name="m"):
1715 try:
1716 m
1717 except NameError as exc:
1718 with support.captured_stderr() as err:
1719 sys.__excepthook__(*sys.exc_info())
1720 self.assertNotIn("you mean", err.getvalue())
1721 self.assertNotIn("vvv", err.getvalue())
1722 self.assertNotIn("mom", err.getvalue())
1723 self.assertNotIn("'id'", err.getvalue())
1724 self.assertNotIn("'w'", err.getvalue())
1725 self.assertNotIn("'pytho'", err.getvalue())
1726
1727 with self.subTest(name="py"):
1728 try:
1729 py
1730 except NameError as exc:
1731 with support.captured_stderr() as err:
1732 sys.__excepthook__(*sys.exc_info())
1733 self.assertNotIn("you mean", err.getvalue())
1734 self.assertNotIn("vvv", err.getvalue())
1735 self.assertNotIn("mom", err.getvalue())
1736 self.assertNotIn("'id'", err.getvalue())
1737 self.assertNotIn("'w'", err.getvalue())
1738 self.assertNotIn("'pytho'", err.getvalue())
1739
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001740 def test_name_error_suggestions_do_not_trigger_for_too_many_locals(self):
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001741 def f():
1742 # Mutating locals() is unreliable, so we need to do it by hand
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04001743 a1 = a2 = a3 = a4 = a5 = a6 = a7 = a8 = a9 = a10 = \
1744 a11 = a12 = a13 = a14 = a15 = a16 = a17 = a18 = a19 = a20 = \
1745 a21 = a22 = a23 = a24 = a25 = a26 = a27 = a28 = a29 = a30 = \
1746 a31 = a32 = a33 = a34 = a35 = a36 = a37 = a38 = a39 = a40 = \
1747 a41 = a42 = a43 = a44 = a45 = a46 = a47 = a48 = a49 = a50 = \
1748 a51 = a52 = a53 = a54 = a55 = a56 = a57 = a58 = a59 = a60 = \
1749 a61 = a62 = a63 = a64 = a65 = a66 = a67 = a68 = a69 = a70 = \
1750 a71 = a72 = a73 = a74 = a75 = a76 = a77 = a78 = a79 = a80 = \
1751 a81 = a82 = a83 = a84 = a85 = a86 = a87 = a88 = a89 = a90 = \
1752 a91 = a92 = a93 = a94 = a95 = a96 = a97 = a98 = a99 = a100 = \
1753 a101 = a102 = a103 = a104 = a105 = a106 = a107 = a108 = a109 = a110 = \
1754 a111 = a112 = a113 = a114 = a115 = a116 = a117 = a118 = a119 = a120 = \
1755 a121 = a122 = a123 = a124 = a125 = a126 = a127 = a128 = a129 = a130 = \
1756 a131 = a132 = a133 = a134 = a135 = a136 = a137 = a138 = a139 = a140 = \
1757 a141 = a142 = a143 = a144 = a145 = a146 = a147 = a148 = a149 = a150 = \
1758 a151 = a152 = a153 = a154 = a155 = a156 = a157 = a158 = a159 = a160 = \
1759 a161 = a162 = a163 = a164 = a165 = a166 = a167 = a168 = a169 = a170 = \
1760 a171 = a172 = a173 = a174 = a175 = a176 = a177 = a178 = a179 = a180 = \
1761 a181 = a182 = a183 = a184 = a185 = a186 = a187 = a188 = a189 = a190 = \
1762 a191 = a192 = a193 = a194 = a195 = a196 = a197 = a198 = a199 = a200 = \
1763 a201 = a202 = a203 = a204 = a205 = a206 = a207 = a208 = a209 = a210 = \
1764 a211 = a212 = a213 = a214 = a215 = a216 = a217 = a218 = a219 = a220 = \
1765 a221 = a222 = a223 = a224 = a225 = a226 = a227 = a228 = a229 = a230 = \
1766 a231 = a232 = a233 = a234 = a235 = a236 = a237 = a238 = a239 = a240 = \
1767 a241 = a242 = a243 = a244 = a245 = a246 = a247 = a248 = a249 = a250 = \
1768 a251 = a252 = a253 = a254 = a255 = a256 = a257 = a258 = a259 = a260 = \
1769 a261 = a262 = a263 = a264 = a265 = a266 = a267 = a268 = a269 = a270 = \
1770 a271 = a272 = a273 = a274 = a275 = a276 = a277 = a278 = a279 = a280 = \
1771 a281 = a282 = a283 = a284 = a285 = a286 = a287 = a288 = a289 = a290 = \
1772 a291 = a292 = a293 = a294 = a295 = a296 = a297 = a298 = a299 = a300 = \
1773 a301 = a302 = a303 = a304 = a305 = a306 = a307 = a308 = a309 = a310 = \
1774 a311 = a312 = a313 = a314 = a315 = a316 = a317 = a318 = a319 = a320 = \
1775 a321 = a322 = a323 = a324 = a325 = a326 = a327 = a328 = a329 = a330 = \
1776 a331 = a332 = a333 = a334 = a335 = a336 = a337 = a338 = a339 = a340 = \
1777 a341 = a342 = a343 = a344 = a345 = a346 = a347 = a348 = a349 = a350 = \
1778 a351 = a352 = a353 = a354 = a355 = a356 = a357 = a358 = a359 = a360 = \
1779 a361 = a362 = a363 = a364 = a365 = a366 = a367 = a368 = a369 = a370 = \
1780 a371 = a372 = a373 = a374 = a375 = a376 = a377 = a378 = a379 = a380 = \
1781 a381 = a382 = a383 = a384 = a385 = a386 = a387 = a388 = a389 = a390 = \
1782 a391 = a392 = a393 = a394 = a395 = a396 = a397 = a398 = a399 = a400 = \
1783 a401 = a402 = a403 = a404 = a405 = a406 = a407 = a408 = a409 = a410 = \
1784 a411 = a412 = a413 = a414 = a415 = a416 = a417 = a418 = a419 = a420 = \
1785 a421 = a422 = a423 = a424 = a425 = a426 = a427 = a428 = a429 = a430 = \
1786 a431 = a432 = a433 = a434 = a435 = a436 = a437 = a438 = a439 = a440 = \
1787 a441 = a442 = a443 = a444 = a445 = a446 = a447 = a448 = a449 = a450 = \
1788 a451 = a452 = a453 = a454 = a455 = a456 = a457 = a458 = a459 = a460 = \
1789 a461 = a462 = a463 = a464 = a465 = a466 = a467 = a468 = a469 = a470 = \
1790 a471 = a472 = a473 = a474 = a475 = a476 = a477 = a478 = a479 = a480 = \
1791 a481 = a482 = a483 = a484 = a485 = a486 = a487 = a488 = a489 = a490 = \
1792 a491 = a492 = a493 = a494 = a495 = a496 = a497 = a498 = a499 = a500 = \
1793 a501 = a502 = a503 = a504 = a505 = a506 = a507 = a508 = a509 = a510 = \
1794 a511 = a512 = a513 = a514 = a515 = a516 = a517 = a518 = a519 = a520 = \
1795 a521 = a522 = a523 = a524 = a525 = a526 = a527 = a528 = a529 = a530 = \
1796 a531 = a532 = a533 = a534 = a535 = a536 = a537 = a538 = a539 = a540 = \
1797 a541 = a542 = a543 = a544 = a545 = a546 = a547 = a548 = a549 = a550 = \
1798 a551 = a552 = a553 = a554 = a555 = a556 = a557 = a558 = a559 = a560 = \
1799 a561 = a562 = a563 = a564 = a565 = a566 = a567 = a568 = a569 = a570 = \
1800 a571 = a572 = a573 = a574 = a575 = a576 = a577 = a578 = a579 = a580 = \
1801 a581 = a582 = a583 = a584 = a585 = a586 = a587 = a588 = a589 = a590 = \
1802 a591 = a592 = a593 = a594 = a595 = a596 = a597 = a598 = a599 = a600 = \
1803 a601 = a602 = a603 = a604 = a605 = a606 = a607 = a608 = a609 = a610 = \
1804 a611 = a612 = a613 = a614 = a615 = a616 = a617 = a618 = a619 = a620 = \
1805 a621 = a622 = a623 = a624 = a625 = a626 = a627 = a628 = a629 = a630 = \
1806 a631 = a632 = a633 = a634 = a635 = a636 = a637 = a638 = a639 = a640 = \
1807 a641 = a642 = a643 = a644 = a645 = a646 = a647 = a648 = a649 = a650 = \
1808 a651 = a652 = a653 = a654 = a655 = a656 = a657 = a658 = a659 = a660 = \
1809 a661 = a662 = a663 = a664 = a665 = a666 = a667 = a668 = a669 = a670 = \
1810 a671 = a672 = a673 = a674 = a675 = a676 = a677 = a678 = a679 = a680 = \
1811 a681 = a682 = a683 = a684 = a685 = a686 = a687 = a688 = a689 = a690 = \
1812 a691 = a692 = a693 = a694 = a695 = a696 = a697 = a698 = a699 = a700 = \
1813 a701 = a702 = a703 = a704 = a705 = a706 = a707 = a708 = a709 = a710 = \
1814 a711 = a712 = a713 = a714 = a715 = a716 = a717 = a718 = a719 = a720 = \
1815 a721 = a722 = a723 = a724 = a725 = a726 = a727 = a728 = a729 = a730 = \
1816 a731 = a732 = a733 = a734 = a735 = a736 = a737 = a738 = a739 = a740 = \
1817 a741 = a742 = a743 = a744 = a745 = a746 = a747 = a748 = a749 = a750 = \
1818 a751 = a752 = a753 = a754 = a755 = a756 = a757 = a758 = a759 = a760 = \
1819 a761 = a762 = a763 = a764 = a765 = a766 = a767 = a768 = a769 = a770 = \
1820 a771 = a772 = a773 = a774 = a775 = a776 = a777 = a778 = a779 = a780 = \
1821 a781 = a782 = a783 = a784 = a785 = a786 = a787 = a788 = a789 = a790 = \
1822 a791 = a792 = a793 = a794 = a795 = a796 = a797 = a798 = a799 = a800 \
1823 = None
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001824 print(a0)
1825
1826 try:
1827 f()
1828 except NameError as exc:
1829 with support.captured_stderr() as err:
1830 sys.__excepthook__(*sys.exc_info())
1831
Pablo Galindo3ab4bea2021-04-17 22:26:54 +01001832 self.assertNotIn("a1", err.getvalue())
Pablo Galindo5bf8bf22021-04-14 15:10:33 +01001833
1834 def test_name_error_with_custom_exceptions(self):
1835 def f():
1836 blech = None
1837 raise NameError()
1838
1839 try:
1840 f()
1841 except NameError as exc:
1842 with support.captured_stderr() as err:
1843 sys.__excepthook__(*sys.exc_info())
1844
1845 self.assertNotIn("blech", err.getvalue())
1846
1847 def f():
1848 blech = None
1849 raise NameError
1850
1851 try:
1852 f()
1853 except NameError as exc:
1854 with support.captured_stderr() as err:
1855 sys.__excepthook__(*sys.exc_info())
1856
1857 self.assertNotIn("blech", err.getvalue())
Antoine Pitroua7622852011-09-01 21:37:43 +02001858
Pablo Galindo0ad81d42021-04-16 17:12:03 +01001859 def test_unbound_local_error_doesn_not_match(self):
1860 def foo():
1861 something = 3
1862 print(somethong)
1863 somethong = 3
1864
1865 try:
1866 foo()
1867 except UnboundLocalError as exc:
1868 with support.captured_stderr() as err:
1869 sys.__excepthook__(*sys.exc_info())
1870
1871 self.assertNotIn("something", err.getvalue())
1872
1873
Pablo Galindo37494b42021-04-14 02:36:07 +01001874class AttributeErrorTests(unittest.TestCase):
1875 def test_attributes(self):
1876 # Setting 'attr' should not be a problem.
1877 exc = AttributeError('Ouch!')
1878 self.assertIsNone(exc.name)
1879 self.assertIsNone(exc.obj)
1880
1881 sentinel = object()
1882 exc = AttributeError('Ouch', name='carry', obj=sentinel)
1883 self.assertEqual(exc.name, 'carry')
1884 self.assertIs(exc.obj, sentinel)
1885
1886 def test_getattr_has_name_and_obj(self):
1887 class A:
1888 blech = None
1889
1890 obj = A()
1891 try:
1892 obj.bluch
1893 except AttributeError as exc:
1894 self.assertEqual("bluch", exc.name)
1895 self.assertEqual(obj, exc.obj)
1896
1897 def test_getattr_has_name_and_obj_for_method(self):
1898 class A:
1899 def blech(self):
1900 return
1901
1902 obj = A()
1903 try:
1904 obj.bluch()
1905 except AttributeError as exc:
1906 self.assertEqual("bluch", exc.name)
1907 self.assertEqual(obj, exc.obj)
1908
1909 def test_getattr_suggestions(self):
1910 class Substitution:
1911 noise = more_noise = a = bc = None
1912 blech = None
1913
1914 class Elimination:
1915 noise = more_noise = a = bc = None
1916 blch = None
1917
1918 class Addition:
1919 noise = more_noise = a = bc = None
1920 bluchin = None
1921
1922 class SubstitutionOverElimination:
1923 blach = None
1924 bluc = None
1925
1926 class SubstitutionOverAddition:
1927 blach = None
1928 bluchi = None
1929
1930 class EliminationOverAddition:
1931 blucha = None
1932 bluc = None
1933
Pablo Galindo7a041162021-04-19 23:35:53 +01001934 for cls, suggestion in [(Substitution, "'blech'?"),
1935 (Elimination, "'blch'?"),
1936 (Addition, "'bluchin'?"),
1937 (EliminationOverAddition, "'bluc'?"),
1938 (SubstitutionOverElimination, "'blach'?"),
1939 (SubstitutionOverAddition, "'blach'?")]:
Pablo Galindo37494b42021-04-14 02:36:07 +01001940 try:
1941 cls().bluch
1942 except AttributeError as exc:
1943 with support.captured_stderr() as err:
1944 sys.__excepthook__(*sys.exc_info())
1945
1946 self.assertIn(suggestion, err.getvalue())
1947
1948 def test_getattr_suggestions_do_not_trigger_for_long_attributes(self):
1949 class A:
1950 blech = None
1951
1952 try:
1953 A().somethingverywrong
1954 except AttributeError as exc:
1955 with support.captured_stderr() as err:
1956 sys.__excepthook__(*sys.exc_info())
1957
1958 self.assertNotIn("blech", err.getvalue())
1959
Dennis Sweeney284c52d2021-04-26 20:22:27 -04001960 def test_getattr_error_bad_suggestions_do_not_trigger_for_small_names(self):
1961 class MyClass:
1962 vvv = mom = w = id = pytho = None
1963
1964 with self.subTest(name="b"):
1965 try:
1966 MyClass.b
1967 except AttributeError as exc:
1968 with support.captured_stderr() as err:
1969 sys.__excepthook__(*sys.exc_info())
1970 self.assertNotIn("you mean", err.getvalue())
1971 self.assertNotIn("vvv", err.getvalue())
1972 self.assertNotIn("mom", err.getvalue())
1973 self.assertNotIn("'id'", err.getvalue())
1974 self.assertNotIn("'w'", err.getvalue())
1975 self.assertNotIn("'pytho'", err.getvalue())
1976
1977 with self.subTest(name="v"):
1978 try:
1979 MyClass.v
1980 except AttributeError as exc:
1981 with support.captured_stderr() as err:
1982 sys.__excepthook__(*sys.exc_info())
1983 self.assertNotIn("you mean", err.getvalue())
1984 self.assertNotIn("vvv", err.getvalue())
1985 self.assertNotIn("mom", err.getvalue())
1986 self.assertNotIn("'id'", err.getvalue())
1987 self.assertNotIn("'w'", err.getvalue())
1988 self.assertNotIn("'pytho'", err.getvalue())
1989
1990 with self.subTest(name="m"):
1991 try:
1992 MyClass.m
1993 except AttributeError as exc:
1994 with support.captured_stderr() as err:
1995 sys.__excepthook__(*sys.exc_info())
1996 self.assertNotIn("you mean", err.getvalue())
1997 self.assertNotIn("vvv", err.getvalue())
1998 self.assertNotIn("mom", err.getvalue())
1999 self.assertNotIn("'id'", err.getvalue())
2000 self.assertNotIn("'w'", err.getvalue())
2001 self.assertNotIn("'pytho'", err.getvalue())
2002
2003 with self.subTest(name="py"):
2004 try:
2005 MyClass.py
2006 except AttributeError as exc:
2007 with support.captured_stderr() as err:
2008 sys.__excepthook__(*sys.exc_info())
2009 self.assertNotIn("you mean", err.getvalue())
2010 self.assertNotIn("vvv", err.getvalue())
2011 self.assertNotIn("mom", err.getvalue())
2012 self.assertNotIn("'id'", err.getvalue())
2013 self.assertNotIn("'w'", err.getvalue())
2014 self.assertNotIn("'pytho'", err.getvalue())
2015
2016
Pablo Galindo37494b42021-04-14 02:36:07 +01002017 def test_getattr_suggestions_do_not_trigger_for_big_dicts(self):
2018 class A:
2019 blech = None
2020 # A class with a very big __dict__ will not be consider
2021 # for suggestions.
Dennis Sweeney80a2a4e2021-05-03 11:47:27 -04002022 for index in range(2000):
Pablo Galindo37494b42021-04-14 02:36:07 +01002023 setattr(A, f"index_{index}", None)
2024
2025 try:
2026 A().bluch
2027 except AttributeError as exc:
2028 with support.captured_stderr() as err:
2029 sys.__excepthook__(*sys.exc_info())
2030
2031 self.assertNotIn("blech", err.getvalue())
2032
2033 def test_getattr_suggestions_no_args(self):
2034 class A:
2035 blech = None
2036 def __getattr__(self, attr):
2037 raise AttributeError()
2038
2039 try:
2040 A().bluch
2041 except AttributeError as exc:
2042 with support.captured_stderr() as err:
2043 sys.__excepthook__(*sys.exc_info())
2044
2045 self.assertIn("blech", err.getvalue())
2046
2047 class A:
2048 blech = None
2049 def __getattr__(self, attr):
2050 raise AttributeError
2051
2052 try:
2053 A().bluch
2054 except AttributeError as exc:
2055 with support.captured_stderr() as err:
2056 sys.__excepthook__(*sys.exc_info())
2057
2058 self.assertIn("blech", err.getvalue())
2059
2060 def test_getattr_suggestions_invalid_args(self):
2061 class NonStringifyClass:
2062 __str__ = None
2063 __repr__ = None
2064
2065 class A:
2066 blech = None
2067 def __getattr__(self, attr):
2068 raise AttributeError(NonStringifyClass())
2069
2070 class B:
2071 blech = None
2072 def __getattr__(self, attr):
2073 raise AttributeError("Error", 23)
2074
2075 class C:
2076 blech = None
2077 def __getattr__(self, attr):
2078 raise AttributeError(23)
2079
2080 for cls in [A, B, C]:
2081 try:
2082 cls().bluch
2083 except AttributeError as exc:
2084 with support.captured_stderr() as err:
2085 sys.__excepthook__(*sys.exc_info())
2086
2087 self.assertIn("blech", err.getvalue())
2088
Miss Islington (bot)a0b1d402021-07-16 14:16:08 -07002089 def test_getattr_suggestions_for_same_name(self):
2090 class A:
2091 def __dir__(self):
2092 return ['blech']
2093 try:
2094 A().blech
2095 except AttributeError as exc:
2096 with support.captured_stderr() as err:
2097 sys.__excepthook__(*sys.exc_info())
2098
2099 self.assertNotIn("Did you mean", err.getvalue())
2100
Pablo Galindoe07f4ab2021-04-14 18:58:28 +01002101 def test_attribute_error_with_failing_dict(self):
2102 class T:
2103 bluch = 1
2104 def __dir__(self):
2105 raise AttributeError("oh no!")
2106
2107 try:
2108 T().blich
2109 except AttributeError as exc:
2110 with support.captured_stderr() as err:
2111 sys.__excepthook__(*sys.exc_info())
2112
2113 self.assertNotIn("blech", err.getvalue())
2114 self.assertNotIn("oh no!", err.getvalue())
Pablo Galindo37494b42021-04-14 02:36:07 +01002115
Pablo Galindo0b1c1692021-04-17 23:28:45 +01002116 def test_attribute_error_with_bad_name(self):
2117 try:
2118 raise AttributeError(name=12, obj=23)
2119 except AttributeError as exc:
2120 with support.captured_stderr() as err:
2121 sys.__excepthook__(*sys.exc_info())
2122
2123 self.assertNotIn("?", err.getvalue())
2124
2125
Brett Cannon79ec55e2012-04-12 20:24:54 -04002126class ImportErrorTests(unittest.TestCase):
2127
2128 def test_attributes(self):
2129 # Setting 'name' and 'path' should not be a problem.
2130 exc = ImportError('test')
2131 self.assertIsNone(exc.name)
2132 self.assertIsNone(exc.path)
2133
2134 exc = ImportError('test', name='somemodule')
2135 self.assertEqual(exc.name, 'somemodule')
2136 self.assertIsNone(exc.path)
2137
2138 exc = ImportError('test', path='somepath')
2139 self.assertEqual(exc.path, 'somepath')
2140 self.assertIsNone(exc.name)
2141
2142 exc = ImportError('test', path='somepath', name='somename')
2143 self.assertEqual(exc.name, 'somename')
2144 self.assertEqual(exc.path, 'somepath')
2145
Michael Seifert64c8f702017-04-09 09:47:12 +02002146 msg = "'invalid' is an invalid keyword argument for ImportError"
Serhiy Storchaka47dee112016-09-27 20:45:35 +03002147 with self.assertRaisesRegex(TypeError, msg):
2148 ImportError('test', invalid='keyword')
2149
2150 with self.assertRaisesRegex(TypeError, msg):
2151 ImportError('test', name='name', invalid='keyword')
2152
2153 with self.assertRaisesRegex(TypeError, msg):
2154 ImportError('test', path='path', invalid='keyword')
2155
2156 with self.assertRaisesRegex(TypeError, msg):
2157 ImportError(invalid='keyword')
2158
Serhiy Storchaka47dee112016-09-27 20:45:35 +03002159 with self.assertRaisesRegex(TypeError, msg):
2160 ImportError('test', invalid='keyword', another=True)
2161
Serhiy Storchakae9e44482016-09-28 07:53:32 +03002162 def test_reset_attributes(self):
2163 exc = ImportError('test', name='name', path='path')
2164 self.assertEqual(exc.args, ('test',))
2165 self.assertEqual(exc.msg, 'test')
2166 self.assertEqual(exc.name, 'name')
2167 self.assertEqual(exc.path, 'path')
2168
2169 # Reset not specified attributes
2170 exc.__init__()
2171 self.assertEqual(exc.args, ())
2172 self.assertEqual(exc.msg, None)
2173 self.assertEqual(exc.name, None)
2174 self.assertEqual(exc.path, None)
2175
Brett Cannon07c6e712012-08-24 13:05:09 -04002176 def test_non_str_argument(self):
2177 # Issue #15778
Nadeem Vawda6d708702012-10-14 01:42:32 +02002178 with check_warnings(('', BytesWarning), quiet=True):
2179 arg = b'abc'
2180 exc = ImportError(arg)
2181 self.assertEqual(str(arg), str(exc))
Brett Cannon79ec55e2012-04-12 20:24:54 -04002182
Serhiy Storchakab7853962017-04-08 09:55:07 +03002183 def test_copy_pickle(self):
2184 for kwargs in (dict(),
2185 dict(name='somename'),
2186 dict(path='somepath'),
2187 dict(name='somename', path='somepath')):
2188 orig = ImportError('test', **kwargs)
2189 for proto in range(pickle.HIGHEST_PROTOCOL + 1):
2190 exc = pickle.loads(pickle.dumps(orig, proto))
2191 self.assertEqual(exc.args, ('test',))
2192 self.assertEqual(exc.msg, 'test')
2193 self.assertEqual(exc.name, orig.name)
2194 self.assertEqual(exc.path, orig.path)
2195 for c in copy.copy, copy.deepcopy:
2196 exc = c(orig)
2197 self.assertEqual(exc.args, ('test',))
2198 self.assertEqual(exc.msg, 'test')
2199 self.assertEqual(exc.name, orig.name)
2200 self.assertEqual(exc.path, orig.path)
2201
Pablo Galindoa77aac42021-04-23 14:27:05 +01002202class SyntaxErrorTests(unittest.TestCase):
2203 def test_range_of_offsets(self):
2204 cases = [
2205 # Basic range from 2->7
2206 (("bad.py", 1, 2, "abcdefg", 1, 7),
2207 dedent(
2208 """
2209 File "bad.py", line 1
2210 abcdefg
2211 ^^^^^
2212 SyntaxError: bad bad
2213 """)),
2214 # end_offset = start_offset + 1
2215 (("bad.py", 1, 2, "abcdefg", 1, 3),
2216 dedent(
2217 """
2218 File "bad.py", line 1
2219 abcdefg
2220 ^
2221 SyntaxError: bad bad
2222 """)),
2223 # Negative end offset
2224 (("bad.py", 1, 2, "abcdefg", 1, -2),
2225 dedent(
2226 """
2227 File "bad.py", line 1
2228 abcdefg
2229 ^
2230 SyntaxError: bad bad
2231 """)),
2232 # end offset before starting offset
2233 (("bad.py", 1, 4, "abcdefg", 1, 2),
2234 dedent(
2235 """
2236 File "bad.py", line 1
2237 abcdefg
2238 ^
2239 SyntaxError: bad bad
2240 """)),
2241 # Both offsets negative
2242 (("bad.py", 1, -4, "abcdefg", 1, -2),
2243 dedent(
2244 """
2245 File "bad.py", line 1
2246 abcdefg
2247 SyntaxError: bad bad
2248 """)),
2249 # Both offsets negative and the end more negative
2250 (("bad.py", 1, -4, "abcdefg", 1, -5),
2251 dedent(
2252 """
2253 File "bad.py", line 1
2254 abcdefg
2255 SyntaxError: bad bad
2256 """)),
2257 # Both offsets 0
2258 (("bad.py", 1, 0, "abcdefg", 1, 0),
2259 dedent(
2260 """
2261 File "bad.py", line 1
2262 abcdefg
2263 SyntaxError: bad bad
2264 """)),
2265 # Start offset 0 and end offset not 0
2266 (("bad.py", 1, 0, "abcdefg", 1, 5),
2267 dedent(
2268 """
2269 File "bad.py", line 1
2270 abcdefg
2271 SyntaxError: bad bad
2272 """)),
2273 # End offset pass the source lenght
2274 (("bad.py", 1, 2, "abcdefg", 1, 100),
2275 dedent(
2276 """
2277 File "bad.py", line 1
2278 abcdefg
2279 ^^^^^^
2280 SyntaxError: bad bad
2281 """)),
2282 ]
2283 for args, expected in cases:
2284 with self.subTest(args=args):
2285 try:
2286 raise SyntaxError("bad bad", args)
2287 except SyntaxError as exc:
2288 with support.captured_stderr() as err:
2289 sys.__excepthook__(*sys.exc_info())
2290 the_exception = exc
2291
Miss Islington (bot)c0496092021-06-08 17:29:21 -07002292 def test_encodings(self):
2293 source = (
2294 '# -*- coding: cp437 -*-\n'
2295 '"¢¢¢¢¢¢" + f(4, x for x in range(1))\n'
2296 )
2297 try:
2298 with open(TESTFN, 'w', encoding='cp437') as testfile:
2299 testfile.write(source)
2300 rc, out, err = script_helper.assert_python_failure('-Wd', '-X', 'utf8', TESTFN)
2301 err = err.decode('utf-8').splitlines()
2302
2303 self.assertEqual(err[-3], ' "¢¢¢¢¢¢" + f(4, x for x in range(1))')
2304 self.assertEqual(err[-2], ' ^^^^^^^^^^^^^^^^^^^')
2305 finally:
2306 unlink(TESTFN)
2307
Pablo Galindoa77aac42021-04-23 14:27:05 +01002308 def test_attributes_new_constructor(self):
2309 args = ("bad.py", 1, 2, "abcdefg", 1, 100)
2310 the_exception = SyntaxError("bad bad", args)
2311 filename, lineno, offset, error, end_lineno, end_offset = args
2312 self.assertEqual(filename, the_exception.filename)
2313 self.assertEqual(lineno, the_exception.lineno)
2314 self.assertEqual(end_lineno, the_exception.end_lineno)
2315 self.assertEqual(offset, the_exception.offset)
2316 self.assertEqual(end_offset, the_exception.end_offset)
2317 self.assertEqual(error, the_exception.text)
2318 self.assertEqual("bad bad", the_exception.msg)
2319
2320 def test_attributes_old_constructor(self):
2321 args = ("bad.py", 1, 2, "abcdefg")
2322 the_exception = SyntaxError("bad bad", args)
2323 filename, lineno, offset, error = args
2324 self.assertEqual(filename, the_exception.filename)
2325 self.assertEqual(lineno, the_exception.lineno)
2326 self.assertEqual(None, the_exception.end_lineno)
2327 self.assertEqual(offset, the_exception.offset)
2328 self.assertEqual(None, the_exception.end_offset)
2329 self.assertEqual(error, the_exception.text)
2330 self.assertEqual("bad bad", the_exception.msg)
2331
2332 def test_incorrect_constructor(self):
2333 args = ("bad.py", 1, 2)
2334 self.assertRaises(TypeError, SyntaxError, "bad bad", args)
2335
2336 args = ("bad.py", 1, 2, 4, 5, 6, 7)
2337 self.assertRaises(TypeError, SyntaxError, "bad bad", args)
2338
2339 args = ("bad.py", 1, 2, "abcdefg", 1)
2340 self.assertRaises(TypeError, SyntaxError, "bad bad", args)
2341
Brett Cannon79ec55e2012-04-12 20:24:54 -04002342
Mark Shannonbf353f32020-12-17 13:55:28 +00002343class PEP626Tests(unittest.TestCase):
2344
Mark Shannon0b6b2862021-06-24 13:09:14 +01002345 def lineno_after_raise(self, f, *expected):
Mark Shannonbf353f32020-12-17 13:55:28 +00002346 try:
2347 f()
2348 except Exception as ex:
2349 t = ex.__traceback__
Mark Shannon0b6b2862021-06-24 13:09:14 +01002350 else:
2351 self.fail("No exception raised")
2352 lines = []
2353 t = t.tb_next # Skip this function
2354 while t:
Mark Shannonbf353f32020-12-17 13:55:28 +00002355 frame = t.tb_frame
Mark Shannon0b6b2862021-06-24 13:09:14 +01002356 lines.append(
2357 None if frame.f_lineno is None else
2358 frame.f_lineno-frame.f_code.co_firstlineno
2359 )
2360 t = t.tb_next
2361 self.assertEqual(tuple(lines), expected)
Mark Shannonbf353f32020-12-17 13:55:28 +00002362
2363 def test_lineno_after_raise_simple(self):
2364 def simple():
2365 1/0
2366 pass
2367 self.lineno_after_raise(simple, 1)
2368
2369 def test_lineno_after_raise_in_except(self):
2370 def in_except():
2371 try:
2372 1/0
2373 except:
2374 1/0
2375 pass
2376 self.lineno_after_raise(in_except, 4)
2377
2378 def test_lineno_after_other_except(self):
2379 def other_except():
2380 try:
2381 1/0
2382 except TypeError as ex:
2383 pass
2384 self.lineno_after_raise(other_except, 3)
2385
2386 def test_lineno_in_named_except(self):
2387 def in_named_except():
2388 try:
2389 1/0
2390 except Exception as ex:
2391 1/0
2392 pass
2393 self.lineno_after_raise(in_named_except, 4)
2394
2395 def test_lineno_in_try(self):
2396 def in_try():
2397 try:
2398 1/0
2399 finally:
2400 pass
2401 self.lineno_after_raise(in_try, 4)
2402
2403 def test_lineno_in_finally_normal(self):
2404 def in_finally_normal():
2405 try:
2406 pass
2407 finally:
2408 1/0
2409 pass
2410 self.lineno_after_raise(in_finally_normal, 4)
2411
2412 def test_lineno_in_finally_except(self):
2413 def in_finally_except():
2414 try:
2415 1/0
2416 finally:
2417 1/0
2418 pass
2419 self.lineno_after_raise(in_finally_except, 4)
2420
2421 def test_lineno_after_with(self):
2422 class Noop:
2423 def __enter__(self):
2424 return self
2425 def __exit__(self, *args):
2426 pass
2427 def after_with():
2428 with Noop():
2429 1/0
2430 pass
2431 self.lineno_after_raise(after_with, 2)
2432
Mark Shannon088a15c2021-04-29 19:28:50 +01002433 def test_missing_lineno_shows_as_none(self):
2434 def f():
2435 1/0
2436 self.lineno_after_raise(f, 1)
2437 f.__code__ = f.__code__.replace(co_linetable=b'\x04\x80\xff\x80')
2438 self.lineno_after_raise(f, None)
Mark Shannonbf353f32020-12-17 13:55:28 +00002439
Mark Shannon0b6b2862021-06-24 13:09:14 +01002440 def test_lineno_after_raise_in_with_exit(self):
2441 class ExitFails:
2442 def __enter__(self):
2443 return self
2444 def __exit__(self, *args):
2445 raise ValueError
2446
2447 def after_with():
2448 with ExitFails():
2449 1/0
2450 self.lineno_after_raise(after_with, 1, 1)
2451
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002452if __name__ == '__main__':
Guido van Rossumb8142c32007-05-08 17:49:10 +00002453 unittest.main()