Zxc200611/pocketpy
1
0
Fork 0
mirror of https://github.com/pocketpy/pocketpy synced 2026-02-04 06:30:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix #440

Browse Source
This commit is contained in:
killcerr 2026-01-30 23:15:39 +08:00
parent 1b2ad4cf2a
commit a92557193c
2 changed files with 23 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/interpreter/ceval.c
View File

@ -1143,23 +1143,31 @@ __NEXT_STEP:
}
case OP_EXCEPTION_MATCH: {
bool ok = false;
bool has_invalid = false;
if(TOP()->type == tp_type) {
ok = py_isinstance(&self->unhandled_exc, py_totype(TOP()));
} else if(TOP()->type == tp_tuple) {
int len = py_tuple_len(TOP());
py_ObjectRef data = py_tuple_data(TOP());
for(int i = 0; i < len; i++) {
if(data[i].type != tp_type) {
py_clearexc(TOP());
TypeError(
"catching classes that do not inherit from BaseException is not allowed");
ok = false;
if((data + i)->type != tp_type) {
has_invalid = true;
break;
}
ok = py_isinstance(data + i, py_totype(TOP()));
}
if(!has_invalid) {
for(int i = 0; i < len; i++) {
if(py_isinstance(&self->unhandled_exc, py_totype(data + i))) {
ok = true;
break;
}
}
}
} else {
py_clearexc(TOP());
has_invalid = true;
}
if(has_invalid) {
py_clearexc(NULL);
TypeError("catching classes that do not inherit from BaseException is not allowed");
}
py_newbool(TOP(), ok);

8
tests/280_exception.py
View File

@ -206,6 +206,14 @@ try:
except (ZeroDivisionError, TypeError) as e:
assert type(e) == ZeroDivisionError
try:
try:
result = 10 / 0
except (ZeroDivisionError, 1) as e:
assert type(e) == ZeroDivisionError
except Exception as e:
print(e)
"""
# finally, only
def finally_only():