LOAD_FAST_BORROW analysis kills some locals for opcodes which consume no inputs

[DinoV]

Bug report

Bug description:

def f(self):
    if x:
        pass
    self.x
    with self.x:
        from shutil import ExecError

This produces a LOAD_FAST for the first self.x when it should produce a LOAD_FAST_BORROW. The IMPORT_FROM/STORE_FAST ends up marking self as STORED_AS_LOCAL

CPython versions tested on:

3.14

Operating systems tested on:

Linux

Linked PRs

• gh-138679: Opcodes which consume no inputs should indicate they produced the val… #138678

[weebasterd569-netizen]

What up