dotnet/roslyn

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

Aberta

#44.461 aberto em 21 de mai. de 2020

Ver no GitHubGuia do colaborador
 (1 comentário) (2 reações) (1 responsável)C# (4.257 forks)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

Métricas do repositório

Stars
 (20.414 estrelas)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (256 fundiu PRs em 30d)

Description

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

Guia do colaborador

Direção de pesquisa
Investigue como a análise de fluxo anulável do Roslyn lida com atribuições dentro de verificações nulas, especialmente em instruções 'if'. Trace o gráfico de fluxo de controle e garanta que o estado nulo seja atualizado após a atribuição.
Pilha de tecnologia
csharp
Domain
backend
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Mais de 1 semana
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C#Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30