Steve Stagg <stest...@gmail.com> added the comment:
I re-read the change that introduced this, and the situation is slightly more complex. While the wording is understandably slightly ambiguous, the change talks about the following example: if a: pass else: <do stuff> In this scenario, the compiler is trying to eliminate the <pass> block, because it's redundant, and this seems totally fine to me. The condition is still evaluated, but it's changing how the empty branch is handled. Taking the example given in the ticket: ``` while True: if a: pass else: break ``` Before the change, the DIS is: 2 0 NOP 3 >> 2 LOAD_NAME 0 (a) 4 POP_JUMP_IF_FALSE 10 4 6 JUMP_FORWARD 0 (to 8) 2 >> 8 JUMP_ABSOLUTE 2 6 >> 10 LOAD_CONST 1 (None) 12 RETURN_VALUE 2 14 LOAD_CONST 1 (None) 16 RETURN_VALUE After the change, the DIS is: 2 0 NOP 3 >> 2 LOAD_NAME 0 (a) 4 POP_JUMP_IF_FALSE 10 4 6 NOP 2 8 JUMP_ABSOLUTE 2 6 >> 10 LOAD_CONST 1 (None) 12 RETURN_VALUE 2 14 LOAD_CONST 1 (None) 16 RETURN_VALUE Point being, the POP_JUMP_IF_FALSE is still invoked in the intended scenario, just some jumps are removed (OmG asserts this is faster). So, If we test the simple case on MASTER, the following code still does the 'right thing'(tm) by evaluating bool(a): ``` class A: def __bool__(self): print("BOOL") return False a = A() if a: pass ``` prints "BOOL" It seems like the issue is encountered when the "if" statement is mixed with (some other control flow scenarios, for example) exception handling: ``` class A: def __bool__(self): print("BOOL") return False a = A() try: if a: pass except: raise `` prints nothing So, ignoring the larger discussion about if it's allowed to elide bool calls etc, this feels like an unintended side-effect of an otherwise non-contentious branch optimization, and we should either really understand the situation in-depth (all possible situations where this might happen), or just treat this as a bug and fix ti ---------- title: Is it legal to eliminate tests of a value, when that test has no effect on control flow? -> Inconsistent elimination of empty blocks by optimizer causes __bool__calls to be skipped in some exception handling scenarios _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue42899> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com