dotnet/roslyn

Nullability warning is missing on the lock statement

Open

#76.597 aberto em 2 de jan. de 2025

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)C# (4.257 forks)batch import
Area-CompilersFeature - Nullable Reference Typeshelp wanted

Métricas do repositório

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

Description

Version Used: 17.13.0 Preview 2.1

There is no nullability warning for lock (null) { } or lock (maybeNullExpr) { }, even though a null at runtime throws ArgumentNullException.

Expected

A nullability warning such as:

  • CS8604 - Possible null reference argument for parameter.

    • More literal, similar to how await or foreach simply reflect the warning you'd get if you had manually called GetAwaiter()/GetEnumerator().

  • CS8602 - Dereference of a possibly null reference.

    • A step back, if calling expr in lock (expr) a "parameter" is leaking too much information about how lock is being lowered.

Or, one in the same vein as "CS8597 Thrown value may be null."

Guia do colaborador

Direção de pesquisa
Procure no código fonte do compilador Roslyn a redução de instruções lock. Especificamente, examine o nó BoundLockStatement e como ele é transformado em operações de nível inferior. Em seguida, investigue a análise de fluxo anulável para entender por que avisos de nulo não são emitidos para a expressão lock. Verifique a lógica de aviso anulável existente para construções semelhantes como 'await' ou 'using'.
Pilha de tecnologia
csharp
Domain
developer experience
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.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
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
GitC# compiler basics
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50