dotnet/roslyn

Nullability no longer honors null check when it is also an assignment

Aperta

#44.461 aperta il 21 mag 2020

Vedi su GitHubGuida contributor
 (1 commento) (2 reazioni) (1 assegnatario)C# (4257 fork)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

Metriche repository

Star
 (20.414 stelle)
Metriche merge PR
 (Merge medio 6g 17h) (256 PR mergiate in 30 g)

Descrizione

Version Used: master (19 May 2020)

Steps to Reproduce:

  1. Do assignment of the null check expression inside an if statement.

Repro code: https://sharplab.io/#v2:EYLgtghgzgLgpgJwDQBMQGoA+BiAdgVwBtCJhC4ACOXU8gWACgABAJgEZGmBmC1igYQoBvRhTG8eTACwUAsgAoAlMNHi1qtWIBiAex0UAZhQC8FXHADuFXTqUBuDZsdrgewhQCWUAHJFCDhk1xDyN5L19iE0MAOgAFBB0AB0QYAE8KAEJTAmJFZ3ERQKDNJjYATnkDOITkhDTogBUdABkdC0QlRQDiigBfR36GQc5JFms9RkK1bl42AAYAfgp4pJT0oQoAczgYOwooHb3B3qA===

Expected Behavior: Object was already checked for null, nullability should no longer warn "Possible null reference".

Actual Behavior: Nullability still warn "Possible null reference" regardless of the previous null check.

cc @jaredpar @cston @jcouv

Guida contributor

Direzione di ricerca
Indagare come l'analisi del flusso nullable di Roslyn gestisce le assegnazioni all'interno dei controlli null, specialmente nelle istruzioni 'if'. Tracciare il grafico del flusso di controllo e assicurarsi che lo stato null venga aggiornato dopo l'assegnazione.
Tech stack
csharp
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Oltre 1 settimana
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30