`possibly-undefined` false positive with `global` statement inside `if`

Bug Report

The optional possibly-undefined error gives a false positive on this code with a global statement inside an if branch. At runtime, Python treats global as applying unconditionally for the entire function scope, but mypy seems to think it only applies to the branch.

To Reproduce

# mypy: enable-error-code="possibly-undefined"

g = 1

def f(b: bool) -> None:
    if b:
        global g
        g = 2

    print(g)  # error: Name "g" may be undefined  [possibly-undefined]

Playground

Expected Behavior

No error.

Actual Behavior

main.py:10: error: Name "g" may be undefined  [possibly-undefined]
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.4.1
• Mypy command-line flags: --enable-error-code=possibly-undefined
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.10.12

Riproduci il report con lo snippet Python fornito e il codice di errore potenzialmente non definito, quindi traccia il modo in cui mypy gestisce l’istruzione globale all’interno del ramo if. Il lavoro è completato quando l’esempio non produce un errore falso positivo per g dopo il ramo, mentre i casi effettivi di variabili potenzialmente non definite continuano a essere diagnosticati.