Open
Description
Bug report
Bug description:
(from nedbat/coveragepy#1991)
Here is b1991.py:
% cat b1991.py def func(x, y): for size in (x or ()) if y else (): print(size) func([3], True)The disassembly looks like this:
% python3.14 -m dis -O b1991.py 0 0 RESUME 0 1 2 LOAD_CONST 0 (<code object func at 0x1045ef0e0, file "b1991.py", line 1>) 4 MAKE_FUNCTION 6 STORE_NAME 0 (func) 5 8 LOAD_NAME 0 (func) 10 PUSH_NULL 12 LOAD_SMALL_INT 3 14 BUILD_LIST 1 16 LOAD_CONST 1 (True) 18 CALL 2 26 POP_TOP 28 LOAD_CONST 2 (None) 30 RETURN_VALUE Disassembly of <code object func at 0x1045ef0e0, file "b1991.py", line 1>: 1 0 RESUME 0 2 2 LOAD_FAST_BORROW 1 (y) 4 TO_BOOL 12 POP_JUMP_IF_FALSE 13 (to L2) 16 NOT_TAKEN 18 LOAD_FAST 0 (x) 20 COPY 1 22 TO_BOOL 30 POP_JUMP_IF_TRUE 3 (to L1) 34 NOT_TAKEN 36 POP_TOP 38 LOAD_CONST 1 (()) -- L1: 40 JUMP_FORWARD 1 (to L3) <----------### 2 L2: 42 LOAD_CONST 1 (()) L3: 44 GET_ITER L4: 46 FOR_ITER 14 (to L5) 50 STORE_FAST 2 (size) 3 52 LOAD_GLOBAL 1 (print + NULL) 62 LOAD_FAST_BORROW 2 (size) 64 CALL 1 72 POP_TOP 74 JUMP_BACKWARD 16 (to L4) 2 L5: 78 END_FOR 80 POP_ITER 82 LOAD_CONST 0 (None) 84 RETURN_VALUE Offset 40 has no line number, but shouldn't it be attributed to line 2? The same problem happens on 3.13 and on the tip of main.
CPython versions tested on:
3.14, 3.15, CPython main branch, 3.13
Operating systems tested on:
macOS