dotnet/roslyn

"Redundant assignment" analysis does not consider recursive code path

Aberta

#47.655 aberto em 12 de set. de 2020

Ver no GitHubGuia do colaborador
 (0 comentário) (0 reação) (0 responsável)C# (4.257 forks)batch import
Area-IDEBughelp 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: VS 2019 16.7.3

Steps to Reproduce:

  1. Create new .NET Core console app.
  2. Paste the following code.
static void Foo(Exception ex)
{
    var indentLevel = 0;

    void Bar(Exception e)
    {
        indentLevel++;

        if (indentLevel < 5)
            Bar(e);

        indentLevel--;
    }

    Bar(ex);
}

Expected Behavior: No analysis complaints

Actual Behavior:

VS claims that indentLevel-- is a redundant assignment.

This is true for the top level call to Bar but not true for the recursive calls that reference the same indentLevel variable.

Guia do colaborador

Direção de pesquisa
Investigue a análise de fluxo de dados para funções locais recursivas para entender por que a atribuição após a recursão é considerada redundante.
Pilha de tecnologia
csharp
Domain
tooling
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.
3
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
C#
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
55