False negative used-before-assignment for self-referencing assignment in if-statement

[snordhausen]

Bug description

The following code should trigger a used-before-assignment error from pylint, but it does not:

if 1 + 1 == 2:
    x = x + 1

When the if-statement is removed like

x = x + 1

the error is produced as expected.

Configuration

No response

Command used

python -m pylint foobar.py

Pylint output

--------------------------------------------------------------------
Your code has been rated at 10.00/10 (previous run: 10.00/10, +0.00)

Expected behavior

There should be a used-before-assignment error.

Pylint version

$ python -m pylint --version
pylint 2.13.9
astroid 2.11.5
Python 3.8.13 (default, Mar 31 2022, 14:08:37)

OS / Environment

Python interpreter was built by pyenv, on Ubuntu Linux 20.04

Additional dependencies

No response

[mbyrnepr2]

Duplicate of #4913 & #3229 & #1727?

[Pierre-Sassoulas]

Closing as duplicate of #1727 , thank you @mbyrnepr2 for triaging this !

[jacobtylerwalls]

This one is also a leeetle different from #1727, because the problem usage is inside the conditional, not after it, so it doesn't depend on control flow--it's just totally wrong.