False positive simplify-boolean-expression when boolean variables are modified after their intialization in a for loop

[finite-state-machine]

Bug description

For the following code:

# pylint: disable=missing-module-docstring

def some_function() -> bool:
    '''a function

    Returns:
        True
    '''
    flag_a = False
    flag_b = False
    for word in ['alfa', 'bravo']:
        if 'b' not in word:
            flag_a = True
        else:
            flag_b = True
    multiple = (flag_a and flag_b) or returns_false()  # <- error here
    return multiple

def returns_false() -> bool:
    '''a different function

    Returns:
        False, but pylint probably doesn't know that
    '''
    return False


def main() -> None:
    '''entry point
    '''
    print(repr(some_function()))  # True

if __name__ == '__main__':
    main()

...pylint emits:

R1709: Boolean expression may be simplified to returns_false() (simplify-boolean-expression)

This statement is incorrect: some_function() always returns True.

Note: removing ...or returns_false() causes the error to disappear.

Configuration

No response

Command used

pylint --rcfile=/dev/null thecodeabove.py

Pylint output

************* Module thecodeabove
thecodeabove.py:17:4: R1709: Boolean expression may be simplified to returns_false() (simplify-boolean-expression)

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

Expected behavior

Pylint should not emit R1709/simplify-boolean-expression, since it is mistaken.

Pylint version

pylint 2.15.4
astroid 2.12.11
Python 3.8.12 (default, Jan 17 2022, 13:29:00)
[Clang 10.0.1 (clang-1001.0.46.4)]

OS / Environment

macOS 10.14

Additional dependencies

No response