Produits Entr'ouvert » Authentic 2

Soit quelque chose m'échappe, soit le test possibly-used-before-assignement est cassé/dangereux sur les matchs.

En effet, dans la PR certains if/elif/... ont été remplacé par des match, ça supprimait les warnings. Par acquis de conscience j'ai fait un test pour voir si les match n'étaient pas simplement ignorés silencieusement : malheureusement ça semble être la cas.

Le test :

""" E0606 tests """ 
CHOICES = 'abc'
for choice in CHOICES:

    if choice == 'a':
        RESULT = 'foo'
    elif choice == 'b':
        RESULT = 'bar'
    elif choice == 'c':
        RESULT = 'foobar'
    print(RESULT)

    match choice:
        case 'b':
            RESULT2 = 'rab'
        case 'c':
            RESULT2 = 'raboof'
    print(RESULT2)

Pylint nous dis :

$ pylint /tmp/test.py 
************* Module test
/tmp/test.py:11:10: E0606: Possibly using variable 'RESULT' before assignment (possibly-used-before-assignment)

Non-seulement c'est faux, RESULT sera définie dans 100% des cas. Mais c'est surtout incomplet ! Il y a un cas trivial ou RESULT2 n'est pas définie.

Durant l'écriture du test, je suis aussi tombé sur un "fix" plutôt inquiétant pour cette histoire de "Possibly using variable 'RESULT' before assignment"... L'ajout d'un del RESULT à la fin de la boucle fait disparaître le faux positif. En réalité on dirait qu'il implique la suppression du check sur la variable RESULT !!

""" E0606 tests """ 
CHOICES = 'abc'
for choice in CHOICES:

    if choice == 'b':
        RESULT = 'bar'
    elif choice == 'c':
        RESULT = 'foobar'
    print(RESULT)

    match choice:
        case 'b':
            RESULT2 = 'rab'
        case 'c':
            RESULT2 = 'raboof'
    print(RESULT2)
    del RESULT

$ pylint /tmp/test.py 

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

Tout ça pour dire que même si je trouve l'idée de ce nouveau check chouette, il me semble que dans l'état il est presque plus dangereux que pratique.

Yann Weber (yweber) a fermé une pull request sur Gitea concernant cette demande.

Yann Weber (yweber) a ouvert une pull request sur Gitea concernant cette demande :

• URL : https://git.entrouvert.org/entrouvert/authentic/pulls/315
• Titre : WIP: misc: fix pylint 3.2.x warnings (#90625)
• Modifications : https://git.entrouvert.org/entrouvert/authentic/pulls/315/files

Leur analyse statique semble assez mauvaise¹, en attendant on peut quand même ajouter les branches else/raise NotImplementedErrror qui manquent.

Sans match dans la cible, il semble ne pas donner de résultat trop faux, et effectivement il ne comprend pas del non plus, en même temps ce n'est pas une construction fréquente.

¹ Ils ne semble pas calculer le fixpoint de la visibilité des symboles et semble n'aller que vers l'avant ou alors ils ne calculent pas un flowgraph correct.

Automatic expiration