(Using CPython commit 6b1ac809b9)

This program never executes line 4, but the "if not __debug__" is partly attributed to line 4, giving an incorrect trace:

    for value in [True, False]:
        if value:
            if not __debug__:
                1/0 # line 4
        else:
            x = 6

Using a simple trace program (https://github.com/nedbat/coveragepy/blob/master/lab/run_trace.py), it produces this output:

    call <string> 1 @-1
        line <string> 1 @0
        line <string> 2 @8
        line <string> 3 @12
        line <string> 4 @14
        line <string> 1 @4
        line <string> 2 @8
        line <string> 6 @16
        line <string> 1 @4
        return <string> 1 @24

Various simplifications of the program make the problem go away.

This might be the same problem as #42810.

I think I am finding more examples of the same problem, so I will just add it here:

    x = "hello"
    try:
        3/0
    except ZeroDivisionError:
        if x == 'raise':
            raise ValueError()   # line 6
    f = 7

This shows a trace for line 6, which is never excecuted:

call <string> 1 @-1
    line <string> 1 @0
    line <string> 2 @4
    line <string> 3 @6
    exception <string> 3 @10
    line <string> 4 @24
    line <string> 5 @36
    line <string> 6 @50
    line <string> 7 @52
    return <string> 7 @58