This code shows a raise inside an except/else/if that isn't run, but incorrectly appears in the trace output (see the ***** line):


$ cat arcs_1160.py
def func(x):
    try:
        b = 6
    except ZeroDivisionError:
        pass
    else:
        if x == "raise":
            raise ValueError()
    finally:
        f = 23

func("other")

$ python3.10 -c "import sys; print(sys.version)"
3.10.1 (main, Dec 14 2021, 08:30:13) [Clang 12.0.0 (clang-1200.0.32.29)]

$ python3.10 -m trace --trace arcs_1160.py
 --- modulename: arcs_1160, funcname: <module>
arcs_1160.py(1): def func(x):
arcs_1160.py(12): func("other")
 --- modulename: arcs_1160, funcname: func
arcs_1160.py(2):     try:
arcs_1160.py(3):         b = 6
arcs_1160.py(7):         if x == "raise":
arcs_1160.py(10):         f = 23

$ python3.11 -c "import sys; print(sys.version)"
3.11.0a3+ (heads/main:d24cd49acb, Jan 11 2022, 07:29:41) [Clang 12.0.0 (clang-1200.0.32.29)]

$ python3.11 -m trace --trace arcs_1160.py
 --- modulename: arcs_1160, funcname: <module>
arcs_1160.py(1): def func(x):
arcs_1160.py(12): func("other")
 --- modulename: arcs_1160, funcname: func
arcs_1160.py(2):     try:
arcs_1160.py(3):         b = 6
arcs_1160.py(7):         if x == "raise":
arcs_1160.py(8):             raise ValueError()      <<**********
arcs_1160.py(10):         f = 23

Thanks, I have a fix and will make a PR once I've written the test.

New changeset 9c2ebb906d1c68c3d571b100c92ceb08805b94cd by Irit Katriel in branch 'main':
bpo-46344: Fix trace bug in else of try and try-star blocks (GH-30544)
https://github.com/python/cpython/commit/9c2ebb906d1c68c3d571b100c92ceb08805b94cd

Thank you Ned.